An Approach for Testing Real Time Protocol Entities

We propose a two-step method and an architecture for testing real-time protocol entities. In the first step, the timed specification of the implementation under test is transformed into an equivalent untimed specification. Then in the second step, test methods for non-real-time systems may be used. In comparison with other test methods using similar approaches, our method avoids state explosion. A transformation algorithm of the first step and a test architecture are proposed.

[1]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[2]  Mark Lawford,et al.  Equivalence preserving transformations for timed transition models , 1995 .

[3]  Rajeev Alur,et al.  Minimization of Timed Transition Systems , 1992, CONCUR.

[4]  Ahmed Khoumsi,et al.  Two formal methods for the synthesis of discrete event systems , 1997, Comput. Networks ISDN Syst..

[5]  W. M. Wonham,et al.  A framework for real-time discrete event control , 1990 .

[6]  Parameswaran Ramanathan,et al.  Fault-tolerant clock synchronization in distributed systems , 1990, Computer.

[7]  I. Lee,et al.  Automatic generation of tests for timing constraints from requirements , 1997, Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems.

[8]  David L. Dill,et al.  Timing Assumptions and Verification of Finite-State Concurrent Systems , 1989, Automatic Verification Methods for Finite State Systems.

[9]  Joseph Sifakis,et al.  Automatic Verification Methods for Finite State Systems , 1989, Lecture Notes in Computer Science.

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

[11]  G. von Bochmann,et al.  A test generation tool for specifications in the form of state machines , 1996, Proceedings of ICC/SUPERCOMM '96 - International Conference on Communications.

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

[13]  Andrew S. Tanenbaum,et al.  Computer Networks , 1981 .

[14]  Gang Luo,et al.  Test generation with respect to distributed interfaces , 1994 .

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

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

[17]  Ferhat Khendek,et al.  Fault coverage in testing real-time systems , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).