Test selection for traces refinement - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2015

Test selection for traces refinement

Résumé

Theories for model-based testing identify exhaustive test sets: typically infinite sets of tests whose execution establishes the conformance relation of interest. Practical techniques rely on selection strategies to identify finite subsets of these tests, and popular approaches are based on requirements to cover the model. In previous work, we have defined testing theories for refinement-based process algebra, namely, CSP and Circus, a state-rich process algebra. In this paper, we consider the selection of tests designed to establish traces refinement. In this case, conformance does not require that all traces of the model are available in the system under test, and this can raise challenges regarding coverage criteria for selection. To address these difficulties, we present a framework for formalising a variety of selection strategies. We exemplify its use in the formalisation of a selection criterion based on coverage of process communications for integration testing. We consider models written in Circus, whose symbolic testing theory facilitates the definition of uniformity and regularity hypotheses based on data operations, but also imposes extra challenges for selection of concrete tests. Our results, however, are relevant for any formalism where the conformance relation does not require all the traces of the specification to be executable by the system under test.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
CavalcantiGaudel.pdf (458.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01126800 , version 1 (06-03-2015)

Identifiants

Citer

Ana Cavalcanti, Marie-Claude Gaudel. Test selection for traces refinement. Theoretical Computer Science, 2015, 563, pp.1-42. ⟨10.1016/j.tcs.2014.08.012⟩. ⟨hal-01126800⟩
449 Consultations
97 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More