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ženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 18; číslo 3; s. 335 - 353
Hlavní autoři:	Enoiu, Eduard P., Čaušević, Adnan, Ostrand, Thomas J., Weyuker, Elaine J., Sundmark, Daniel, Pettersson, Paul
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2016 Springer Nature B.V
Témata:	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 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!