Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Kormann, Benjamin ; Witsch, Daniel ; Vogel-Heuser, Birgit 
Titel:
Automatische Testfallgenerierung mittels Model-Checking für Steuerungsprogramme 
Abstract:
Die Qualität der Steuerungssoftware hat einen entscheidenden Einfluss auf die Zuverlässigkeit und Sicherheit von Maschinen und Anlagen. Durch den Einsatz systematischer Tests kann die Qualität von Steuerungssoftware validiert und entscheidend gesteigert werden. In der Informatik wurden dazu Testfallgenerierungsmethoden auf Basis formaler Modelle (Model-Checking) entwickelt, die eine skalierbare Testabdeckung und einen hohen Automatisierungsgrad ermöglichen. In diesem Beitrag wird die Generierung...    »
 
Kongress- / Buchtitel:
Automation 2010, VDI/VDE-Berichte 2092 
Verlagsort:
Baden-Baden, Deutschland 
Jahr:
2010 
Seiten:
473-476 
Versionen