Skip to Main content Skip to Navigation
Journal articles

Test selection for traces refinement

Abstract : 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.
Document type :
Journal articles
Complete list of metadatas
Contributor : Marie-Claude Gaudel <>
Submitted on : Friday, March 6, 2015 - 6:54:58 PM
Last modification on : Friday, January 8, 2021 - 11:22:05 AM
Long-term archiving on: : Sunday, June 7, 2015 - 5:36:58 PM


Files produced by the author(s)




Ana Cavalcanti, Marie-Claude Gaudel. Test selection for traces refinement. Theoretical Computer Science, Elsevier, 2015, 563, pp.1-42. ⟨10.1016/j.tcs.2014.08.012⟩. ⟨hal-01126800⟩



Record views


Files downloads