Distinguishing transition systems with the nondeterministic behavior
Abstract:
In the synthesis of tests to verify functional and of non-functional requirements for components of distributed systems, the concept of distinguishability is of particular importance, since it should be possible to distinguish a correctly functioning component from a malfunctioning one, and with active testing, special distinguishing experiments are used for this. Such experiments are well studied for deterministic and fully defined automata, but the components of distributed systems are often described only partially and have non-deterministic behavior. In this work, we consider the model of an input-output semiautomatic device and introduce the concept of an (adaptive) dividing sequence for two such semiautomatic devices, with a single supply of which it is possible to unambiguously recognize which of the two semiautomatic devices is presented for the experiment.
