Input-output Conformance Testing for Channel-based Service Connectors

Service-based systems are software systems composed of autonomous components or services provided by different vendors, deployed on remote machines and accessible through the web. One of the challenges of modern software engineering is to ensure that such a system behaves as intended by its designer...

Full description

Bibliographic Details
Main Authors: Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist
Format: Article
Language:English
Published: Open Publishing Association 2011-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1108.1862v1