PragmaDev Studio


   Use case

PragmaDev and CEA LIST common laboratory aims at generating a minimum set of test cases to cover all or a part of a model.



Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems.

It is defined by the ITU-T (Recommendations Z.100 to Z.106). Originally focused on telecommunication systems, its current areas of application include process control and real-time applications in general.

The Specification and Description Language covers five main aspects: structure, communication, behavior, data, and inheritance. The behavior of components is explained by partitioning the system into a series of hierarchies.


The Testing and Test Control Notation Version 3 (TTCN-3) is a standardized testing technology developed and maintained by the European Telecommunication Standards Institute (ETSI) and specifically designed for testing and certification. The ETSI TTCN-3 standards have also been adopted by the International Telecommunication Union (ITU-T) in the Z.160 series.

TTCN-3 is a test specification language that applies to a variety of application domains and types of testing. It has been used since 2000 in standardization as well as in industry, research, international projects and academia. In response to the demands of the user community TTCN-3 is being continuously improved and extended.