%0 Conference Proceedings
%T Input-Output Conformance Simulation (iocos) for Model Based Testing
%+ Departamento Sistemas Informáticos y Computación [Madrid]
%A Gregorio-Rodríguez, Carlos
%A Llana, Luis
%A Martínez-Torres, Rafael
%Z Part 4: Session 3: Testing
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 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)
%C Florence, Italy
%Y Dirk Beyer
%Y Michele Boreale
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-7892
%P 114-129
%8 2013-06-03
%D 2013
%R 10.1007/978-3-642-38592-6_9
%K Model Based Testing
%K Input Output Conformance Simulation
%K Formal Methods
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01515238/document
%2 https://inria.hal.science/hal-01515238/file/978-3-642-38592-6_9_Chapter.pdf
%L hal-01515238
%U https://inria.hal.science/hal-01515238
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-7892