Conformance Testing of Variable Driven Automata

Omer Landry Nguena Timo (1) , Antoine Rollet (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

In this paper, we address the conformance testing problem for timed constrained critical systems. We propose a new model adapted to describe such systems. The model is called Variable Driven Timed Automata (VDTA) and is a variant of timed automata in which events are variable assignments and all transitions are urgent. We present a sound and exhaustive on the fly testing algorithm for such systems. As an application of our approach, we propose a case study on a “Bi-manual command” system.

Domaines: Calcul formel [cs.SC]; Génie logiciel [cs.SE]

Omer Landry Nguena Timo, Antoine Rollet. Conformance Testing of Variable Driven Automata. 8th IEEE International Workshop on Factory Communication Systems, May 2010, Nancy, France. pp.241 - 248, ⟨10.1109/WFCS.2010.5548628⟩. ⟨hal-00527305⟩