摘要
Software testing and metrics are two important approaches to assure the reliability and quality of software. Testing and metrics of sequential programs have been a fairly sophisticated process, with various methodologies and tools available for use in building and demonstrating the correctness of a program being tested. The emergence of concurrent programming in the recent years, however, introduces new testing problems and difficulties that cannot be solved by testing techniques of traditional sequential programs. This paper focuses the testing view on the concurrent programming through task decomposition. It proposes four testing criteria to test a concurrent program. Associated with the strategies, four equations are provided to measure the complexity of concurrent programs.
原文 | ???core.languages.en_GB??? |
---|---|
頁(從 - 到) | 122-130 |
頁數 | 9 |
期刊 | Proceedings - International Symposium on Software Reliability Engineering, ISSRE |
出版狀態 | 已出版 - 1996 |
事件 | Proceedings of the 1996 7th International Symposium on Software Reliability Engineering, ISSRE'96 - White Plains, NY, USA 持續時間: 30 10月 1996 → 2 11月 1996 |