摘要
Software testing is one of important approaches to assure the reliability and quality of software. Sequential programming testing is fairly sophisticated process. The emergence of concurrent programming in the recent 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 viewpoints. This paper focuses the testing view on the concurrent programming through task decomposition. Four testing criteria are proposed to test a concurrent program. 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.
原文 | ???core.languages.en_GB??? |
---|---|
頁面 | 1857-1861 |
頁數 | 5 |
出版狀態 | 已出版 - 1998 |
事件 | Proceedings of the 1997 IEEE International Conference on Intelligent Processing Systems, ICIPS'97. Part 1 (of 2) - Beijing, China 持續時間: 28 10月 1997 → 31 10月 1997 |
???event.eventtypes.event.conference???
???event.eventtypes.event.conference??? | Proceedings of the 1997 IEEE International Conference on Intelligent Processing Systems, ICIPS'97. Part 1 (of 2) |
---|---|
城市 | Beijing, China |
期間 | 28/10/97 → 31/10/97 |