The Community for Technology Leaders
RSS Icon
Subscribe
Melbourne, Australia
Sept. 19, 2005 to Sept. 20, 2005
ISBN: 0-7695-2472-9
pp: 3-10
Peng Wu , Graduate School of the Chinese Academy of Sciences
Huimin Lin , Institute of Software Chinese Academy of Sciences
ABSTRACT
A predicate sequencing constraint logic(PSCL) is proposed to represent test purpose for testing of concurrent programs. The advantage of PSCL rests in its capability of expressing not only sequencing relationships among I/O events, but also data dependencies between event parameters. A PSCL-based symbolic test case generation method is also proposed to automatically derive symbolic test cases that incorporate given data dependency constraints as verdict conditions.Themethod works in a syntactic way without referring to concrete program states and the derived test cases allow for dynamic test data selection according to the response from the software under test. A case study shows the PSCL-based test case generation can achieve transition coverage with smaller number of test steps.
INDEX TERMS
null
CITATION
Peng Wu, Huimin Lin, "Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints", QSIC, 2005, Quality Software, International Conference on, Quality Software, International Conference on 2005, pp. 3-10, doi:10.1109/QSIC.2005.42
40 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool