Načítá se...

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...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autoři: A. D. Ermakov, N. V. Yevtushenko
Médium: Artigo
Jazyk:Inglês
Vydáno: Yaroslavl State University 2016-12-01
Edice:Modelirovanie i Analiz Informacionnyh Sistem
Témata:
On-line přístup:https://www.mais-journal.ru/jour/article/view/410
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!