Suchen

Gesunde Software dank Analysetools

| Redakteur: Peter Reinhardt

Firma zum Thema

Einkaufsführer 2009 Update: Software: In der Medizintechnik eingesetzte Software muss fehlerfrei laufen. Mit modernen Werkzeugen der statischen Analyse, beispielsweise mit der Software Prevent von Coverity,: lassen sich Kosten und Schäden vermeiden. Das Programm findet Fehler wie Pufferüberläufe, Uninitialized Variables, Speicherlecks oder Null-Pointer References schon früh im Entwicklungszyklus.

Die Überprüfung der meist riesigen Codemengen nach Defekten in medizinischen Geräten ist äußerst schwierig und wird mit der Zusammenlegung der Daten in Netzwerken noch komplexer. Dies hat auch die US-amerikanische FDA erkannt und empfiehlt Geräteherstellern neben einer gründlichen Überprüfung und Validierung der Software den Einsatz statischer Analysetools. Da diese Form der Analyse jeden möglichen Pfad der Software evaluiert, findet sie Fehler zu einem Zeitpunkt, zu dem sie noch kostengünstig zu beheben sind.

Mit Prevent kann man Codebasen in C-/C++-/C#- und Java-Umgebungen automatisch überprüfen. Das Tool ist in die bestehende Umgebung integrierbar, ohne dass dazu der Code, die Entwicklungsumgebung oder der Entwicklungsprozess unterbrochen werden müssen. Zuerst wird mit dem patentierten Software DNA Map Analysesystem der Quellcode und die Entwicklungsumgebung bis hin zu den Links präzise dargestellt. Im zweiten Schritt folgt die detaillierte Analyse und Identifizierung von Fehlern – hier kommen die Path Simulation Engine und die Boolean Satisfiability Engine zum Einsatz, deren Solver und unabhängige Checker individuell eingerichtet werden können.

Die damit gefundenen Fehler werden schließlich im letzten Schritt automatisch ausgewählten Entwicklern zugeordnet, die für deren Behebung verantwortlich zeichnen. Dazu erfolgt eine genaue Darstellung der Codebasis mit Pfaden und Ereignissen. Prevent erzielt eine niedrige „False Positive“ Rate bei schnellem Durchsatz und lässt sich leicht konfigurieren.

Kontakt::

Coverity Germany D-80335 München www.coverity.com