On the development of reactive systems
Logics and models of concurrent systems
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
A metric-based theory of test selection and coverage for communication protocols
A metric-based theory of test selection and coverage for communication protocols
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Object Oriented Design Measurement
Object Oriented Design Measurement
Timed Test Cases Generation Based on State Characterization Technique
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Automatic Testing of Reactive Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
IEEE Transactions on Information Theory
| Hi-index | 0.00 |
We describe methods for specification-based testing and testing measurement for real-time reactive systems. The methods are based on an object-oriented formal specification of real-time reactive system. Test cases generated by our method satisfy two test adequacy criteria, and minimally cover the global states and transitions of interest. The testing measurement provides measures of test suite adequacy in terms of coverage. We use metric-based algorithm to select the optimal set of test cases. One of the goals of this work is to automate these methods and integrate them into TROMLAB, a rigorous framework for the development of real-time reactive systems.