Browsing Masters Theses by Subject "Model Based Testing"
Now showing items 1-3 of 3
-
Incremental and Heuristic Algorithms for Deriving Adaptive Distinguishing Test Cases for Nondeterministic Finite State Machines
(2017-09)Many methods are proposed for the construction of distinguishing test cases (DTCs) based on a specification given in the form of a Finite State Machine (FSM). In FSM-based testing, we have a black-box FSM Implementation ... -
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
(2015-07)Automatic test derivation from formal specifications offers a rigorous discipline to functional conformance testing. In various application domains, such as communication protocols and other reactive systems, the specification ... -
Parallel Implementations for Eliminating Finite State Machine Mutants
(2017-05)In this thesis, the mutants’ elimination problem considered in finite state machine (FSM) based mutation testing, fault diagnosis, and in the assessment of the effectiveness of test suites is targeted. Given a test suite ...