Comprehensive analysis of FBD test coverage criteria using mutants

Function block diagram (FBD), a graphical modeling language for programmable logic controllers, has been widely used to implement safety critical system software such as nuclear reactor protection systems. With the growing importance of structural testing for FBD models, structural test coverage cri...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Software and systems modeling Ročník 15; číslo 3; s. 631 - 645
Hlavní autoři:	Shin, Donghwan, Jee, Eunkyoung, Bae, Doo-Hwan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.07.2016 Springer Nature B.V
Témata:	Compilers Computer programs Computer Science Constants Criteria Fault detection Faults Information Systems Applications (incl.Internet) Interpreters IT in Business Programming Languages Programming Techniques Protection systems Regular Paper Safety critical Software Software Engineering Software Engineering/Programming and Operating Systems Test coverage criteria FBD model-based testing Mutation analysis
ISSN:	1619-1366, 1619-1374
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!