Test cases generation for nondeterministic real-time systems

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

Volumn 2931, Issue , 2004, Pages 131-146

  Khoumsi, Ahmed ^a,b   Jéron, Thierry ^b   Marchand, Hervé ^b  

^a UNIVERSITÉ DE SHERBROOKE   (Canada)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

Conformance test cases generation; Determinizable Timed Automata (DTA); Real time systems; Set Exp Automata (SEA); Test architecture

Indexed keywords

AUTOMATA THEORY; INTERACTIVE COMPUTER SYSTEMS; SOFTWARE TESTING; TESTING;

NON REAL TIME; SET-EXP-AUTOMATA; SYSTEM UNDER TEST; TEST ARCHITECTURE; TEST CASE; TEST CASES GENERATION; TEST METHOD; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 35048834711     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24617-6_10     Document Type: Article

References (14)

1. R. Alur. Timed automata. In Proc. 11th Intern. Conf. on Comp. Aided Verif. (CAV), pages 8-22. Springer-Verlag LNCS 1633, 1999.
2. A. Khoumsi and L. Ouedraogo. A new transformation of timed automata into finite state automata. Submitted to 10th Intern. Conf. Tools and Algorithms for the Construction and and Analysis of Systems (TACAS), Barcelona, Spain, April 2004.
3. C. Jard and T. Jéron. TGV: theory, principles and algorithms. In Proc. 6th World Conf. on Integ. Design and Process Technol. (IDPT), Pasadena, California, USA, June 2002.
4. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools, 17, 1996.
5. C. Jard, T. Jéron, L. Tanguy, and C. Viho. Remote testing can be as powerful as local testing. In Proc. PSTV/FORTE, Berjing, China, October 1999.
6. A. Khoumsi. A method for testing the conformance of real time systems. In Proc. 7th Intern. Sympos. on Formal Techn. in Real-Time and Fault Toler. Systems (FTRTFT), Oldenburg, Germany, September 2002. Available http://www.gel.usherb.ca/khoumsi/Research/Public/FTRTFT02.ps.
7. B. Nielsen. Specification and test of real-time systems. PhD thesis, Dept of Comput. Science, Faculty of Engin, and Sc., Aalborg University, Aalborg, Denmark, 2000.
8. R. Cardell-Oliver. Conformance testing of real-time systems with timed automata. Formal Aspects of Computing, 12:350-371, 2000.
9. R. Cardell-Oliver. Conformance testing of real-time systems with timed automata. In Nordic Workshop on Programming Theory, October 2000.
10. D. Clarke. Testing real-time constraints. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, USA, 1996.
11. V. Braberman, M. Felder, and M. Massé. Testing timing behaviors of real time software. In Proc. Quality Week 1997, pages 143-155, San Francisco, USA, April-May 1997.
12. J. Peleska, P. Amthor, S. Dick, O. Meyer, M. Siegel, and C. Zahlten. Testing reactive real-time systems. In Proc. Mater, for the School-5th Intern. School and Sympos. on Form. Technique in Real-Time and Fault-Toler. Syst. (FTRTFT), Lyngby, Denmark, 1998.
13. J. Springintveld, F. Vaandrager, and P. D'Argenio. Testing timed automata. Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands, 1997.
14. A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed test generation based on state characterization technique. In Proc. 19th IEEE Real-Time Systems Sympos. (RTSS), Madrid, Spain, December 1998.