Coverity Extend ermöglicht die einfache Erstellung massgeschneiderter Prüfmodule zur Quellcodeanalyse für die eingebettete, ISV- und professionelle Softwareentwicklung

Rts Embedded Systems Conference, Paris (ots/PRNewswire) -

- Symbian, der führende Anbieter von Mobiltelefonsoftware, setzt
Coverity Extend ein, um die Programmcodequalität und -überprüfung zu
verbessern und gleichzeitig die Produktivität zu steigern

Coverity Inc., Hersteller der weltweit modernsten skalierbaren
Lösung zur Quellcode-Analyse, gab heute die allgemeine Verfügbarkeit
einer neuen Version von Coverity Extend bekannt. Dabei handelt es
sich um eine Reihe von Tools, mit deren Hilfe unabhängige und
professionelle Softwareentwickler auf einfache Art und Weise
massgeschneiderte Quellcode-Prüfmodule erstellen können, die mit
Coverity Prevent, dem Spitzen-Analyseprodukt des Unternehmens,
funktionieren. Die neue Version hat jetzt vollen Zugang zu C/C++
Datentypen und wird mit einer neuen Bibliothek mit Beispielen sowie
einer ausführlichen Dokumentation geliefert. Das Produkt stellt für
Entwickler, die an Software mit besonderen Funktionalitäten arbeiten
und einer speziellen Quellcode Prüfanalyse bedürfen, ein wichtiges
Upgrade dar.

Symbian ist das weltweit führende offene Betriebssystem, das über
70 Millionen Mobiltelefone führender Hersteller betreibt. Symbian
suchte nach Werkzeugen, um die Verwaltung des aus über 500
Programmierern bestehende, länderübergreifende Entwicklungsteam zu
unterstützen und um die Qualität aller Programmzeilen des
Betriebssystems Symbian sicherzustellen. Das Unternehmen brauchte die
Flexibilität von Extend, um die in hohem Masse anpassbare Software zu
analysieren, die für jede Mobiltelefonplattform ein andere
Konfiguration aufweist. Darüber hinaus suchten die Entwickler von
Symbian nach einer Möglichkeit, den Umfang der Analyse zu erweitern,
um spezielle Fehler ausfindig zu machen, die für einzelne
Telefonplattformen spezifisch sind.

"Wir haben uns insbesondere wegen Extend für Coverity entschieden.
Denn Extend bietet uns die Möglichkeit, unsere eigenen,
massgeschneiderten Prüfmodule für die einzigartige Symbian
Programmcodesammlung zu erstellen", sagte Neil Taylor,
Technologie-Architekt bei Symbian. "Wir hatten eine umfangreiche
Liste mit Anforderungen für die Einführung eines Analyse-Tools für
statischen Programmcode zusammengestellt und wir haben uns eine Reihe
von Produkten angesehen. Doch nur Coverity entsprach unseren
Anforderungen und war in der Lage die Komplexität unserer 5 Millionen
Quellcode-Zeilen zu meistern".

Nach der Implementierung von Coverity Extend war jeder Entwickler
von Symbian in der Lage, ein massgeschneidertes Prüfmodul zu
erstellen und eine beliebige Konfiguration des mobilen
Betriebssystems zu analysieren. Jedes massgeschneiderte Prüfmodul
wurde allen Entwicklern der Gruppe zugänglich gemacht, sodass schnell
eine anspruchsvolle Bibliothek spezifischer Prüfmodule entstand. Das
Entwicklungsteam schätzt, dass jeder Fehler, den Coverity ausfindig
machte, drei Manntage Fehlersuche eingespart hat. Darüber hinaus kann
jedes spezifische Fehlerprüfmodul anschliessend von allen Mitgliedern
des Entwicklungsteams eingesetzt werden.

