Communicating sequential processes
Communicating sequential processes
Testing Against Formal Specifications: A Theoretical View
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
Automated Testing in Practice: The Highway Tolling System
TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Formal Aspects of Computing
Testing transition systems with input and output testers
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Model based testing with labelled transition systems
Formal methods and testing
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Testing of abstract components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Hi-index | 0.00 |
Model-based conformance testing aims to assess the correctness of an implementation with respect to a specification. This raises the question of a proper conformance relation that should be established between implementations and specifications. One commonly used conformance relation is the so-called input output conformance (ioco), which is defined over labeled transition systems. In this paper we investigate a denotational semantics of the input output conformance relation over reactive processes. We formalize the underlying assumptions of the ioco relation in terms of formal healthiness conditions and by adopted choice operators. Finally, we show that our denotational version of ioco can be generalized in the same way as the original relation. Our work aims to provide a unification of input output conformance by lifting the definition from labeled transition systems to reactive processes.