Testing communicating systems: A model, a methodology, and a tool

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 111-128

  Berrada, Ismaïl ^a   Castanet, Richard ^a   Félix, Patrick ^a  

^a UNIVERSITÉ DE BORDEAUX   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; CONSTRAINT THEORY; GRAPH THEORY; MATHEMATICAL MODELS; NETWORK PROTOCOLS; REAL TIME SYSTEMS; TOPOLOGY; TESTING;

COMMUNICATING SPECIFICATIONS; PROTOCOL TESTING; TEST ARCHITECTURES; TESTING COMMUNICATION SYSTEMS; COMPONENT TESTING; FORMAL DEFINITION; GENERATION ALGORITHM; GRAPHIC SIMULATORS; TEMPORAL CONSTRAINTS; TEST CASE GENERATORS; TESTING METHODOLOGY;

COMMUNICATION SYSTEMS; INTEROPERABILITY;

EID: 24944462737     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11430230_9     Document Type: Conference Paper

References (25)

1. Jan Tretmans. Test Generation with Inputs, Outputs and Repetitive Quiescence, Software - Concepts and Tools 17(3): 103-120 (1996).
2. Laura BrandSSn and Ed Brinksma. A test generation framework for quiescent real-time systems. FATES2004, Linz, Austria September 21 2004.
3. S. Seol, M. Kim, S. Kang, J. Ryu. Fully automated interoperability test suite derivation for communication protocols, Computer Networks Volume 43, Pages 735-759, December 2003.
4. Rachel Cardell-Oliver. Conformance Testing of Real-Time Systems with Timed Automata Specifications, Formal Aspects of Computing, 12(5):350-371, 2000.
5. Duncan Clarke and Insup Lee. Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In 3rd IEEE RTSS, 1997.
6. A. En-Nouaary, R. Dssouli, F. Khenedek, and A. Elqortobi. Timed test cases generation based on state characterization technique, In 19th IEEE RTSS, Madrid, Spain, 1998.
7. T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli. Generating Test Cases for a Timed I/O Automaton model, TESTCOM99, Budapest, Hungary, September 1999.
8. A. Koumsi, M. Akalay, R. Dssouli, A. En-Nouaary, L. Granger. An approach for testing real time protocols, TESTCOM, Ottawa, Canada, 2000.
9. Dino Mandrioli, Sandro Morasca, and Angelo Morzenti. Generating Test Cases for Real-Time Systems from Logic Specifications, ACM Transactions on Computer Systems, 13(4):365-398, 1995.
10. Jan Springintveld, Frits Vaandrager, Pedro R. D'Argenio. Testing Timed Automata. Theoretical Computer Science, 252(1-2):225-257, March 2001.
11. I. Berrada, R. Castanet, P. Félix. From the Feasibility Analysis to Real-Time Test Generation, Studia Informatica Universalis Volume 3 (2) pp.203-230 2004.
12. K. Larsen, M. Mikucionis, and B. Nielsenn. Real-time system testing on-the-fly. In the 15th Nordic Workshop on Programming Theory (NWPT), 2003.
13. M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In SPIN 2004 (2004), Spring-Verlag Heidelberg, pp. 109-126.
14. Abdeslam En-Nouaary, Rachida Dssouli: A Guided Method for Testing Timed Input Output Automata. TestCom 2003: 211-225
15. Ahmed Khoumsi, Thierry JTron, HervT Marchand. Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146
16. K. El-Fakih and N. Yevtushenko. Fault Propagation by Equation Solving. Proceeding of FORTE, Madrid, Spain. LNCS 3235, September 2004.
17. S. Boroday, A. Petrenko, R. Groz and V.M. Quemener. Test Generation for CEFSM Combining Specification and Fault Coverage. TESTCOM02, Berlin, Germany, March 2002.
18. R. Alur and D. Dill. A theory of timed automata, Theoretical Computer Science, 126:183-235, 1994.
19. AndrT Arnold et M. Nivat. Comportements de processus. In Colloque AFCET "Les mathTmatiques de l'Informatique", pages 35-68, 1982.
20. TomSSs Barros, RabTa Boulifa and Eric Madelaine. Parameterized Models for Distributed java Objects. FORTE, Madrid, Spain. LNCS 3235, September 2004.
21. Baptiste Alcalde, Ana Cavalli, Dongluo Chen, Davy Khuu, and David Lee. Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. Proceeding of FORTE, Madrid, Spain. LNCS 3235, September 2004.
22. Ismail Berrada, Richard Castanet and Patrick FTlix. Techinques de Test d'InteropTrabilitT. Fourniture Calife, 2005.
23. Ana Cavalli, David Lee, Christian Rinderknecht and Fatiha Zandi. Hit-or-Jump: An algorithm for embedded testing with applications to IN services. FORTE/PSTV'99, Beijing, China. October 1999.
24. Claude Jard, Thierry JTron, LTnanck Tanguy and CTsar Viho. Remote testing can be as powerful as local testing. FORTE/PSTV'99, Beijing, China. October 1999.
25. http://www.cril-technology.fr.