Software testing and metrics for concurrent computation

T. K. Shih, Chi Ming Chung, Ying Hong Wang, Ying Feng Kuo, Wei Chuan Lin

研究成果: 書貢獻/報告類型會議論文篇章同行評審

3 引文 斯高帕斯(Scopus)


Verification and validation are two important technologies to assure the reliability and quality of software. Software testing and metrics are two approaches to execute the verification and validation. In sequential computation, a fairly mature process exists, with various methodologies and tools available for use in building and demonstrating the correctness of a program being tested. The emergence of concurrent computation in recent years, however, introduces new testing problems and difficulties that cannot be solved by the traditional sequential program testing techniques. Many concurrent program testing methodologies have been proposed to solve controlled execution and determinism. There have been few discussions of concurrent software testing from the inter-Task viewpoint, even though the common characteristics of concurrent programming are the explicit identification of the large-grain parallel computation units (tasks) and the explicit inter-Task communication via a rendezvous-style mechanism. In this paper, we focus on testing concurrent programs through task decomposition. We propose four testing criteria to test a concurrent program. A programmer can choose an appropriate testing strategy depending on the properties of the concurrent programs. Associated with the strategies, four equations are provided to measure the complexity of concurrent programs.

主出版物標題Proceedings - 1996 Asia-Pacific Software Engineering Conference, APSEC 1996
發行者IEEE Computer Society
出版狀態已出版 - 1996
事件3rd Asia-Pacific Software Engineering Conference, APSEC 1996 - Seoul, Korea, Republic of
持續時間: 4 12月 19967 12月 1996


名字Proceedings - Asia-Pacific Software Engineering Conference, APSEC


???event.eventtypes.event.conference???3rd Asia-Pacific Software Engineering Conference, APSEC 1996
國家/地區Korea, Republic of


深入研究「Software testing and metrics for concurrent computation」主題。共同形成了獨特的指紋。