A rigorous method for testing real-time reactive systems

Real-time reactive systems are complex systems to design and verify. Rigorous testing of real-time reactive systems complement the more difficult and expensive formal verification process. This paper discusses a rigorous method for block-box testing of real-time reactive systems, whose design specifications are given in the timed reactive object model (TROM) formalism.

[1]  Thierry Jéron,et al.  Automated test generation from SDL specifications , 1999, SDL Forum.

[2]  Michel Bidoit,et al.  TAPSOFT '97: Theory and Practice of Software Development , 1997, Lecture Notes in Computer Science.

[3]  Vangalur S. Alagar,et al.  Specification-based testing for real-time reactive systems , 2000, Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34.

[4]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[5]  Ferhat Khendek,et al.  Timed test cases generation based on state characterization technique , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[6]  David A. Carrington,et al.  A Framework for Specification-Based Testing , 1996, IEEE Trans. Software Eng..

[7]  Jin Song Dong,et al.  Blending Object-Z and Timed CSP: an introduction to TCOZ , 1998, Proceedings of the 20th International Conference on Software Engineering.

[8]  Dino Mandrioli,et al.  Formal Methods for Real-Time Computing , 1996 .

[9]  Vangalur S. Alagar,et al.  A rigorous method for test templates generation from object‐oriented specifications , 2001, Softw. Test. Verification Reliab..

[10]  Darmalingum Muthiayen,et al.  Real-time reactive system development: a formal approach based on uml and pvs , 2000 .

[11]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[12]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[13]  Tsong Yueh Chen,et al.  In black and white: an integrated approach to class-level testing of object-oriented programs , 1998, TSEM.

[14]  Frits W. Vaandrager,et al.  Testing timed automata , 1997, Theor. Comput. Sci..

[15]  Elaine J. Weyuker,et al.  Automatically Generating Test Data from a Boolean Specification , 1994, IEEE Trans. Software Eng..

[16]  Michael R. Donat.  Automating Formal Specification-Based Testing , 1997, TAPSOFT.

[17]  Ian J. Hayes,et al.  A Case-Study in Timed Refinement: A Mine Pump , 1992, IEEE Trans. Software Eng..

[18]  Dino Mandrioli,et al.  Formal Methods for Real-Time Computing: an Overview , 1996 .