Ein wichtiger Erfolgsfaktor bildete dabei die Akzeptanz durch die Entwickler. Mit der fortlaufenden Ermittlung von Defekten, die sich beim regulären Testen und Prüfen des Codes nur schwer erkennen lassen, und der extrem niedrigen False-Positiv-Rate von unter 10 Prozent bietet Coverity den Frequentis-Entwicklern ein engmaschiges Sicherheitsnetz und steigert zugleich deren Effizienz.
Frequentis baute Coverity zudem in den Audit-Prozess ein, um die Konformität mit eigenen und offiziellen Sicherheits- und Qualitätsstandards wie IEEE12207, IEC 61508 und ISO9000 nachzuweisen. Den internen Kunden müssen mit jedem Produktrelease Coverity-Berichte vorgelegt werden, in denen die Anzahl der erkannten und behobenen Defekte sowie Kennziffern zur Verfolgung des Defektstatus im Vergleich zur Anzahl der zulässigen Fehler aufgelistet sind. Hierdurch haben die Entwicklungsteams objektive Kennziffern und ein quantifizierbares Ziel für die Sicherung der Produktqualität und -sicherheit. Desweiteren wird das Vertrauen und die Zufriedenheit der Kunden von Frequentis erhöht.
"Weil unsere Produkte in sicherheitskritischen Bereichen zum Einsatz kommen, ist Frequentis der Einhaltung höchster Sicherheits- und Qualitätsstandards verpflichtet", erklärt Andreas Gerstinger, bei Frequentis zuständig für Softwarequalität und Softwaresicherheit. "Coverity bildet jetzt einen weiteren wichtigen Baustein unseres Qualitätssicherungsprozesses. Die statische Analyse von Coverity findet Softwaredefekte, die im Rahmen der Tests und der manuellen Prüfung von Code nur schwer oder gar nicht zu finden sind. Sie ergänzt unsere bestehenden Prozesse und Tools auf hervorragende Weise und steigert darüber hinaus unsere Produktivität, weil die Lösung in unserem gesamten Entwicklungsbereich hohe Akzeptanz genießt."
Frequentis ist weltweiter Marktführer im Bereich Kommunikations- und Informationslösungen für sicherheitskritische Anwendungen. Die Produkte, Dienstleistungen und Lösungen von Frequentis werden weltweit in über 80 Ländern an Kunden in den Bereichen Flugsicherung, Wehrtechnik, öffentliche Sicherheit, öffentlicher Nahverkehr und Schifffahrt vertrieben. Angesichts strenger Sicherheits- und Qualitätsstandards, wollte Frequentis seinen bereits stark reglementierten Produktentwicklungszyklus um eine weitere Stufe der Qualitätssicherung ergänzen.
Coverity Static Analysis ist die führende Lösung für die statische Analyse. Sie nutzt hoch entwickelte Analysetechniken, die die Ermittlung und Beseitigung schwer aufzufindender Programmdefekte schon früh im Entwicklungsprozeß erlauben. Die statische Analyselösung prüft automatisch und ohne änderungen am Code oder Build-System komplexe heterogene Codebasen in C/C++, Java und C#. Seine intuitive Benutzeroberfläche erleichtert Entwicklern das schnelle Auffinden von Defekten, die Konzentration auf Defekte mit hoher Priorität und die Verkürzung der Behebungszeit durch ausgefeilte Ermittlung der Dringlichkeitsreihenfolge. Das erhöht die Produktivität und senkt die Gefahr teurer Qualitätsmängel im Endprodukt.
Lesen Sie die ![[PDF]](icon-pdf-15x16.gif) komplette Fallstudie
Weitere Informationen zu Coverity.
last updated: 21.07.2010
© 2010 Coverity Inc., San Francisco / Verifysoft Technology GmbH
Coverity Static Analysis, Coverity Prevent, coverity Extend, Coverity Architecture Analyzer for C/C++ and Coverity Architecture Analyzer for Java are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners. |
