Extensional equivalence for transition systems
Acta Informatica
Information Processing Letters
Test sequence selection based on static data flow analysis
Computer Communications
X-Ware Reliability and Availability Modeling
IEEE Transactions on Software Engineering
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Implementing Design Diversity to Achieve Fault Tolerance
IEEE Software
Assessing Testing Tools in Research and Education
IEEE Software
The CO-OP Method for Compositional Derivation of Conformance Testers
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
An expressive trace theory for LOTOS
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
A Framework for Test Selection
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
On Test Coverage Metrics for Communication Protocols
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Automated Test Case Selection Based on Test Coverage Metrics
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
| Hi-index | 0.00 |
Efficient test selection and evaluation algorithms are important in practical situations during the system verification phase, especially when the software involved is complex and manual and semi-automated methods of system verification can require weeks. To help automate this process, a simple procedure using a stratified selection approach for the control space of system behaviour is presented. This new method introduces a rigorous mathematical treatment of the discipline of testing, through the definition of testing distance, test coverage metrics, and a metric-based test selection algorithm. The test coverage metric is based on the concept of testing distance between execution sequences, which captures approximations of different patterns of system behaviour, and encompasses recursion and parallelism. The metric is incorporated into a test selection algorithm that allows generation of ε-dense sets of test sequences that approximate some original test suite to some target accuracy of distance ε in a convergent manner. This method is intended to facilitate the testing of communication software and other systems that involve many concurrent and highly recursive processes of largely unvisualisable character.