Controllability Through Nondeterminism in Distributed Testing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Controllability Through Nondeterminism in Distributed Testing

Résumé

If the system under test interacts with its environment at physically distributed ports, there is a separate independent tester at each port, and there is no global clock then we are testing in the distributed test architecture. It is known that the distributed test architecture can lead to additional controllability problems in which a tester cannot know when to send an input and this has led to most test generation techniques aiming to produce controllable test cases. However, there may be no controllable test case that achieves a given objective. This paper introduces the notion of a test section, in which each tester has a fixed input sequence to apply and there is no attempt to synchronise the testers. It defines the notion of a test section being convergent and shows how convergent test sections can be used as the basis of a less restrictive form of controllability.
Fichier principal
Vignette du fichier
419911_1_En_6_Chapter.pdf (180.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01643709 , version 1 (21-11-2017)

Licence

Paternité

Identifiants

Citer

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Controllability Through Nondeterminism in Distributed Testing. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.89-105, ⟨10.1007/978-3-319-47443-4_6⟩. ⟨hal-01643709⟩
83 Consultations
100 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More