Automated test generation from timed automata

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

Volumn 2031 LNCS, Issue , 2001, Pages 343-357

  Nielsen, Brian ^a   Skou, Arne ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; EQUIVALENCE CLASSES; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; SPECIFICATIONS; JAVA PROGRAMMING LANGUAGE; SOFTWARE TESTING;

AUTOMATED TEST GENERATIONS; AUTOMATIC GENERATION; COVERAGE CRITERIA; NONDETERMINISTIC SYSTEMS; PROTOTYPE TOOLS; SYMBOLIC TECHNIQUES; TEST GENERATIONS; TIMED AUTOMATA SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 84903139022     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45319-9_24     Document Type: Conference Paper

References (28)

1. Rajeev Alur and David L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126(2):l83-235, 25 April 1994.
2. Rajeev Alur, Limor Fix, and Thomas A. Henzinger. Event-Clock Automata: A Determiniz- able Class of Timed Automata. In 6th Conference on Computer Aided Verification, 1994. Also in LNCS 8l8.
3. Boris Beizer. Software Testing Techniques. International Thompson Computer Press, 1990. 2nd edition, ISBN 1850328803.
4. Johan Bengtsson, W. O. David Griffioen, Kâre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Petterson, and Wang Yi. Verification of an Audio Protocol with Bus Collision using UppAal. In 9th Intl. Conference on Computer Aided Verification, pages 244-256, 1996. LNCS 1102.
5. Doeko Bosscher, Indra Polak, and Frits Vaandrager. Verification of an Audio Protocol. TR CS-R9445, CWI, Amsterdam, The Netherlands, 1994. Also in LNCS 863, 1994.
6. Ahmed Bouajjani, Stavros Tripakis, and Sergio Yovine. On-the-fly Symbolic Model- Checking for Real-Time Systems. In 1997 IEEE Real-Time Systems Symposium, RTSS'97, San Fransisco, USA, December 1996. IEEE Computer Society Press.
7. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, and Laurent Mounier. Verification and Test Generation for the SS- COP Protocol. Science of Computer Programming, 36(1):27-52, 2000.
8. V Braberman, M. Felder, and M. Marré. Testing Timing Behaviors of Real Time Software. In Quality Week 1997. San Francisco, USA., pages 143-155, April-May 1997 1997.
9. Rachel Cardell-Oliver and Tim Glover. A Practical and Complete Algorithm for Testing Real-Time Systems. In 5th international Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'98), pages 251-261, September 14-18 1998. Also in LNCS 1486.
10. R. Castanet, Ousmane Koné, and Patrice Laurençot. On the fly test generation for realtime protocols. In International Conference in Computer Communications and Networks, Lafayette, Lousiana, USA, October 12-15 1998. IEEE Computer Society Press.
11. Duncan Clarke and Insup Lee. Testing Real-Time Constraints in a Process Algebraic Setting. In 17th International Conference on Software Engineering, 1995.
12. Duncan Clarke and Insup Lee. Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In 3rd IEEE Real-Time Technology and Applications Symposium, 1997.
13. Ranee Cleaveland and Matthew Hennessy. Testing Equivalence as a Bisimulation Equivalence. Formal Aspects of Computing, 5:1-20, 1993.
14. Conrado Daws and Sergio Yovine. Reducing the Number of Clock Variables of Timed Automata. In 1996 IEEE Real-Time Systems Symposium, RTSS '96, Washington, DC, USA, december 1996. IEEE Computer Society Press.
15. David L. Dill. Timing Assumptions and Verification of Finite-State Concurrent Systems. In International Workshop on Automatic Verification Methods for Finite State Systems, pages 197-212, Grenoble, France, June 1989. LNCS 407.
16. Abdeslam En-Nouaary, Rachida Dssouli, and Ferhat Khendek. Timed Test Cases Generation Based on State Characterization Technique. In 19th IEEE Real-Time Systems Symposium (RTSS'98), pages 220-229, December 2-4 1998.
17. Alain Kerbrat, Thierry Jéron, and Roland Groz. Automated Test Generation from SDL Specifications. In Ninth SDL Forum, 21-25 June 1999. Montral, Qubec, Canada.
18. Kim G. Larsen, Fredrik Larsson, Paul Petterson, and Wang Yi. Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction. In 18th IEEE Real-Time Systems Symposium, pages 14-24, 1997.
19. Kim G. Larsen, Paul Pettersson, and Wang Yi. UppAal in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1):134-152, 1997.
20. Dino Mandrioli, Sandro Morasca, and Angelo Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems, l3(4):365-398,1995.
21. R. De Nicola and M.C.B Hennessy. Testing Equivalences for Processes. Theoretical Computer Science, 34:83-133, 1984.
22. Brian Nielsen. Specification and Test of Real-Time Systems. PhD thesis, Department of Computer Science, Aalborg University, Denmark, april 2000.
23. Jan Peleska and Bettina Buth. Formal Methods for the International Space Station ISS. In E.-R. Olderog and B. Steffen, editors, Correct System Design, pages 363-389, 1999. Springer LNCS 1710.
24. Jan Peleska and Cornelia Zahlten. Test Automation for Avionic Systems and Space Technology. In GI Working Group on Test, Analysis and Verification of Software, 1999. Munich, Extended Abstract.
25. Annie Ressouche, Robert de Simone, Amar Bouali, and Valerie Roy. The FCTOOLS User Manual. Technical Report ftp://ftp-sop.inria.fr/meije/verif/fc2. userman.ps, INRIA Sophia Antipolis.
26. Holger Schlingloff, Oliver Meyer, and Thomas Hülsing. Correctness Analysis of an Embedded Controller. In Data Systems in Aerospace (DAS1A99). ESA SP-447, Lisbon, Portugal, pages 317-325, 1999.
27. J. Springintveld, F. Vaandrager, and P.R. D'Argenio. Testing Timed Automata. TR CTIT 97-17, University of Twente, 1997. To appear in Theoretical Computer Science.
28. Wang Yi, Paul Pettersson, and Mats Daniels. Automatic Verification of Real-Time Communicating Systems by Constraint Solving. In 7th Int. Conf. on Formal Description Techniques, pages 223-238, 1994. North-Holland.