Automated test generation using model checking: an industrial evaluation

In software development, testers often focus on functional testing to validate implemented programs against their specifications. In safety-critical software development, testers are also required to show that tests exercise, or cover, the structure and logic of the implementation. To achieve differ...

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 18; no. 3; pp. 335 - 353
Main Authors:	Enoiu, Eduard P., Čaušević, Adnan, Ostrand, Thomas J., Weyuker, Elaine J., Sundmark, Daniel, Pettersson, Paul
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2016 Springer Nature B.V
Subjects:	automated software testing Automation Computer programs Computer Science Decisions function block diagram Ictss 2013 industrial study Logic model checking safety-critical software Software Software development Software Engineering Software Engineering/Programming and Operating Systems test generation Test methods Theory of Computation Software testing Model-based testing PLC Automated test generation Programmable Logic Controllers Model checking FBD Logic coverage safety-critical systems Structured Text Function Block Diagram IEC 1131-3
ISSN:	1433-2779, 1433-2787, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!