Model checking
STG: A Symbolic Test Generation Tool
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Symbolic test selection based on approximate analysis
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |
A temporal logic with constrained event modallities, TLCE, is proposed to represent test purposes for testing concurrent programs. The logic is capable can express not only temporal relationships among input and output events, but also data dependencies between event parameters. A TLCE-based test generation algorithm is developed to automatically derive symbolic test cases that incorporate given data dependency constraints as verdict conditions. The advantage of the approach is demonstrated with a case study on a cache coherence protocol.