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

C.R. Categories::

• C.2.2
• D.2.5