|
|||||
|
|
On conformance testing of non-deterministic systems |
|
| Abstract: | Conformance testing aims at checking if an implementation conforms to its specification. This paper presents the definition of distinguishing sequences of non-deterministic systems. It pro-poses a novel algorithm for derivation of distinguishing sequences in a reduced system based on an observational equivalence. It extends the previous method [2] for dynamic testing of deterministic finite state machines for testing non-deterministic labeled transition systems. |
| Keywords: | Conformance testing Labeled transition system Non-determinacy Observational equivalence Distinguishing sequence of a set Test sequence tree Test path selection |