會議論文
| 學年 | 85 |
|---|---|
| 學期 | 1 |
| 發表日期 | 1996-10-30 |
| 作品名稱 | Task decomposition testing and metrics for concurrent programs |
| 作品名稱（其他語言） | |
| 著者 | Chung, Chi-ming; Shih, Timothy K.; Wang, Ying-hong; Lin, Wei-chuan; Kou, Ying-feng |
| 作品所屬單位 | 淡江大學資訊工程學系 |
| 出版者 | |
| 會議名稱 | Proceedings of the international symposium on software reliability engineering |
| 會議地點 | White Plains, United States |
| 摘要 | Software testing and metrics are two important approaches to assure the reliability and quality of software. The emergence of concurrent programming in recent years introduces new testing problems and difficulties that cannot be solved by testing techniques for traditional sequential programs. One of the difficult tasks is that concurrent programs can have many instances of execution for the same set of input data. Many concurrent program testing methodologies propose to solve controlled execution and determinism. There are few discussions of concurrent software testing from the inter-task viewpoints. Yet, the common characteristics of concurrent programming are explicit identification of the large grain parallel computation units (tasks), and the explicit inter-task communication via rendezvous-style mechanisms. In this paper, we focus on testing concurrent programs through task decomposition. We propose four testing criteria to test a concurrent program. The programmer can choose an appropriate testing strategy depending on the properties of the concurrent program. Associated with the strategies, four equations are provided to measure the complexity of concurrent programs |
| 關鍵字 | |
| 語言 | en |
| 收錄於 | |
| 會議性質 | 國際 |
| 校內研討會地點 | |
| 研討會時間 | 19961030~19961030 |
| 通訊作者 | |
| 國別 | USA |
| 公開徵稿 | |
| 出版型式 | |
| 出處 | Proceedings of the international symposium on software reliability engineering, ISSRE, pp.122-130 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/37392 ) |