Coverity Prevent - "Concurrency" (gleichzeitige Zugriffe)

Coverity Prevent verfügt über hoch entwickelte Checker, um über die statische Codeanalyse Probleme bei gleichzeitigen Zugriffen (Concurrency) aufzudecken.

Concurrency-Probleme können sehr schädlich sein und Deadlocks, Leistungsverminderungen sowie Datenintegrität verursachen. Wegen der hohen Komplexität von Multithreadprogrammen, ist es sehr schwierig, Testfälle zur Aufdeckung von Concurrencydefekten zu erstellen. Concurrency-Probleme tauchen oft nur unter sehr extremen Bedingungen auf, die schwierig zu prüfen und zu reproduzieren sind. Zu diesen Situationen gehören zum Beispiel subtile Timings oder eine große Anzahl von Nutzern, die verschiedene Tasks in einer bestimmten Art ausführen. Aus diesen Gründen werden Concurrencyprobleme oft erst beim Einsatz der Software und nicht schon beim Test gefunden. Wenn Concurrency-Bugs einmal gefunden sind, sind sie oft sehr schwierig zu reproduzieren, isolieren und zu fixen.

Aufdecken von Concurrencyproblemen

Mit den Coverity-Concurrency-Checkern, können Entwickler Concurrencyprobleme, die normalerweise nur sehr schwierig zu finden sind, aufdecken. Wie bei unsere Qualitäts- und Sicherheitscheckern zeigen wir die Fehlermeldungen für Concurrencyprobleme inline in Ihrem Code. Desweiteren liefern wir eine "verlinkte" Ausgabe von Ergebnissen, die den Problemreport enthalten. Coverity analysiert 100% aller Pfade und hilft damit bei der Aufdeckung der "verstecktesten" Concurrencyprobleme.

Coverity Hauptseite

Nächste Seite

last updated: 12.02.2008

© 2004-2008 Coverity Inc. (German translation made by Verifysoft Technology GmbH)
Prevent and Extend are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners.