Der Blätterkatalog benötigt Javascript.
Bitte aktivieren Sie Javascript in Ihren Browser-Einstellungen.
The Blätterkatalog requires Javascript.
Please activate Javascript in your browser settings.
EmbEddEd TEchnology 25 2021 Elektronik 17 Testfall benötigt wird Tabelle 2 Ein Test unter Berücksichtigung des zuvor fehlenden 9 Testfalls ergab dann die geforderte Testabdeckung von 100 % Nach dem erfolgreichen Abschluss der Integrationstests gingen die Waschmaschinen schließlich in Produktion Einige Zeit nach der Auslieferung kam es jedoch zu Reklamationen bei einigen Maschinen war das Waschergebnis unzureichend da der Hauptwaschgang bereits nach kurzer Zeit beendet war Es wurden auch Fälle berichtet bei denen die Maschinen die Hauptwäsche auf mehrere Stunden ausgedehnt hatten Zuverlässig nachstellen ließ sich das Verhalten nicht Die Reklamationen waren allerdings auf einen bestimmten Maschinentyp der Produktreihe beschränkt sodass die Möglichkeit eines Softwarefehlers in Betracht gezogen und eine statische Codeanalyse durchgeführt wurde Bei der statischen Codeanalyse fiel auf dass die Vorgabe bei allen Maschinentypen ab dem Modell Nr 12 den Verschmutzungssensor abzufragen und alle Modelle darunter mit einem konstanten Verschmutzungswert arbeiten zu lassen fehlerhaft umgesetzt wurde Listing 3 Für das Modell Nr 12 bleibt die Variable » y « in der Funktion » getStaining-Level « uninitialisiert und übergibt damit einen unbestimmten Wert für den Verschmutzungsgrad Da während der Modultests der Wert nicht auffällig war blieb dieser schwerwiegende Fehler unentdeckt Bild 2 Das Ergebnis der statischen Quellcodeanalyse Bild 3 zeigt dass der Fehler des nicht erreichbaren Codeabschnitts mit statischer Codeanalyse bereits zur Implementierungszeit hätte aufgedeckt werden können Beide Fehler konnten nur durch die Kombination von statischer und dynamischer Analyse aufgedeckt werden Statische Codeanalyse und dynamische Tests kombiniert mit der Messung der Code-Coverage müssen komplementär eingesetzt werden um möglichst viele Fehler ausschließen zu können Die statische Codeanalyse kann dabei bereits früh im Entwicklungsprozess eingesetzt werden und somit hohe Kosten Listing 3 Ermittlung des Verschmutzungsgrads in Abhängigkeit vom Typ der Wachmaschine product version Quelle Verifysoft size t getStainingLevel size t product version { size t y if product version < 12 { products w o staining sensor y 3 } else if product version > 12 { products with staining sensor y readStainingSensor } return y } www emlix com Yocto Engineering z Kernel-Anpassungen z Custom BSP Meta Layer z Integration Third Party Layer z Security Monitoring z Yocto Updates emlix EK25 60x128 pdf S 1 Format 60 00 x 128 00 mm 16 Nov 2021 11 36 13 Bild 3 Mit der statischen Codeanalyse lässt sich nicht erreichbarer Code finden Bild Verifysoft Royd lüdtke leitet bei Verifysoft Technology den Bereich Pre-Sales und Support für Statische Codeanalysetools Er hat umfangreiche Erfahrung als Applikationsingenieur und Berater hält mehrere Patente und ist Autor von Veröffentlichungen im IT-Bereich luedtke@verifysoft com einsparen Richtig eingesetzt bieten Tools zur statischen und dynamischen Codeanalyse erhebliches Potenzial zur Kosteneinsparung und zur Steigerung der Produktivität hs