Overcoming controllability problems in distributed testing from an input output transition system |
| |
Authors: | Robert M Hierons |
| |
Affiliation: | 1. Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, UB8 3PH, UK
|
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|