Issue No. 06 - June (1998 vol. 24)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.689403
<p><b>Abstract</b>—This paper presents and evaluates a specification-based methodology for testing concurrent programs. This methodology requires <it>sequencing constraints</it>, which specify restrictions on the allowed sequences of synchronization events. Sequencing constraints for a concurrent program can be derived from the program's formal or informal specification. Details of the proposed testing methodology based on the use of Constraints on Succeeding and Preceding Events (CSPE) are given. How to <it>achieve coverage</it> and <it>detect violations</it> of CSPE constraints for a concurrent program, according to <it>deterministic</it> and <it>nondeterministic testing</it> of this program, are described. A coverage criterion for CSPE-based testing is defined and analyzed. The results of empirical studies of CSPE-based testing for four concurrent problems are reported. These results indicate that the use of sequencing constraints for specification-based testing of concurrent programs is a promising approach.</p>
Software testing, specification-based testing, concurrent programs, sequencing constraints.
R. H. Carver and K. Tai, "Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs," in IEEE Transactions on Software Engineering, vol. 24, no. , pp. 471-490, 1998.