A Framework to Analyze Testability of Concurrent Programs
Zhen Chen · Chinese Journal of Computers · 2003
Software testability is the degree to which a system facilitates the establishment of test criteria and the performance of tests to determine whether those criteria have been met. It has been widely used in testing, measurement, etc. Since the execution of concurrent programs is non-deterministic, there are many issues to be solved in analyzing testability of concurrent programs. The paper proposes a framework to analyze testability for concurrent programs. In this framework, we analyze the data flow and control flow of the programs and the influence of concurrency and synchronization. Based on such information, we propose the testability measure from four facets: independent concurrent units, concurrency, shared variables and communication factors. This gives a guideline to measure the testability of concurrent programs.