Testen von C-Code mit Polyspace Test

Tag 1 von 2

Erstellen grafischer Tests

Ziel: Vertraut werden mit der Umgebung von Polyspace Plattform. Verfassen und ausführen einfacher grafischer Tests.

• Erstellen eines Polyspace-Projekts
• Konfigurieren der Testumgebung
• Erstellen einfacher grafischer Tests
• Verstehen der generierten Artifakte
• Generieren von Test-Reports

Umgang mit komplexen Daten

Ziel: Erstellen grafischer Tests für Code mit verschiedenen Datenformaten und Scopes.

• Auswertung von Gleitkomma-Werten
• Initialisieren und Auswerten globaler Variablen
• Initialisieren und Auswerten von Pointern
• Initialisieren und Auswerten von Strukturen
• Initialisieren und Auswerten von Arrays

Erstellen komplexer Tests

Ziel: Erstellen von Test mit mehreren Funktionsaufrufen. Ausführen von Parameterstudien.

• Erstellen mehrstufiger Tests
• Erstellen parametrisierter Tests
• Erstellen von Test-Skripten

Profiling, Abdeckung und Testerzeugung

Ziel: Durchführen von Tests mit Instrumentierung für mehrere Levels der Codeabdeckung, Profiling der Laufzeit und Stack-Profiling

• Messen der Codeabdeckung
• Generieren von Tests für fehlende Codeabdeckung
• Profiling des Laufzeitverhaltens
• Profiling der Speicherauslastung
• Automatisieren von Codeabdeckung und Profiling von der Befehlszeile

Tag 2 von 2

Verwenden von Stubs und Mocks

Ziel: Hinzufügen von Stubs für aufgerufene Funktionen ohne Implementierung. Schreiben von Mocks für aufgerufene Funktionen, die beim Testen ersetzt werden müssen.

• Überblick über Stubs und Mocks
• Stubbing von nicht definierten globalen Variablen
• Stubbing nicht definierter Funktionen
• Mocking definierter Funktionen
• Verwenden von Mock-Variablen

Erstellen von Tests mit xUnit C API

Ziel: Vertraut werden mit einfachen Tests in der xUnit C API. Kompilieren und direktes Ausführen von Tests mit einer externen Toolchain.

• Überblick über xUnit C API
• Erstellen, Ausführen und Überprüfen von xUnit-basierten Tests
• Verwenden von Bewertungs-Makros
• Exportieren der Testergebnisse
• Importieren von xUnit-Tests in Polyspace-Projekte

Erstellen komplexer Tests mit xUnit C API

Ziel: Erstellen von Tests, die als Suiten zusammengefasst sind, Parameterstudien und Tests für benutzerdefinierte Datentypen mit der xUnit C API.

• Konfigurieren von Test-Suiten
• Erstellen parametrisierter Tests
• Vergleichen von benutzerdefinierten Datentyp-Objekten
• Messen der Codeabdeckung
• Messen der Laufzeit und Speicherauslastung

Ausführen von Tests auf dem Zielsystem

Ziel: Cross-Kompilieren und Ausführen von Testfällen auf externen Zielsystemen sowie Profiling der Leistung und Codeabdeckung.

• Überblick über das Testen auf Zielsystemen
• Registrieren von Zielen
• Ausführen von Tests auf dem Zielsystem
• Profiling auf dem Zielsystem