Fault-Based Testing for Refinement in CSP - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

Fault-Based Testing for Refinement in CSP

Ana Cavalcanti
  • Fonction : Auteur
  • PersonId : 1026242

Résumé

The process algebra CSP has been studied as a modeling notation for test derivation. Work has been developed using its trace and failure semantics, and their refinement notions as conformance relations. In this paper, we propose a procedure for online test generation for selection of finite test sets for traces refinement from CSP models, based on the notion of fault domains, that is, focusing on the set of faulty implementations of interest. We investigate scenarios where the verdict of a test campaign can be reached after a finite number of test executions. We illustrate the usage of the procedure with a small case study.
Fichier principal
Vignette du fichier
449632_1_En_2_Chapter.pdf (304.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01678973 , version 1 (09-01-2018)

Licence

Identifiants

Citer

Ana Cavalcanti, Adenilso Simao. Fault-Based Testing for Refinement in CSP. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.21-37, ⟨10.1007/978-3-319-67549-7_2⟩. ⟨hal-01678973⟩
95 Consultations
101 Téléchargements

Altmetric

Partager

More