SAN FRANCISCO, October 17 /PRNewswire/ --

- Die Codeanalyse von Symbian C++ durch Coverity Prevent SQS wird die Entwicklung von Symbian OS beschleunigen

Coverity, Inc., führender Anbieter von Programmen zur automatischen Verbesserung der Qualität und Sicherheit von in C/C++ und Java geschriebener Software, gab heute die Absicht bekannt, in seine Coverity-Prevent-SQS-Lösung eine neue Softwarefehlererkennung für Symbian C++ zu integrieren. Coverity Prevent SQS ist die führende Lösung zur statischen Quellcode-Analyse und wird Quellcode-Fehler bei der Entwicklung des Betriebssystems Symbian OS automatisch erkennen. Symbian OS ist das marktführende Betriebssystem für hochentwickelte, datenfähige Mobiltelefone, die auch als Smartphone bezeichnet werden.

Coveritys hochpräzise Darstellung eines Softwaresystems bzw. die Software-DNA-Map ermöglicht es, komplexe Fehler im Quellcode automatisch und mit unvergleichlicher Genauigkeit und Treffsicherheit zu identifizieren. Im Rahmen der heutigen Ankündigung wird Coverity neue Quellcode-Analysemöglichkeiten speziell für das Betriebssystem Symbian OS entwickeln.

Die neue Symbian C++ Fehlererkennung baut auf den bewährten Möglichkeiten von Coverity Prevent SQS auf, Fehler in C/C++ und Java präzise zu erkennen und wird eine noch grössere Zahl von Fehlern identifizieren, die in dem für Symbian OS entwickeltem Quellcode auftauchen können.

"Mit der Fehlererkennung für Symbian C++ wird Prevent SQS die bisher genaueste statische Analyse des Symbian-Codes ermöglichen", sagte Seth Hallem, CEO von Coverity. "Dank dieser neuen Möglichkeiten von Prevent SQS wird sich der Entwickler stärker auf die Entwicklung von Symbian OS selbst konzentrieren können und muss sich nicht mehr so intensiv mit der Identifizierung und Behandlung von Fehlern im Code beschäftigen."

Symbian hatte sich im Jahre 2005 für seine internen Entwicklungsteams für die statische Codeanalyse von Coverity Prevent SQS entschieden. Die professionellen Dienste von Coverity werden mit allen Symbian C++ Entwicklern in der Branche zusammenarbeiten, um optimale Verfahren zur Sicherstellung der Quellcode-Qualität und -Sicherheit zu implementieren. Darüber hinaus gab Coverity heute bekannt, dass das Unternehmen die Quellcode-Qualität für Symbian im Rahmen des Coverity-Certified-Programms zertifizieren wird.

Die Zertifizierung durch Coverity stellt Dritten gegenüber eine Bestätigung der Quellcode-Qualität dar. "Coverity Certified"-Unternehmen können daher voller Stolz darauf hinweisen, dass sie einer exklusiven Gruppe führender Unternehmen angehören, die sich bei der Software-Qualität und -Sicherheit nachweislich für die Einhaltung höchster Normen engagiert.

Coveritys neue Symbian C++ Fehlererkennung wird Kunden von Coverity Prevent SQS Anfang 2008 zur Verfügung stehen.

Website: http://www.coverity.com

Jim Shissler, Leiter Public Relations bei Coverity, Inc., Tel.: +1-415-694-5342, E-Mail: jshissler@coverity.com oder Laura Skykes, Tel.: +44-0-207-154-1542, E-Mail: laura.skykes@symbian.com oder Thibaut Rouffineau, E-Mail: thibaut.rouffineau@symbian.com, beide von Symbian Ltd. oder Beate Lorenzoni der Agentur Lorenzoni GmbH, Public Relations, Tel.: +49-0-8122-55917-22, E-Mail: beate@lorenzoni.de, im Auftrag von Coverity, Inc.