Code Coverage / Test Coverage
Code Coverage / Test Coverage in anderen Sprachen:
Code Coverage / Test Coverage zeigt die durch Tests abgedeckten Teile des Quellcodes an.
Die Test Coverage (Testabdeckung) wird während der Testausführung gemessen. Test Coverage Tools fügen der zu testenden Software vor der Testausführung "Zähler" ein. Bei der späteren Ausführung der Software werden die durchlaufenenen Codeteile als getestet gekennzeichnet. Je nach Analysetiefe unterscheidet man verschiedene Testabdeckungsstufen. Die meisten Testabdeckungstools liefern lediglich oberflächliche Coverage-Metriken (wie Statement- und Branch-Coverage). mehr erfahren
Einige denken, sie haben gute Requirements und Tests, nur um später bei der Coverage Analyse herauszufinden, dass diese "großartigen" Tests nur 60% des Codes abdecken.
Offensichtlich hatten sie schwache Requirements oder aber schwache Tests von Requirements oder viel wahrscheinlicher: BEIDES.
Code Coverage ist ein Aha-Erlebnis. Offen gesagt, auch nicht sicherheitskritische Bereiche sollten eine strukturierte Coverage durchführen.
Nicht um 100% zu erlangen, keineswegs: sondern eher um sicherzugehen, dass sie zumindest 75% abdecken um damit zu bekräftigen,
dass sie gute Requirements und Tests dieser Requirements machen."
Vance Hilderman, Technischer Leiter, AFuzion Inc. / Autor der Bücher "Avionics Certification" und "The Avionics Development Ecosystem"
Testwell CTC++ ist ein leistungsfähiges Test Coverage Tool, welches alle möglichen Testabdeckungsstufen zeigt (jeweils deutscher und englischer Begriff):
- Funktionsüberdeckung / Function Coverage
- Anweisungsüberdeckung / Statement Coverage
- Entscheidungsüberdeckung / Decision Coverage
- Zweigüberdeckung / Condition bzw. Branch Coverage
- Modifizierter Bedingungs-/Entscheidungsüberdeckungstest / Modified Condition/Decision Coverage (MC/DC)
- Mehrfach-Bedingungsüberdeckungstest / Multiple Condition Coverage (MCC)
Testwell CTC++ arbeitet mit allen Embedded Targets und allen Compilern zusammen!
Das Werkzeug unterstützt als einziges Tool alle Coverage-Stufen für C, C++, Java und C#.
Papers:
Grundlagen der Code Coverage MessungVideos auf deutsch:
Grundlagen der Code Coverage Messung (103)Code-Coverage-Stufen (104)
MC/DC und Multicondition Coverage (105)
Auswahlkriterien für Code Coverage Tools (106)
Source Code vs. Binär Code Instrumentierung (107).
Testwell CTC++-Qualification-Kit für DO-178C, EN-50128, IEC 61508 und ISO 26262
Verifysoft bietet ein Qualification-Kit für Testwell CTC++ an. Das Qualification-Kit vereinfacht die Zertifizierung von Embedded Software, deren Testabdeckung mit Testwell CTC++ analysiert wird. Das Kit für Testwell CTC++ enthält Dokumentationen, Testfälle und Prozeduren, welche die Qualifizierung des Werkzeugs in sicherheitskritischen Projekten unterstützen. > weitere Infos
Verifysoft bietet ein Qualification-Kit für Testwell CTC++ an. Das Qualification-Kit vereinfacht die Zertifizierung von Embedded Software, deren Testabdeckung mit Testwell CTC++ analysiert wird. Das Kit für Testwell CTC++ enthält Dokumentationen, Testfälle und Prozeduren, welche die Qualifizierung des Werkzeugs in sicherheitskritischen Projekten unterstützen. > weitere Infos
