(openPR) San Francisco/München, 05. Februar 2009 - Mit Produkt-Demonstrationen und Vorträgen veranschaulicht Coverity, führendes Unternehmen bei der automatischen Optimierung von Softwarequalität und –sicherheit, die Funktionsweise und Vorteile seiner Analysetools, die das Handwerkszeug für Software-Entwickler bereichern. Das Herzstück der Toolsuite bildet Coverity Prevent mit dem patentierten „Software DNA Map“ Analysesystem. Dank der bit-genauen Repräsentation der Build-Umgebung können Entwickler den Programmcode einsehen und Qualität und Sicherheit bereits früh im Entwicklungsstadium verbessern. Auf dem Messestand präsentiert Coverity seine Lösungen für unterschiedliche Anwendungen: das Flaggschiffprodukt Coverity Prevent, den Software Readiness Manager zum Einschätzen von kritischen Code, den Architecture Analyzer zur Visualisierung von Abhängigkeiten und den Thread Analyzer für Multithreaded Anwendungen. Auf der Embedded World Konferenz referiert Ben Chelf, CTO von Coverity über Vorteile und Anwendungen der Tools im Rahmen der Session „Managing Development Projects Sucessfully“ (5.3., Session 3.4, 12-12:45 Uhr). Auf dem Embedded World Forum in Halle 11 erläutert Coverity die Behebung von Gleichzeitigkeitsfehlern mit Hilfe von statischer und dynamischer Analyse.
Der Software Readiness Manager für Java ermöglicht die objektive Einschätzung von kritischem Code durch die Kombination entscheidender Daten aus mehreren Quellen. Indem er die Daten erfasst und analysiert, wird das Risiko von Fehlern nach der Freigabe der Software (post-release) ermittelt. Er liefert detaillierte Angaben zu ausschlaggebenden Kriterien der Produktreife wie Codekomplexität, Abweichung von genormten Abläufen, Softwarearchitektur, gegenseitige Abhängigkeiten und Vollständigkeit der Tests. Zudem ermöglicht der Software Readiness Manager sofortige Einsehbarkeit in Code unbekannter Herkunft und Qualität, bevor dieser ausgelagert, offengelegt, angekauft oder wieder verwendet wird. Damit können Entwicklerteams einwandfreien Code liefern, der sämtlichen Qualitätsanforderungen in der Produktentwicklung gerecht wird.
Der Coverity Architecture Analyzer visualisiert die Hierarchien und Abhängig¬keiten in C/C++- und Java-Codebasen automatisch. Das garantiert die Transparenz und Kontrolle, die benötigt wird, um potentielle Defekte zu erkennen und sicherzu¬stellen, dass Änderungen am Code im Einklang mit den ursprünglichen Ent¬wicklungsvorgaben erfolgen. Das Tool unterstützt eine webbasierte Schnittstelle und ein IDE-Plug-In für Java. Dies ermöglicht die Navigation im Code, die Überprüfung der Architektur auf Präzision, die Korrektur von Abhängigkeitsdefekten und das Definieren von Komplexitätsgrenzen.
Der Coverity Thread Analyzer, ein Stand-alone Produkt, ist das erste dynamische Analysetool für Multi-Threaded-Anwendungen, das automatisch Gleichzeitigkeitsdefekte erkennt, die Ursache für beschädigte Daten und Fehlfunktionen in Anwendungen sein können. Im Einsatz mit Coverity Prevent, dem führenden statischen Analysetool, bildet der Coverity Thread Analyzer eine leistungsstarke Lösung zur Sicherung der Softwarequalität, mit der Entwickler die komplexen Aspekte beim Schreiben von Multi-Threaded-Anwendungen besser kontrollieren können.
