(openPR) Coverity, führend bei der automatischen Optimierung von Softwarequalität und -sicherheit in C/C++ und Java, kündigt neue Fehlererkennungsfähigkeiten für Symbian C++ Software für seine Prevent SQS Lösung an. Mit diesen können Entwickler, die auf das Betriebssystem von Symbian setzen, während der Software-Entwickung auftretende Codefehler automatisch aufdecken. Das Betriebssystem von Symbian ist das marktführende Betriebssystem für hochentwickelte, Daten-fähige Mobiltelefonie bzw. Smartphones.
Die neuen Symbian C++ Fehlererkennungstools sollen im Frühjahr 2008 für Coverity Prevent SQS-Kunden verfügbar sein.
Die hoch akkurate Darstellungsweise eines Softwaresystems bzw. der Software DNA Map von Coverity ermöglicht die automatische Identifizierung von komplexen Defekten im Quellcode – mit bisher unerreichter Präzision und Genauigkeit. Indem die neue Symbian C++ Fehlererkennung auf die bewährte Fähigkeit von Coverity Prevent SQS bei C++ und Java aufsetzt, kann sie eine höhere Anzahl an Defekten identifizieren, die bei der Codeentwicklung für das Symbian OS auftreten können.
„Mit der Fehlererkennung für Symbian C++ wird Prevent SQS die genaueste derzeit verfügbare statische Analyse von Symbian Code liefern“, erläutert Seth Hallem, CEO von Coverity. „Dank dieser neuen Fähigkeiten von Prevent SQS können sich die Entwickler voll auf die Entwicklung im Symbian Betriebssystem konzentrieren, anstelle der Identifizierung und dem Handling von Codefehlern.“
Symbian setzt bei der statischen Codeanalyse für seine internen Entwicklungsteams seit 2005 auf Coverity Prevent SQS. Die Professional Services von Coverity werden mit den Symbian C++ Entwicklern eng zusammenarbeiten, um optimale Verfahren zur Wahrung der Codequalität und –sicherheit zu implementieren. Zusätzlich wird Coverity den Qualitätscode für Symbian über sein „Coverity Certified Program“ zertifizieren. Für die Erlangung des Gütesiegels „Coverity Certified“ müssen der Quellcode eines Produkts sowie dessen Entwicklungsprozess eine umfassende, von Coverity-Fachleuten durchgeführte Analyse durchlaufen.
„Coverity Certified“ Unternehmen verfügen über den höchsten Standard bei Software-Qualität und –Sicherheit.
# # #
Coverity Inc., Jim Shissler, Director Public Relations; Tel: +1 (0) 415 694 5342,
Symbian Ltd., Laura Skykes, Tel: +44 (0)207 154 1542,
; Thibaut Rouffineau, 
Agentur Lorenzoni GmbH, Public Relations, Beate Lorenzoni, Landshuter Straße 24, 85435 Erding b. München; Tel.: +49 (0) 8122 / 55917-22,
Über Coverity Prevent SQS:
Coverity Prevent SQS sämtliche Pfade in C, C++ und Java-Softwareprojekten. Die einzigartige Kombination aus Analyse-Engines basierend auf Datenfluss und Boolean Satisfiability analysiert zudem Software-Abhängigkeiten, wichtige Bibliotheken von Drittanbietern und Projekte, an denen mehrere Entwicklungsgruppen gemeinschaftlich arbeiten. Die niedrige Quote an falsch positiven Ergebnissen, die Fähigkeit, kritische und unbedingt zu behebende Fehler aufzudecken sowie die Werkzeuge zur Behebung der Defekte erleichtern den Entwicklern ihre Arbeit und erweitern ihre Möglichkeiten zum Finden und Beheben von Defekten in erheblichem Maß.
Coverity Prevent SQS ist ab sofort verfügbar, der Preis richtet sich nach Projektumfang.
