Test generation for time critical systems: Tool and case study

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2001, Pages 155-162

  Nielsen, B ^a   Skou, A ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMANCE TESTING; COVERAGE CRITERIA; ERROR PRONES; SOUND TESTS; TEST CASE; TEST GENERATIONS; TIME-CRITICAL SYSTEMS; TIMED TESTS;

REAL TIME SYSTEMS; SOFTWARE TESTING;

TOOLS;

EID: 35048814128     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMRTS.2001.934021     Document Type: Conference Paper

References (22)

1. R. Alur and D. L. Dill. A Theory of Timed Automata. Theoretical Computer Science, 126(2): 183-235, 25 Apr. 1994.
2. R. Alur, L. Fix, and T. A. Henzinger. Event-Clock Automata: A Determinizable Class of Timed Automata. In 6th Conference on Computer Aided Verification, 1994. Also in LNCS 818.
3. B. Beizer. Software Testing Techniques. Intemational Thompson Computer Press, 1990. 2nd edition, ISBN 1850328803.
4. D. Bosscher, I. Polak, and F. Vaandrager. Verification of an Audio Protocol. TR CS-R9445, CWI, Amsterdam, The Netherlands, 1994. Also in LNCS 863, 1994.
5. M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. Jéron, A. Kerbrat, P. Morel, and L. Mounier. Verification and Test Generation for the SSCOP Protocol. Science of Computer Programming, 36(1):27-52, 2000. (Pubitemid 30541794)
6. R. Cardell-Oliver and T. 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.
7. R. Castanet, O. Koné, and P. Laurençot. On the fly test generation for real-time protocols. In International Conference in Computer Communications and Networks, Lafayette, Lousiana, USA, October 12-15 1998. IEEE Computer Society Press.
8. D. Clarke and I. Lee. Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In 3rd IEEE Real-Time Technology and Applications Symposium, 1997.
9. D. 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.
10. A. En-Nouaary, R. Dssouli, and F. 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.
11. G. J. Holzmann. Design and Validation of Computer Protocols, chapter 11. Prentice Hall, New Jersey, U.S.A, 1991. ISBN 0-13-539925-4.
12. E. Koustsofios and S. C. North.Drawing Graphs with dot. Technical Report http: //w.research.att.com/sw/tools/graphviz/dotguide.ps.gz, AT&T Bell Laboratories, Murray Hill, NJ, U.S.A.
13. K. G. Larsen, F. Larsson, P. Petterson, and W. 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.
14. K. G. Larsen, P. Pettersson, and W. Yi. UppAal in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1):134-152, 1997.
15. D. Mandrioli, S. Morasca, and A. Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems, 13(4):365-398, 1995.
16. R. D. Nicola and M. Hennessy. Testing Equivalences for Processes. Theoretical Computer Science, 34:83-133, 1984.
17. B. Nielsen. Specification and Test of Real-Time Systems. PhD thesis, Department of Computer Science, Aalborg University, Denmark, april 2000.
18. B. Nielsen and A. Skou. Automated Test Generation Timed Automata. In T. Margaria and W. Yi, editors, TACAS 2001 - Tools and Algorithms for the Construction and Analysis of Systems, Genova, Italy, April 2001.
19. J. Peleska and B. 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.
20. A. Ressouche, R. de Simone, A. Bouali, and V. Roy. The FCTOOLS User Manual. Technical Report ftp://ftp-sop.inria.fr/meije/verif/fc2.userman.ps, INRIA Sophia Antipolis.
21. H. Schlingloff, O. Meyer, and T. Hulsing. Correctness Analysis of an Embedded Controller. In Data Systems in Aerospace (DASIA99). ESA SP-447, Lisbon, Portugal, pages 317-325, 1999.
22. J. Springintveld, F. Vaandrager, and P. D' Argenio. Testing Timed Automata. TR CTIT 97-17, University of Twente, 1997. To appear in Theoretical Computer Science.