Task decomposition testing and metrics for concurrent programs

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.