Unentdeckten Fehlern auf der Spur
Höhere Qualität und kürzere Entwicklungszeiten durch aktuelle Testwerkzeuge
In diesem Seminar zeigen wir Ihnen State-of-the-art-Testtools zur Vereinfachung der Testphase und Erhöhung der Softwarequalität.
Referenten:
Prof. Dr.-Ing. Daniel Fischer (Hochschule Offenburg)Roland Bär / Andreas Behr (Research and Development Verifysoft Technology)
Klaus Lambertz (Geschäftsführer Verifysoft Technology)
Folgende Themenbereiche werden behandelt:
Innere Qualität: Überwachung der Software-Erosion mit Metriken
Software-Metriken sind Kennwerte, um Software hinsichtlich Komplexität, Wartbarkeit und Fehleranfälligkeit zu bewerten. So empfiehlt die DIN EN 61508 die Erhebung von Software-Metriken für die Safety Integrity Level (SIL) 1-4.
Anhand von Praxisfällen zeigen wir, wie Sie die Komplexität Ihrer Software mit den Code Complexity Measurement Tools Testwell CMT++ und Testwell CMTJava bewerten, Schwachpunkte aufdecken und Software-Erosion vorbeugen.
Gezeigt wird ebenfalls das Software Diagnostics Studio. Dieses Tool der Potsdamer Firma Software Diagnostics visualisiert komplexe Softwaresysteme über virtuelle Software-Landschaften und -karten.
Messung der Testabdeckung beim Unittest
Die Messung der Testabdeckung (Test Coverage) ist unabdingbar um eine hohe Codequalität zu erreichen. Bei der Entwicklung von sicherheitskritischer Software ist der Nachweis der Testabdeckung durch Normen vorgeschrieben. Test Coverage Tools zeigen beim Unittest für welche Code-Abschnitte weitere Tests zum Erreichen der notwendigen Testabdeckung erforderlich sind.
Wir erläutern Ihnen die verschiedenen Code-Coverage-Stufen und zeigen Ihnen wie Sie diese mit Testwell CTC++ mit allen Compilern und allen embedded Targets analysieren.
Statische Codeanalyse (Vorgehensweise, Funktionsweise, exemplarische Beispiele)
Mit der statischen Codeanalyse wird ohne Schreiben von Testfällen auf einfachste Weise bereits im Vorfeld der durchzuführenden dynamischen Tests die Fehlerrate verringert, so dass sich der Ablauf des dynamischen Tests durch geringere Fehlerraten beschleunigt. Durch die statische Codeanalyse werden Laufzeitfehler vorab identifiziert, die während der dynamischen Codeanalyse nur schwer und nur durch intensivstes Testen gefunden werden.
Wir zeigen Ihnen die Grundlagen der statischen Codeanalyse sowie die Arbeitsweise von statischen Analysetools anhand von verschiedenen Code-Beispielen.
Von den Anforderungen zum Testfall mit automatischer Testfallgenerierung
Beim funktionalen Test wird das Verhalten einer Software bzw. eines Systems mit den Anforderungen verglichen. Somit werden Abweichungen von Soll- und Istverhalten aufgedeckt. Statt wie früher üblich Testfälle von Hand zu schreiben, ist es jetzt möglich die Anforderungen in einem grafischen Modell dazustellen und hieraus automatisch alle erforderlichen Testfälle und Testpläne generieren zu lassen.
Im Seminar sehen Sie, wie Sie mit der Conformiq Tool Suite Wettbewerbsvorteile durch bessere Tests bekommen. Durch automatisiertes Test-Design reduzieren Sie die Risiken und verbessern die Produktivität von Testteams.
Leistungen
Seminarunterlagen, Teilnahmebescheinigung, Getränke und Mittagessen
Bitte kontaktieren Sie Klaus Lambertz unter Telefon +49 781 6392 027 für weitere Informationen.
Weitere Seminare von Verifysoft 
