Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional requirements for software implementations. However, the fault coverage of tests covering appropriate paths, variables, etc. of the specification EFSM, remains rather obscure and such tests do not detect...

Full description

Bibliographic Details
Main Authors: A. D. Ermakov, N. V. Yevtushenko
Format: Article
Language:English
Published: Yaroslavl State University 2016-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
mutation testing
extended finite state machine (efsm)
finite automata
µjava
Online Access:https://www.mais-journal.ru/jour/article/view/410

Internet

https://www.mais-journal.ru/jour/article/view/410

Similar Items