On the development of reactive systems
Logics and models of concurrent systems
Theoretical Computer Science
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theoretical Computer Science
Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Automating Formal Specification-Based Testing
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Test Generation for Specifications Modeled by Input/Output Automata
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Generating Test Cases for a Timed I/O Automaton Model
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Real-time reactive system development: a formal approach based on uml and pvs
Real-time reactive system development: a formal approach based on uml and pvs
Deriving new measurements for real-time reactive systems
Deriving new measurements for real-time reactive systems
Automated test generation from formal specifications of real-time reactive systems
Automated test generation from formal specifications of real-time reactive systems
Incremental Testing for Self-Evolving Timed Systems
QSIC '03 Proceedings of the Third International Conference on Quality Software
Automatic verification and conformance testing for validating safety properties of reactive systems
FM'05 Proceedings of the 2005 international conference on Formal Methods
Black-box system testing of real-time embedded systems using random and search-based testing
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Proceedings of the 2012 International Symposium on Software Testing and Analysis
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
| Hi-index | 0.00 |
Real-time reactive systems are among the most difficult systems to test because of their size and complex time-dependent functionality. The number of test experiments for such systems is very large, if not infinite. Often such systems arise in safety-critical contexts. Hence, such systems require a rigorous analysis and thorough testing before they are deployed. This paper addresses test case generation methods and a metric-based test case selection algorithm for sufficient testing of real-time reactive systems. The methods are rigorous, and based on the formal specifications of the system and its fault models. The test generation and execution of algorithms are implemented in TROMLAB, a formal framework for developing real-time reactive systems. The methods are applied to the formal specification of the Train-Gate-Controller (TGC) example, a bench-mark case study in the real-time systems community. A brief description of the experimental results obtained on the case study is given.