Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/6257
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 |
URI: | http://www.springerlink.com/content/c0506135m872k734/ http://bura.brunel.ac.uk/handle/2438/6257 |
DOI: | http://dx.doi.org/10.1007/s00446-011-0153-5 |
ISSN: | 0178-2770 |
Appears in Collections: | Publications Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
coordination_IOTS_final.pdf | 297.36 kB | Unknown | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.