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

Full description

Saved in:

Bibliographic Details
Published in:	Information and software technology Vol. 56; no. 10; pp. 1360 - 1376
Main Authors:	Wu, Yi-Chen, Fan, Chin-Feng
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 01.10.2014 Elsevier Science Ltd
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!