"Wenn Extend in strategischem Massstab zum Einsatz kommt, kann es
den Qualitätssicherungsprozess gewaltig beschleunigen", sagte Ben
Chelf, CTO von Coverity. "In die mit Extend erstellten,
massgeschneiderten Prüfmodule fliesst das enorme Wissen des
Entwicklungsteams ein, sodass Prüfmodule entstehen, die die Nuancen
des Codes genauestens verstehen. Die Entwicklungsmanager können das
gesamte Entwicklungsteam nutzen, um den Qualitätssicherungsprozess zu
verbessern, die Programmierrichtlinien durchzusetzen und ein
einzigartiges Archiv wiederverwendbaren geistigen Eigentums
aufzubauen, das zur Analyse sämtlicher Softwarepfade und für
projektspezifische Prüfungen eingesetzt werden kann".

Coverity Extend bietet dem Entwickler eine Alternative zum
manuellen Quellcode-Überprüfungsverfahren, das ja nur auf Teile einer
grossen Quellcodesammlung angewendet werden kann. Durch den
strategischen Einsatz von Automatisierung und massgeschneiderter
Prüfmodule können Entwicklungsteams regelmässig eine vollständige
Überprüfung des gesamten Programmcodes vornehmen und Verfahren zur
Durchsetzung von Programmiervorschriften erstellen.
Software-Entwicklungsteams können so Richtlinien und Verfahren
erstellen und durchsetzen, um die Qualität der Software zu sichern
oder um Compliance-Pakete für interne und branchenweite
Programmierrichtlinien zu erstellen. Der massgeschneiderte Quellcode
Prüfungsvorgang kann auch automatisiert werden. Unternehmen können
darüber hinaus spezifische Sicherheitsprüfmodule erstellen, um gegen
unerlaubten Zugriff auf sensible Daten und andere böswillige Angriffe
zu schützen.

Zu den wichtigsten Eigenschaften von Coverity Extend gehören:
- Voller Zugang zu C/C++ Datentypen
- Gängige C++ Syntax für massgeschneiderte Prüfmodule, sodass jeder
Entwickler Prüfmodule in seiner gewohnten Umgebung schnell erstellen
kann
- Flexibilität, sodass praktisch jede Prüffunktion realisiert werden kann
- Bibliothek mit Referenzbeispielen, die die Entwicklung von Prüfmodulen
beschleunigt
- Dokumentation zur Vereinfachung der Erstellung spezifischer Prüfmodule
- Prüfmodule, die während der Programmierung selbst ablaufen

Informationen zu Coverity

Coverity (www.coverity.com), der führende Anbieter von Programmen
zur Verbesserung der Qualität und Sicherheit von Software, ist ein in
privater Hand befindliches, in San Francisco ansässiges Unternehmen.
Coveritys bahnbrechende Technologie beseitigt Hindernisse bei der
Erstellung und beim Einsatz komplexer Software, indem bereits während
des Programmierens automatisch kritische Mängel und Sicherheitslücken
erkannt und deren Beseitigung unterstützt wird. Über 200 führende
Unternehmen setzen auf Coverity, weil es sich auf mehreren Millionen
Quellcodezeilen skalieren lässt, die niedrigste Falschpositivrate
aufweist und sämtliche Softwarepfade abdeckt. Unternehmen wie Juniper
Networks, Symantec/VERITAS, McAfee, Synopsys, NASA, Palm und Wind
River setzen die Tools von Coverity ein, um Sicherheits- und
Qualitätsmängel in ihrem hochkritischen Quellcode zu entdecken und zu
beheben.

HINWEIS: Coverity ist eine eingetragene Handelsmarke und Coverity
Extend und Coverity Prevent sind Handelsmarken von Coverity Inc. Alle
anderen Firmen- und Produktnamen sind Eigentum ihres jeweiligen
Inhabers.

Website: http://www.coverity.com

Originaltext: Coverity, Inc.
Digitale Pressemappe: http://presseportal.de/story.htx?firmaid=58263
Pressemappe via RSS : feed://presseportal.de/rss/pm_58263.rss2

Pressekontakt:
Craig Oda von Page One PR, Tel.: +1-650-565-9800 App. 702 bzw.
E-Mail: coda@pageonepr.com, im Auftrag von Coverity oder Russ Wood,
Leiter Corporate Marketing bei Coverity, Tel.: +1-415-694-5304 bzw.
E-Mail: rwood@coverity.com