A path analysis approach to concurrent program testing
- 1 January 1990
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 425-432
- https://doi.org/10.1109/pccc.1990.101652
Abstract
A path analysis approach to concurrent program testing is proposed. A concurrent path model for modeling the execution behavior of a concurrent program is presented. In the model, an execution of a concurrent program is seen as involving a concurrent path (which comprises the paths of all concurrent tasks), and the tasks' synchronizations are modeled as a concurrent route to traverse the concurrent path involved in the execution. Accordingly, testing is a process to examine the correctness of each concurrent route along all concurrent paths of concurrent programs. On the basis of the model, the test format is defined, and a path analysis testing methodology is presented. Also, several coverage criteria, extended from coverage criteria for sequential programs, are proposed. Some practical issues of path analysis testing, namely, test path generation, test data generation, and design of the test execution control mechanism are also addressed.Keywords
This publication has 9 references indexed in Scilit:
- An experience with two symbolic execution-based approaches to formal verification of Ada tasking programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Structural testing of concurrent programsIEEE Transactions on Software Engineering, 1992
- Combining static concurrency analysis with symbolic executionIEEE Transactions on Software Engineering, 1988
- A formal framework for the study of concurrent program testingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Reproducible testing of monitorsSoftware: Practice and Experience, 1978
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- Testing a multiprogramming systemSoftware: Practice and Experience, 1973