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.
DESIGN ELEKTRONIK 03 2023 20 www designelektronik de Software Testmethoden Wenn Embedded-Entwickler ihre Software testen sind stets mehrere Kräfte am Werk Die beständig zunehmende Komplexität der Systeme getrieben von den Forderungen nach mehr Rechenleistung und umfangreicherer Konnektivität sowie nach mehr Safety und Security macht es für Entwickler immer schwerer ihren Code anhand der Lastenhefte zu validieren Wenn zusätzlich die Release-Zeiträume immer kürzer werden haben es die Testteams außerdem schwer traditionelle Testmethoden an die höhere Komplexität und den gestiegenen Umfang anzupassen Es ist somit notwendig ganz neu an das Testen heranzugehen und zum Beispiel auf den mathematischen Nachweis der Korrektheit des Codes zu setzen um das Vertrauen in eine Applikation entscheidend zu steigern Die Lücke zwischen den Zielvorgaben heutiger Produkte und den Möglichkeiten traditioneller Testmethoden wird besser deutlich wenn der Einfluss der Komplexität auf das Testen betrachtet wird ■ ■ Abdeckung – je komplexer die Software wird umso schwieriger wird das Erstellen von Tests die einen hinreichend großen Teil Bild Mih a Cr ea tiv e st oc k ad ob e co m Durch mathematisch nachgewiesene Korrektheit des Codes sowie durch Hardware Awareness lässt sich in Systemen in denen es auf Safety und Security ankommt eine 100-prozentige Codeabdeckung und eine Fehlerquote von null erreichen Von Dr Benjamin Monate Mitgründer und CTO von TrustInSoft Gründliche statische Analyse verbessert Genauigkeit und Resultate