Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/335
Title: | Overcoming observability problems in distributed test architectures |
Authors: | Chen, J Hierons, RM Ural, H |
Keywords: | Finite state machine;Testing;Observability;Controllability |
Issue Date: | 2006 |
Publisher: | Elsevier |
Citation: | Information Processing Letters 98(5): 177 -182, Jun 2006 |
Abstract: | This paper investigates conditions that must be satisfied by an FSM for the existence of input sequences that can be applied in a distributed test architecture without encountering controllability and observability problems and without using external coordination messages. Such conditions have two potential values. First, they can be used to determine whether we require coordination messages and thus a network that connects the testers. Second, if we wish to avoid the use of coordination messages in testing then these conditions can be seen as testability conditions that can inform the design process. Results given in this paper differ from those in the following ways. First, the conditions are strictly weaker than those in since we are less restrictive in the ways we achieve our goals. Second, only considered observability problems; we consider both controllability and observability problems. In addition, only considered a particular type of observability problem and we generalize this. Finally, we investigate the situation in which we need only add input sequences to complement a given test/checking sequence ρ and prove that the conditions for this problem are equivalent to those for the original problem. |
URI: | http://portal.acm.org/citation.cfm?id=1146068.1146071 http://www.sciencedirect.com/science/journal/00200190 http://bura.brunel.ac.uk/handle/2438/335 |
DOI: | http://dx.doi.org/10.1016/j.ipl.2006.02.001 |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Overcoming Observability 2006.pdf | 303.94 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.