TGSE : Un Outil Générique pour le Test

test). 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 Communi- cating Systems (CS), which defines a set of common resources, a set of entities, and a topology of communication. The second line concerns testing methodologies adapted to protocol test- ing. For this line, we give a formal definition of a generic algorithm of generation (GAG). We demonstrate that the CS model with a GAG 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 composed of a test case generator based on the CS model and implementing a GAG, 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.