Tav: Treffen / Workshops: 17. und 18. 06.2004, Berlin
Thema: Testen von OSEK
Tagesordnung
Fehlerklassifikation:
- Wagner, Peter: Sensible Software Testing
Funktion:
- Spezifikationsfehler
- Widersprüchlichkeiten
- unscharfe Anforderungen / Mehrdeutigkeiten
- fehlende Anforderungen
- fehlerhafte Anforderungen
- Modellierungsfehler -> häufig im Zusammenhang von Wiederverwendung (Fehler in der Physik)
- Fehler bei der Bildung des physikalischen Modells
- Fehler über die Annahmen der Randbedingungen des Systems
- Logik-Fehler -> Fehler im funktionalen Verhalten
- Fehler in Berechnungen,
- Fehler im Kontrollfluss,
- Fehler im Datenfluss,
- Simulation, Review, Test,
- Interoperabilitätsprobleme
- Quantisierung/Wertdiskretisierung -> Integer-Code (wieviel Volt ist ein Bit, ist natütlich anders bei 16 Bit oder 8 Bit)
- Fehler sind schwer zu finden
- Bank2Index2 -> Fehler in Motorsteuerungen der auf fehlender
- Inkompatibilitäten zwischen verschiedenen Motorvarianten liegt
- Unterschiedliche Wertebereiche auf unterschiedlichen Plattformen
- Initialisierungsprobleme
- Erst-Initialisierung, Neu-Initialisierung, ...
- Initialisierung von verteilten Systemen, ...
- fehlende Intitialiserungen einzelner Variablen, ...
- Schedulingprobleme / Zeitdiskretisierung -> Fehler im zeitlichen Verhalten (Task-Laufzeiten zu lang/zu kurz)
- Schnittstellenfehler in der Software
- Protokollfehler
- Ressourcenineffizienz -> häufig bei unerfahrenen Entwicklern
- Speicher,
- Prozessorzeit,
- Daten, ...
- kann relativ schnell in der Integration aufgedeckt werden
- Fehler in der Konfiguration
- Robustheitsfehler
- Mangelhafte Dokumentation:
- Funktionserklärung -> mangelhafte Dokumentation der Funktion der Funktion
- Kommentare
- Richtlinienverletzungen
- Modellierungsrichtlinien -> Verletzung von Modellierungsrichtlinien
- z.B. für Matlab/Simulink und UML (Modellierungs-Pattern, Konsistenzchecks Style Checker)
- Codierrichtlinien -> Verletzung von Codierrichtlinien
- Standards
- Mangelhafte Wartbarkeit