Input-Output Conformance Simulation (iocos) for Model Based Testing - Formal Techniques for Distributed Systems Access content directly
Conference Papers Year : 2013

Input-Output Conformance Simulation (iocos) for Model Based Testing


A new model based testing theory built on simulation semantics is presented. At the core of this theory there is an input-output conformance simulation relation (iocos). As a branching semantics iocos can naturally distinguish the context of local choices. We show iocos to be a finer relation than the classic ioco conformance relation. It turns out that iocos is a transitive relation and therefore it can be used both as a conformance relation and a refinement preorder. An alternative characterisation of iocos is provided in terms of testing semantics. Finally we present an algorithm that produces a test suite for any specification. The resulting test suite is sound and exhaustive for the given specification with respect to iocos.
Fichier principal
Vignette du fichier
978-3-642-38592-6_9_Chapter.pdf (351.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01515238 , version 1 (27-04-2017)





Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres. Input-Output Conformance Simulation (iocos) for Model Based Testing. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.114-129, ⟨10.1007/978-3-642-38592-6_9⟩. ⟨hal-01515238⟩
109 View
148 Download



Gmail Facebook X LinkedIn More