Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage
Nowadays, the behaviour of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation methods to timed models. In this paper, we propose a method for deriving conformance tests with t...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2017-08-01
|
Series: | Modelirovanie i Analiz Informacionnyh Sistem |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/537 |