Covering Transitions of Concurrent Systems through Queues

Authors:
Jiale Huo;Alexandre Petrenko
Affiliations:
McGill University;Centre de recherche informatique de Montréal (CRIM)
Venue:
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Year:
2005

Citing 0
Cited 2

Modular System Verification by Inference, Testing and Reachability Analysis

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
An orchestrated survey of methodologies for automated software test case generation

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

By testing a concurrent system through queues, we seek a conclusive answer to whether a given transition of the specification of the system is executed. We define transition coverage through queues and find testing strategies to cover the transition in question with and without fairness, respectively.