Real-time testing with timed automata testers and coverage criteria

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3253, Issue , 2004, Pages 134-151

  Krichen, Moez ^a   Tripakis, Stavros ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; BLACK-BOX TESTING; CLOCKS; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATIONS; TESTING; TIME SHARING SYSTEMS;

CONFORMANCE TESTING; COVERAGE CRITERIA; DETERMINIZATION; REAL-TIME TESTING; STATE COVERAGE; SYSTEM UNDER TEST; TIMED AUTOMATA; TIMED AUTOMATA SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 24644501736     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30206-3_11     Document Type: Article

References (33)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. R. Alur, L. Fix, and T. Henzinger. A determinizable class of timed automata. In CAV'94, volume 818 of LNCS. Springer, 1994.
3. th Int. Workshop on Testing of Communicating Systems. Kluwer, 1999.
4. J. Bengtsson and W. Yi. On clock difference constraints and termination in reachability analysis of timed automata. In ICFEM'03, volume 2885 of LNCS. Springer, 2003.
5. S. Bensalem, M. Bozga, M. Krichen, and S. Tripakis. Testing conformance of real-time applications by automatic generation of observers. In 4th International Workshop on Runtime Verification (RV'04), 2004. To appear in ENTCS series by Elsevier.
6. B. Berthomieu and M. Menasche. An enumerative approach for analyzing time Petri nets. IFIP Congress Series, 9:41-46, 1983.
7. S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In Compositionality, volume 1536 of LNCS. Springer, 1998.
8. P. Bouyer. Untameable timed automatal In STACS'03, volume 2607 of LNCS. Springer, 2003.
9. P. Bouyer, D. D'Souza, P. Madhusudan, and A. Petit. Timed control with partial observability. In CAV'03, 2003.
10. M. Bozga, J.C. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. IF: a validation environment for timed asynchronous systems. In E.A. Emerson and A.P. Sistla, editors, Proc. CAV'00, volume 1855 of LNCS, pages 543-547. Springer Verlag, 2000.
11. E. Brinksma and J. Tretmans. Testing transition systems: An annotated bibliography. In MOVEP 2000, volume 2067 of LNCS. Springer, 2001.
12. R. Cardell-Oliver and T. Glover. A practical and complete algorithm for testing real-time systems. In FTRTFT'98, volume 1486 of LNCS, 1998.
13. T.S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(1), 1978.
14. D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva. STG: A symbolic test generation tool. In TACAS'02, volume 2280 of LNCS. Springer, 2002.
15. D. Clarke and I. Lee. Automatic generation of tests for timing constraints from requirements. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'97), 1997.
16. C. Daws and S. Tripakis. Model checking of real-time reachability properties using abstractions. In Tools and Algorithms for the Construction and Analysis of Systems '98, Lisbon, Portugal, volume 1384 of LNCS. Springer-Verlag, 1998.
17. D.L. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, pages 197-212. Springer-Verlag, 1989.
18. J.C. Fernandez, G. Jard, T. Jéron, and G. Viho. Using on-the-fly verification techniques for the generation of test suites. In CAV'96, LNCS 1102, 1996.
19. T. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In ICALP'92, LNCS 623, 1992.
20. A. Hessel, K. Larsen, B. Nielsen, P. Pettersson, and A. Skou. Time-optimal real-time test case generation using UPPAAL. In FATES'03, Montreal, October 2003.
21. T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli. Generating test cases for a timed I/O automaton model. In IFIP Int'l Work. Test. Communicat. Syst. Kluwer, 1999.
22. M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In 11th International SPIN Workshop on Model Checking of Software (SPIN'04), volume 2989 of LNCS. Springer, 2004.
23. Moez Krichen and Stavros Tripakis. Real-time testing with timed automata testers and coverage criteria. Technical Report TR-2004-15, Verimag, Centre Équation, 38610 Gières, June 2004.
24. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. Proceedings of the IEEE, 84:1090-1126, 1996.
25. B. Nielsen and A. Skou. Automated test generation from timed automata. In TACAS'01. LNCS 2031, Springer, 2001.
26. J. Peleska. Formal methods for test automation - hard real-time testing of controllers for the airbus aircraft family. In IDPT'02, 2002.
27. J. Sifakis and S. Yovine. Compositional specification of timed systems. In 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96, pages 347-359, Grenoble, France, February 1996. Lecture Notes in Computer Science 1046, Spinger-Verlag.
28. J. Springintveld, F. Vaandrager, and P. D'Argenio. Testing timed automata. Theoretical Computer Science, 254, 2001.
29. th Int. Conference on Concurrency Theory, volume 1664 of Lecture Notes in Computer Science, pages 46-65. Springer-Verlag, 1999.
30. J. Tretmans. Testing techniques. Lecture notes, University of Twente, The Netherlands, 2002.
31. S. Tripakis. Fault diagnosis for timed automata. In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'02), volume 2469 of LNCS. Springer, 2002.
32. S. Tripakis. Folk theorems on the determinization and minimization of timed automata. In Formal Modeling and Analysis of Timed Systems (FORMATS'03), volume 2791 of LNCS. Springer, 2004.
33. H. Zhu, P. Hall, and J. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4), 1997.