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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 18; H. 3; S. 335 - 353
Hauptverfasser:	Enoiu, Eduard P., Čaušević, Adnan, Ostrand, Thomas J., Weyuker, Elaine J., Sundmark, Daniel, Pettersson, Paul
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2016 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!