Time-Optimal Test Cases for Real-Time Systems

Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically generate test cases from formal models of the system under test.

[1]  Rachel Cardell-Oliver.  Conformance Tests for Real-Time Systems with Timed Automata Specifications , 2000, Formal Aspects of Computing.

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

[3]  Adam Wolisz,et al.  Testing of Communicating Systems XIV , 2002, IFIP — The International Federation for Information Processing.

[4]  Duncan Clarke,et al.  Automatic test generation for the analysis of a real-time system: Case study , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[5]  Sandro Morasca,et al.  Generating test cases for real-time systems from logic specifications , 1995, TOCS.

[6]  Insup Lee,et al.  A Temporal Logic Based Theory of Test Coverage and Generation , 2002, TACAS.

[7]  Wang Yi,et al.  Automated verification of an audio-control protocol using UPPAAL , 2002, J. Log. Algebraic Methods Program..

[8]  Paul D. Amer,et al.  Testing protocols modeled as FSMs with timing parameters , 1999, Comput. Networks.

[9]  Alfred V. Aho,et al.  An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours , 1991, IEEE Trans. Commun..

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

[11]  Wang Yi,et al.  Automated Analysis of an Audio Control Protocol Using UPPAAL , 2002 .

[12]  Gerd Behrmann,et al.  Efficient Guiding Towards Cost-Optimality in UPPAAL , 2001, TACAS.

[13]  Joost-Pieter Katoen,et al.  A Probabilistic Extension of UML Statecharts , 2002, FTRTFT.

[14]  Jan Peleska,et al.  Hardware/Software Integration Testing for the new Airbus Aircraft Families , 2002, TestCom.

[15]  Jan Tretmans,et al.  Automatic Testing with Formal Methods , 1999 .

[16]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[17]  Brian Nielsen,et al.  Automated Test Generation from Timed Automata , 2001, TACAS.

[18]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

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

[20]  Thierry Jéron,et al.  Verification and test generation for the SSCOP protocol , 2000, Sci. Comput. Program..