Black-box conformance testing for real-time systems

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

Volumn 2989, Issue , 2004, Pages 109-126

  Krichen, Moez ^a   Tripakis, Stavros ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BLACK-BOX TESTING; CLOCKS; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; SPECIFICATIONS;

CONFORMANCE TESTING; DIGITAL CLOCKS; FINITE PRECISION; IMPLEMENTABILITY; INPUT-OUTPUT CONFORMANCE; PROTOTYPE TOOLS; TIMED AUTOMATA; TRACE INCLUSION;

REAL TIME SYSTEMS;

EID: 35048869135     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24732-6_8     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. Work-shop on Testing of Communicating Systems. Kluwer, 1999.
4. S. Bensalem, M. Bozga, M. Krichen, and S. Tripakis. Testing conformance of real-time applications by automatic generation of observers. In Runtime Verification (RV'04). To appear in ENTCS.
5. B. Berard, A. Petit, V. Diekert, and P. Gastin. Characterization of the expressive power of silent transitions in timed automata. Fundamenta Informaticae, 36(23):145-182, 1998.
6. S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In Compositionality, volume 1536 of LNCS. Springer, 1998.
7. 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.
8. V. Braberman, M. Felder, and M. Marre. Testing timing behavior of real-time software. In International Software Quality Week, 1997.
9. G. Brat, D. Giannakopoulou, A. Goldberg, K. Havelund, M. Lowry, C. Pasareanu, A. Venet, and W. Visser. Experimental evaluation of V&V tools on martian rover software. In SEI Software Model Checking Workshop, 2003.
10. E. Brinksma and J. Tretmans. Testing transition systems: An annotated bibliography. In MOVEP 2000, volume 2067 of LNCS. Springer, 2001.
11. R. Cardell-Oliver. Conformance test experiments for distributed real-time systems. In ISSTA '02. ACM Press, 2002.
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. 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.
14. 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.
15. D. Clarke and I. Lee. Automatic test generation for the analysis of a real-time system: Case study. In RTAS'97, 1997.
16. A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed test cases generation based on state characterization technique. In RTSS'98. IEEE, 1998.
17. 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.
18. T. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In ICALP'92, LNCS 623, 1992.
19. 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.
20. 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. Communiait. Syst. Kluwer, 1999.
21. ISO/IEC. Open Systems Interconnection Conformance Testing Methodology and Framework - Part 1 : General Concept - Part 2 : Abstract Test Suite Specification - Part 3: The Tree and Tabular Combined Notation (TTCN). Technical Report 9646, International Organization for Standardization -Information Processing Systems -Open Systems Interconnection, Genève, 1992.
22. G. Jard, T. Jéron, and P. Morel. Verification of test suites. In TESTCOM 2000, 2000.
23. A. Khoumsi, T. Jéron, and H. Marchand. Test cases generation for nondeterministic real-time systems. In FATES'03, Montreal, October 2003.
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. The-oretical 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), LNCS. Springer, 2003.
33. H. Zhu, P. Hall, and J. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4), 1997.