Applications of synchronization coverage
- 15 June 2005
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 206-212
- https://doi.org/10.1145/1065944.1065972
Abstract
Coverage analysis is a useful testing technology. However, some coverage models are more acceptable to the industry than others. In the field of testing multi-threaded applications, there is a need for a coverage model that can be used to evaluate tests for concurrent completeness and to find new testing requirements. We present a new coverage model: synchronization coverage. This model is simple to understand and the action items generated by each uncovered task are clear to testers and developers. We propose that synchronization coverage could, and should, become one of the more commonly used coverage models.Keywords
This publication has 6 references indexed in Scilit:
- Concurrent and distributed desk checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Coverage Metrics for Formal VerificationPublished by Springer Nature ,2003
- Hole analysis for functional coverage dataProceedings of the 39th conference on Design automation - DAC '02, 2002
- Multithreaded Java program test generationIBM Systems Journal, 2002
- All-du-path coverage for parallel programsPublished by Association for Computing Machinery (ACM) ,1998
- The evaluation of program-based software test data adequacy criteriaCommunications of the ACM, 1988