Christophe Gaston, Robert M. Hierons, Pascale Le Gall (IRT SystemX / CEA / ECP / Brunel University)

Résumé

Many systems interact with their environment at physically distributed interfaces and the distributed nature of any observations made is known to complicate testing. This paper concerns distributed testing, where a separate tester is placed at each localised interface and may only observe what happens at this interface. Most previous work on distributed model based testing has used models that are either finite state machines or input output transition systems. In this paper we define a framework for distributed testing from timed input output transition systems along with corresponding test hypotheses and a distributed conformance relation.

Mots-clés

Distributed systems / Timed systems / Model based testing / Symbolic input output transition systems

Source

ICTSS 2013

Article complet

Projet IRT

Projet FSF

- ABONNEMENT NEWSLETTER

Inscrivez-vous à la newsletter de l'IRT SystemX

et recevez chaque mois les dernières actualités de l'institut :