| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Input-Output Conformance Simulation (iocos) for Model Based Testing
Abstract : 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.
Cited literature [24 references]
https://hal.inria.fr/hal-01515238
Contributor : Hal Ifip <>
Submitted on : Thursday, April 27, 2017 - 10:46:44 AM
Last modification on : Tuesday, November 28, 2017 - 4:20:01 PM
Long-term archiving on: : Friday, July 28, 2017 - 12:42:56 PM
Contributor : Hal Ifip <>
Submitted on : Thursday, April 27, 2017 - 10:46:44 AM
Last modification on : Tuesday, November 28, 2017 - 4:20:01 PM
Long-term archiving on: : Friday, July 28, 2017 - 12:42:56 PM
File
978-3-642-38592-6_9_Chapter.pd...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License