The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1998 vol.24)
pp: 471-490
ABSTRACT
<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>
INDEX TERMS
Software testing, specification-based testing, concurrent programs, sequencing constraints.
CITATION
Richard H. Carver, Kuo-Chung Tai, "Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs", IEEE Transactions on Software Engineering, vol.24, no. 6, pp. 471-490, June 1998, doi:10.1109/32.689403
32 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool