Coverity, Inc., führender Anbieter von Werkzeugen für die Optimierung der Qualität und Sicherheit von Software, gab heute die sofortige Verfügbarkeit von Coverity Prevent SQS (Software Quality System) bekannt. Dabei handelt es sich um die erste automatisierte Lösung, die kritische Defekte in C-, C++- und Java-Quellcode ermittelt und beseitigt.

Die technische Basis für Prevent SQS bildet „Software DNA Mapping“ – eine als Patent angemeldete Coverity-Technologie, die schnelle und präzise Defektprüfungen in allen Pfaden eines beliebigen Code-Teils ermöglicht. Diese einzigartige Software-Mapping-Technologie lässt die Anzahl der in Java-, C- und C++-Softwareprojekten ermittelten Defekte um 30 Prozent steigen.

„Ein Mapping des kompletten Quellcodes in einer Anwendung ist für das Auffinden und Beseitigen der kritischsten Fehler von entscheidender Bedeutung. Die Coverity-Technologie ist ein entscheidender Schritt in diese Richtung“, erläutert Theresa Lanowitz, Gründerin und CEO von Voke, einem Unternehmen, das sich auf die Analyse von Lifecycle-Fragen bei Softwareanwendungen spezialisiert hat. „In der Praxis reicht es nicht mehr, einfach nur Defekte im Quellcode zu ermitteln. Mit Coverity Prevent SQS lassen sich Softwaredefekte finden, verwalten und beheben – und dies erheblich schneller als mit herkömmlichen Verfahren. Diese Geschwindigkeitsvorteile schlagen sich in größerer Kundenzufriedenheit und kürzerer Markteinführungszeit nieder.“

Coverity Prevent SQS ist das Ergebnis der Analyse von 1 Milliarde Zeilen Quellcode und der Zusammenarbeit mit mehr als 200 Softwareentwicklungsfirmen. Während der Entwicklung von Prevent SQS kooperierte Coverity mit Softwareteams, deren Ziel es war, bei komplexen Projekten, an denen mehrere Gruppen an verschiedenen Standorten auf der Welt arbeiteten, die Qualität des Codes zu gewährleisten. In nahezu allen Fällen waren die Herausforderungen bei der automatischen Erkennung von Defekten und deren effizienten Beseitigung dieselben: Build-Systeme sind Momentaufnahmen und heterogen; von größter Bedeutung ist es, automatisch zu erkennen, wie aus Quelldateien eine lauffähige Software wird; die Betrachtung einer Quellcodedatei isoliert von den anderen Quelldateien im letztendlich ausgeführten Programm ist wenig sinnvoll; und Defekte im Quellcode reparieren sich einfach nicht von selbst.

Coverity (www.coverity.com), Marktführer bei der Optimierung der Qualität und Sicherheit von Software, ist ein nicht börsennotiertes Unternehmen mit Stammsitz in San Francisco. Die bahnbrechende Coverity-Technologie vereinfacht das Erstellen komplexer Software, indem Sie kritische Softwaredefekte und Sicherheitslecks schon während des Schreibens erkennt und bei deren Beseitigung hilft. Mehr als 200 führende Unternehmen setzen auf Coverity, weil die Technologie die Überprüfung von Millionen von Zeilen Code ermöglicht, die niedrigste Quote an falsch positiven Ergebnissen aufweist und garantiert alle Softwarepfade prüft. Firmen wie Juniper Networks, Symantec/VERITAS, McAfee, Synopsys, NASA, Palm und Wind River eliminieren mit den Werkzeugen von Coverity Sicherheitslücken und Qualitätsmängel in einsatzkritischem Code.

Website