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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	International journal on software tools for technology transfer Ročník 18; číslo 3; s. 335 - 353
Hlavní autori:	Enoiu, Eduard P., Čaušević, Adnan, Ostrand, Thomas J., Weyuker, Elaine J., Sundmark, Daniel, Pettersson, Paul
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2016 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!