Software testing and metrics for concurrent computation through task decomposition | |
---|---|
學年 | 86 |
學期 | 1 |
發表日期 | 1997-10-28 |
作品名稱 | Software testing and metrics for concurrent computation through task decomposition |
作品名稱(其他語言) | |
著者 | Wang, Ying-hong; Chung, Chi-ming; Shih, Timothy K.; Keh, Huan-chao; Lin, Wei-chuan |
作品所屬單位 | 淡江大學資訊工程學系 |
出版者 | N.Y.: Institute of Electrical and Electronic Engineers (IEEE) |
會議名稱 | Intelligent Processing Systems, 1997. ICIPS '97. 1997 IEEE International Conference on |
會議地點 | Beijing, China |
摘要 | Software testing is an important approach to assure the reliability and quality of software. Sequential programming testing is a fairly sophisticated process and concurrent programming has emerged in the past few years. Some concurrent program testing methodologies are proposed to solve controlled execution and determinism. However, there are few discussions of concurrent software testing from the inter-task viewpoint. The paper focuses the testing view on concurrent programming through task decomposition. Four testing criteria are proposed to test a concurrent program. The programmer can choose an appropriate testing strategy depending on the properties of concurrent programs. A coverage criteria hierarchy is provided. Moreover, two suggestions for concurrent programming based on rendezvous complexity are made |
關鍵字 | |
語言 | en |
收錄於 | |
會議性質 | 國際 |
校內研討會地點 | |
研討會時間 | 19971028~19971028 |
通訊作者 | |
國別 | CHN |
公開徵稿 | |
出版型式 | 紙本 |
出處 | Intelligent Processing Systems, 1997. ICIPS '97. 1997 IEEE International Conference on (Volume:2 ), pp.1857-1861 |
相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/37154 ) |