Automatic test case generation for structural testing of function block diagrams

•Our previous study designed a new test coverage criterion, FPCC, for testing FBDs.•We design an automatic test suite case generator, FPCCTestGen, for FPCC.•A model checker, UPPAAL, is used in the automation.•FPCCTestGen can achieve the highest FPCC with a near optimal number of test cases.•The meth...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Information and software technology Ročník 56; číslo 10; s. 1360 - 1376
Hlavní autoři:	Wu, Yi-Chen, Fan, Chin-Feng
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 01.10.2014 Elsevier Science Ltd
Témata:	Automatic test case generation Automation Diagrams Effectiveness studies FBD FPCC FPCCTestGen Product testing Software engineering Software packages Test coverage criteria Testing Automatic test case generation FBD FPCC Test coverage criteria FPCCTestGen
ISSN:	0950-5849, 1873-6025
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!