Brunel University Research Archive (BURA) >
University >
Publications >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/6259

Title: Implementation relations and test generation for systems with distributed interfaces
Authors: Hierons, RM
Merayo, MG
Núñez, M
Keywords: Formal approaches to testing
Systems with distributed ports
Formal methodologies to develop distributed software systems
Publication Date: 2012
Publisher: Springer Verlag
Citation: Distributed Computing, 25(1): 35 - 62, Mar 2012
Abstract: Some systems interact with their environment at physically distributed interfaces called ports and we separately observe sequences of inputs and outputs at each port. As a result we cannot reconstruct the global sequence that occurred and this reduces our ability to distinguish different systems in testing or in use. In this paper we explore notions of conformance for an input output transition system that has multiple ports, adapting the widely used ioco implementation relation to this situation. We consider two different scenarios. In the first scenario the agents at the different ports are entirely independent. Alternatively, it may be feasible for some external agent to receive information from more than one of the agents at the ports of the system, these local behaviours potentially being brought together and here we require a stronger implementation relation. We define implementation relations for these scenarios and prove that in the case of a single-port system the new implementation relations are equivalent to ioco. In addition, we define what it means for a test case to be controllable and give an algorithm that decides whether this condition holds. We give a test generation algorithm to produce sound and complete test suites. Finally, we study two implementation relations to deal with partially specified systems.
Description: This is the Pre-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2011 Springer-Verlag
Sponsorship: This work was supported in part by Leverhulme Trust grant number F/00275/D, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number OGP00000976, Testing State Based Systems, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST).
URI: http://www.springerlink.com/content/u505716t4j6q4t04/
http://bura.brunel.ac.uk/handle/2438/6259
DOI: http://dx.doi.org/10.1007/s00446-011-0149-1
ISSN: 0178-2770
Appears in Collections:Information Systems and Computing
School of Information Systems, Computing and Mathematics Research Papers
Publications

Files in This Item:

File Description SizeFormat
synch_final.pdf255.41 kBUnknownView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.

 


Library (c) Brunel University.    Powered By: DSpace
Send us your
Feedback. Last Updated: September 14, 2010.
Managed by:
Hassan Bhuiyan