Abstract
This paper follows two main lines of research. The first line is related to the study of models for the description of systems. For this line, we introduce the model of Communicating Systems (CS), which defines a set of common resources, a set of entities, and a topology of communication. The second line focuses on testing methodologies adapted to protocol testing. For this line, we give a formal definition of a generic generation algorithm (GGA). We demonstrate that the CS model with a GGA supports various 1) test architectures, 2) test types: conformance, interoperability, embedded, component testing, and 3) test approaches: passive and active testing. The paper presents also the main characteristics of the TGSE tool (Test Generation, Simulation, and Emulation). TGSE is made-up of a test case generator, based on the CS model and implementing a GGA, a graphic simulator of the execution of a sequence generated by TGSE, and a real-time emulator of communicating specifications. In its current version, TGSE supports the passive and active testing of one or several components with data and temporal constraints.
This research has been supported by the French RNTL project Avérroes and the Marie Curie RTN TAROT (MCRTN 505121).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3), 103–120 (1996)
Brandßn, L., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 64–78. Springer, Heidelberg (2005)
Seol, S., Kim, M., Kang, S., Ryu, J.: Fully automated interoperability test suite derivation for communication protocols. Computer Networks 43, 735–759 (2003)
Cardell-Oliver, R.: Conformance Testing of Real-Time Systems with Timed Automata Specifications. Formal Aspects of Computing 12(5), 350–371 (2000)
Clarke, D., Lee, I.: Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In: 3rd IEEE RTSS (1997)
En-Nouaary, A., Dssouli, R., Khenedek, F., Elqortobi, A.: Timed test cases generation based on state characterization technique. In: 19th IEEE RTSS, Madrid, Spain (1998)
Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.: Generating Test Cases for a Timed I/O Automaton model. In: TESTCOM 1999, Budapest, Hungary (September 1999)
Koumsi, A., Akalay, M., Dssouli, R., En-Nouaary, A., Granger, L.: An approach for testing real time protocols. In: TESTCOM, Ottawa, Canada (2000)
Mandrioli, D., Morasca, S., Morzenti, A.: Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Transactions on Computer Systems 13(4), 365–398 (1995)
Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing Timed Automata. Theoretical Computer Science 252(1-2), 225–257 (2001)
Berrada, I., Castanet, R., Félix, P.: From the Feasibility Analysis to Real-Time Test Generation. Studia Informatica Universalis 3(2), 203–230 (2004)
Larsen, K., Mikucionis, M., Nielsenn, B.: Real-time system testing on-the-fly. In: The 15th Nordic Workshop on Programming Theory, NWPT (2003)
Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109–126. Springer, Heidelberg (2004)
En-Nouaary, A., Dssouli, R.: A Guided Method for Testing Timed Input Output Automata. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 211–225. Springer, Heidelberg (2003)
Khoumsi, A., JTron, T., Marchand, H.: Test Cases Generation for Nondeterministic Real-Time Systems. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 131–146. Springer, Heidelberg (2004)
El-Fakih, K., Yevtushenko, N.: Fault Propagation by Equation Solving. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 185–198. Springer, Heidelberg (2004)
Boroday, S., Petrenko, A., Groz, R., Quemener, Y.M.: Test Generation for CEFSM Combining Specification and Fault Coverage. In: TESTCOM2002, Berlin, Germany (March 2002)
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
Arnold, A., Nivat, M.: Comportements de processus. In: Colloque AFCET “Les mathTmatiques de l’Informatique”, pp. 35–68 (1982)
Barros, T., Boulifa, R., Madelaine, E.: Parameterized Models for Distributed java Objects. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 43–60. Springer, Heidelberg (2004)
Alcalde, B., Cavalli, A., Chen, D., Khuu, D., Lee, D.: Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 150–166. Springer, Heidelberg (2004)
Berrada, I., Castanet, R., FTlix, P.: Techinques de Test d’InteropTrabilitT. Fourniture Calife (2005)
Cavalli, A., Lee, D., Rinderknecht, C., Zandi, F.: Hit-or-Jump: An algorithm for embedded testing with applications to IN services. In: FORTE/PSTV 1999, Beijing, China (October 1999)
Jard, C., JTron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: FORTE/PSTV 1999, Beijing, China (October 1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Berrada, I., Castanet, R., Félix, P. (2005). Testing Communicating Systems: a Model, a Methodology, and a Tool. In: Khendek, F., Dssouli, R. (eds) Testing of Communicating Systems. TestCom 2005. Lecture Notes in Computer Science, vol 3502. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11430230_9
Download citation
DOI: https://doi.org/10.1007/11430230_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26054-7
Online ISBN: 978-3-540-32076-0
eBook Packages: Computer ScienceComputer Science (R0)