Coverity gewinnt Embedded World Award

(openPR) EMBEDDED WORLD/Nürnberg, 6. März 2009 – Coverity, Inc., Spezialist für Softwarequalität und –sicherheit, hat den angesehenen Embedded World Award in der Kategorie Software erhalten. Damit zeichnet die Jury die Integrity Suite des amerikanischen Unternehmens aus, dessen Herzstück die Lösung Coverity Prevent bildet. Besonders lobten die Juroren die Effizienz und Genauigkeit des Analysewerkzeuges: Mit Prevent können Entwickler Millionen Codelines in wenigen Stunden prüfen und sicher sein, dass bei 100%iger Pfadabdeckung die Rate der False Positives äußerst gering ist. Zu verdanken ist dies der bit-akkuraten Software-Repräsentation durch das Software DNA Map Analysesystem sowie dem innovativen Einsatz der Boolean Satisfiability durch SAT Solver auf Ebene des Quellcodes. Diese prüfen unter anderem, ob sich Fehler im Code tatsächlich negativ auf den späteren Betrieb der Software auswirken.

„Wir sind sehr stolz auf diese namhafte und anerkannte Auszeichnung durch das Fachgremium und den Organisationsausschuss der Embedded World“, freut sich Ben Chelf, Mitbegründer und CTO von Coverity. „Im Namen unserer Mitarbeiter und unseres wachsenden Kundenstammes mit weltweit über 500 Kunden danken wir den Veranstaltern der Embedded World für die Anerkennung unserer Anstrengungen, Qualität und Sicherheit von Embedded Software zu steigern.“

Angesichts des großen Erfolgs in der Hardware-Entwicklung ist die Einführung von SAT in die Software-Analyse durch Coverity von größerer Bedeutung als frühere Verbesserungen in der statischen Analyse. Der Einsatz von SAT Solvern ist eine ausgereifte, hoch entwickelte Technologie, die von jahrzehntelangen Optimierungen durch Unternehmen aus der Hardware-Industrie profitiert. Coveritys zum Patent angemeldeter Einsatz dieser Technologie bildet die Grundlage für eine neue Generation der statischen Analyse, dank der man durch zwei komplementäre Analysetechniken - SAT und Pfadsimulation - unerreicht genaue Ergebnisse erzielen kann.