The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (2006 vol.32)
pp: 382-403
Yu Lei , IEEE
ABSTRACT
One approach to testing concurrent programs, called reachability testing, generates synchronization sequences automatically and on-the-fly, without constructing any static models. In this paper, we present a general execution model for concurrent programs that allows reachability testing to be applied to several commonly used synchronization constructs. We also present a new method for performing reachability testing. This new method guarantees that every partially ordered synchronization sequence will be exercised exactly once without having to save any sequences that have already been exercised. We describe a prototype reachability testing tool called RichTest and report some empirical results, including a comparison between RichTest and a partial order reduction-based tool called VeriSoft. RichTest performed significantly better for the programs in our study.
INDEX TERMS
Software testing, reachability testing, concurrent programming.
CITATION
Yu Lei, Richard H. Carver, "Reachability Testing of Concurrent Programs", IEEE Transactions on Software Engineering, vol.32, no. 6, pp. 382-403, June 2006, doi:10.1109/TSE.2006.56
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool