Name
Abstract | ||
|---|---|---|
The classical fault-detection approach to conformance testing for deterministic systems is based on state identification by means of diagnosis sequences. This paper extends this approach to set identification for nondeterministic systems in which an action may reach more than one state. It presents a new scheme for testing and deriving diagnosis sequences in terms of both specified and unspecified actions of a nondeterministic labeled transition system. New definitions and derivation methods for generalized unique input/output sequences and distinguishing sequences for set identification are proposed. The methods preserve failure equivalence and require minimization of the set space with respect to set-observational equivalence. |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1006/jpdc.1995.1091 | J. Parallel Distrib. Comput. |
Keywords | Field | DocType |
conformance testing,nondeterministic system,fault-detection approach,fault detection,input output | Nondeterministic algorithm,Computer science,Fault detection and isolation,Algorithm,Input/output,Conformance testing,Equivalence (measure theory),Deterministic system,System identification,Deterministic system (philosophy) | Journal |
Volume | Issue | ISSN |
28 | 1 | Journal of Parallel and Distributed Computing |
Citations | PageRank | References |
4 | 0.53 | 7 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| To-Yat Cheung | 1 | 498 | 69.82 |
| Xinming Ye | 2 | 52 | 11.62 |