Browsing Masters Theses by Subject "Conformance Testing"
Now showing items 1-2 of 2
-
Efficient Algorithms for Constructing Preset Distinguishing Sequences for Nondeterministic Finite State Machines
(2016-06)Derivation of input sequences for distinguishing states of a finite state machine (FSM) specification is well studied in the context of FSM-based functional testing. We present three heuristics for the derivation of ... -
Parallel Algorithms for Distinguishing Nondeterministic Finite State Machines
(2015-02)Many methods are used for the development of experiments and conformance tests based on the specification given in the form Finite State Machines (FSMs). In FSM-based testing, we have an FSM or a black-box Implementation ...