Deriving tests with guaranteed fault coverage for finite state machines with timeouts A. Tvardovskii, K. El-Fakih, N. V. Yevtushenko
Material type:
ArticleContent type: Текст Media type: электронный Subject(s): тестирование на соответствие | конечные автоматыGenre/Form: статьи в сборниках Online resources: Click here to access online
In:
Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedings P. 149-154Abstract: In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivation for initialized deterministic FSMs with timeouts based on an appropriate FSM abstraction of the timed FSM specification. We also show how the same approach can be used for deriving tests for FSMs with both time guards and timeouts.
Библиогр.: 9 назв.
In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivation for initialized deterministic FSMs with timeouts based on an appropriate FSM abstraction of the timed FSM specification. We also show how the same approach can be used for deriving tests for FSMs with both time guards and timeouts.
There are no comments on this title.