Please use this identifier to cite or link to this item:
Title: Overcoming controllability problems in distributed testing from an input output transition system
Authors: Hierons, RM
Keywords: Distributed testing;Controllability problems;Coordination messages;Input output transition system
Issue Date: 2012
Publisher: Springer Verlag
Citation: Distributed Computing, 25(1): 63-81, Mar 2012
Abstract: This paper concerns the testing of a system with physically distributed interfaces, called ports, at which it interacts with its environment. We place a tester at each port and the tester at port p observes events at p only. This can lead to controllability problems, where the observations made by the tester at a port p are not sufficient for it to be able to know when to send an input. It is known that there are test objectives, such as executing a particular transition, that cannot be achieved if we restrict attention to test cases that have no controllability problems. This has led to interest in schemes where the testers at the individual ports send coordination messages to one another through an external communications network in order to overcome controllability problems. However, such approaches have largely been studied in the context of testing from a deterministic finite state machine. This paper investigates the use of coordination messages to overcome controllability problems when testing from an input output transition system and gives an algorithm for introducing sufficient messages. It also proves that the problem of minimising the number of coordination messages used is NP-hard.
Description: This is the Pre-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 Springer Verlag
ISSN: 0178-2770
Appears in Collections:Publications
Computer Science
Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
coordination_IOTS_final.pdf297.36 kBUnknownView/Open

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