The talk will present the main principles and applications
of TGV. TGV (Test Generation with Verification technology) is a prototype
for the automatic synthesis of conformance test suites from formal specifications.
It is based on the formal model of input/output labeled transition systems
(IOLTS) and a sound testing theory. TGV algorithms come from verification
technology and are very similar to on-the-fly model-checking algorithms.
This technique allows to derive test cases from a specification and test
purposes without building the complete state graph of the specification.
TGV has been developed in collaboration with Vérimag Grenoble and
successfully used on industrial size cases studies of different domains.
Its algorithms have been now transferred in the commercial tool TestComposer
inside the SDL tool set ObjectGEODE (Telelogic/Verilog). A public version
of TGV for Lotos is also distributed with the CADP toolbox (Inria Rhône
Alpes). Finally TGV is able to tackle UML descriptions by a connection
to our UMLAUT tool.
Last modified: Mon Apr 17 14:36:16
MET DST 2000