Coverity lance ’Thread Analyzer for Java’, disponible sous Linux
8 mai 2008 dans Logiciels
Voici "Coverity Thread Analyzer for Java". Selon son éditeur, il s’agit du premier outil d’analyse dynamique pour applications multithread à pouvoir détecter automatiquement "les erreurs de programmation concurrentielle susceptibles d’entraîner une altération des données ou encore un dysfonctionnement de l’application considérée."
Coverity Thread Analyzer for Java observe le code lors de son exécution, identifiant automatiquement et de façon prédictive les situations de concurrence et les interblocages (deadlocks).
La solution assure la détection non seulement des problèmes qui se produisent dans des environnements de test limités mais également ceux susceptibles d’apparaître en conditions réelles de fonctionnement. Cette distinction s’avère particulièrement importante pour les applications multithread.
Coverity Thread Analyzer vise également à réduire les risques associés à la migration de bases de codes complexes monothread dans des environnements multicœurs. La solution assure cette migration en signalant aux utilisateurs les données partagées au niveau des threads et notamment les zones pour lesquelles il serait nécessaire d’introduire des règles de verrouillage.
Ce produit peut également, selon son éditeur, être associé à Coverity Prevent, outils d’analyse statique du marché.
Coverity Thread Analyzer affiche un temps d’exécution de 2x seulement pour la plupart des programmes, ce qui en fait un outil adapté aux environnements de production accueillant par exemple des applications interactives ou tout autre type d’application soumise à des contraintes de temps élevées.
Coverity Thread Analyzer est une solution autonome, fonctionnant une multitude de systèmes d’exploitation - Linux (32-bit et 64-bit), Solaris Sparc, Solaris X86, Windows XP et Server 2003, Mac OS X -. La solution prend en charge Sun JDK 1.5, 1.5 JVM d’IBM et BEA Jrockit 5.
Lien : "Coverity Thread Analyzer For Java" (en)
(Vous souhaitez reproduire cet article ?)
Publicité