Loading...
Please wait, while we are loading the content...
Similar Documents
Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine
| Content Provider | CiteSeerX |
|---|---|
| Author | Hierons, R. M. |
| Abstract | This paper considers the problem of testing a deterministic system against a non-deterministic finite state machine. An adaptive test process, with two phases, is proposed. The paper focuses on the first stage which involves testing to generate a candidate deterministic finite state machine. This candidate has the property that, under the test hypotheses used, the implementation is correct if and only if it is equivalent to the candidate. A test may then be derived from the candidate. |
| File Format | |
| Journal | The Computer Journal |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Non-deterministic Finite-state Machine Deterministic Implementation Test Hypothesis Deterministic System First Stage Candidate Deterministic Finite State Machine Adaptive Test Process Non-deterministic Finite State Machine |
| Content Type | Text |
| Resource Type | Article |
