A method for testing the conformance of real time systems

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

Volumn 2469, Issue , 2002, Pages 331-351

  Khoumsi, Ahmed ^a  

^a UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

Conformance testing; Exp; Generalized Wp method; Real time systems; Se FSA; Set; Test architecture; Test cases generation; Timed automata (TA)

Indexed keywords

AUTOMATA THEORY; FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATIONS; TESTING;

CONFORMANCE TESTING; GENERALIZED WP-METHOD; TEST ARCHITECTURE; TEST CASES GENERATION; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 84974676875     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45739-9_20     Document Type: Conference Paper

References (26)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126: 183-235, 1994.
2. A. Khoumsi, G.v. Bochmann, and R. Dssouli. Protocol synthesis for real-time applications. In Proc. PSTV/FORTE, Beijing, China, October 1999. Also available in http://www.gel.usherb.ca/khoumsi/Research/Public/PSTVFORTE99.ps.
3. R. Alur, C. Courcoubetis, and D. Dill. Model checking for real-time systems. In Proc. IEEE Symposium on Logic in Computer Science, 1990.
4. F. Liu. Test generation based on an FSM model with timers and counters. Master’s thesis, University of Montreal, Department IRO, 1993.
5. D. Mandrioli, S. Morasca, and A. Morzenti. Generating test cases for realtime systems from logic specifications. ACM Transactions on Computer Systems, 13(4): 365-398, November 1995.
6. D. Clarke and I. Lee. Automatic generation of tests for timing constraints from requirements. In Proc. 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California, February 1997.
7. A. En-Nouaary, R. Dssouli, and A. Elqortobi. Génération de tests temporisés. In Proc. 6th Colloque Francophone de l’Ingénierie des Protocoles. HERMES, 1997.
8. J. Springintveld, F. Vaadranger, and P. Dargenio. Testing timed automata. Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands, 1997.
9. 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 Symposium (RTSS), Madrid, Spain, December 1998.
10. A. Khoumsi, M. Akalay, R. Dssouli, A. En-Nouaary, and L. Granger. An approach for testing real time protocol entities. In Proc. 13th Intern. Workshop. on Testing of Communicating Systems (TestCom), Ottawa, Canada, Aug.-Sept. 2000. Kluwer Academic Publishers. Also available in http://www.gel.usherb.ca/khoumsi/Research/Public/TESTCOM00.ps.
11. A. Khoumsi, A. En-Nouaary, R. Dssouli, and M. Akalay. A new method for testing real time systems. In Proc. 7th Intern. Conf. on Real-Time Computing Systems (RTCSA), Cheju Island, South Korea, December 2000. Also available in http://www.gel.usherb.ca/khoumsi/Research/Public/RTCSA00.ps.
12. B. Nielsen and A. Skou. Automated test generation timed automata. In Work in Progress-Session of the 21st IEEE Real-Time Systems Symposium (RTSS), Walt Disney World, Orlando, Florida, USA, November 2000.
13. B. Nielsen and A. Skou. Automated test generation timed automata. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 343-357, Genova, Italy, April 2001.
14. B. Nielsen and A. Skou. Test generation for time critical systems: Tool and case study. In Proc. 13th Euromicro Conf. on Real-Time Systems, pages 155-162, Delft, The Netherlands, June 2001.
15. A. Khoumsi. A new transformation of timed automata into finite state automata. In Submitted to the 23rd IEEE Real-Time Systems Symposium (RTSS), 2002.
16. R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, and H. Wong-Toi. Minimization of timed transitions systems. In CONCUR, pages 340-354. Springer-Verlag LNCS 630, 1992.
17. M. Yannakakis and D. Lee. An efficient algorithm for minimizing real-time transition systems. In Proc. 5th Conf. on Computer Aided Verification, pages 210-224. Springer-Verlag LNCS 697, 1993.
18. I. Kang and I. Lee. State minimization for concurrent system analysis based on state space exploration. In Proc. Conf. On Computer Assurance, pages 123-134, 1994.
19. I. Kang and I. Lee. An efficient state space generation for analysis of real-time systems. In Proc. Intern. Symposium on Software Testing and Analysis (ISSTA’96), 1996.
20. S. Tripakis and S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. In Proc. 8th Intern. Conf. on Computer Aided Verification, pages 229-242. Springer-Verlag LNCS 1102, 1995.
21. R. Alur. Timed automata. In Proc. 11th Intern. Conf. on Computer Aided Verification, pages 8-22. Springer-Verlag LNCS 1633, 1999.
22. A. En-Nouaary, F. Khendek, and R. Dssouli. Fault coverage in testing real-time systems. In Proc. 6th Intern. Conf. on Real-Time Computing Systems and Applications (RTCSA), Hong-Kong, December 1999.
23. G. Luo, R. Dssouli, G.v. Bochmann, P. Venkataram, and A. Ghedamsi. Test generation with respect to distributed interfaces. Computer Standards and Interfaces, 16: 119-132, 1994.
24. G. Luo, G. v. Bochmann, and A. Petrenko. Test selection based on communicating nondeterministic finite-state machines using a generalized wp-method. IEEE Transactions on Software Engineering, 20(2): 149-162, 1994.
25. S. Fujiwara and G. v. Bochmann. Testing nondeterministic finite-state machine with fault-coverage. In Proc. 4th Intern. Workshop on Protocol Test Systems (WPTS), pages 267-280. North-Holland, 1992.
26. J. Tretmans. A Formal Approach to Conformance Testing. PhD thesis, University of Twente, The Netherlands, December 1992.