/PRZOOM - FR/ - Coverity™, Inc., leader dans l’amélioration automatique de la qualité et de la sécurité des logiciels, annonce aujourd’hui que Coverity Prevent™ a remporté le prix du palmarès annuel d’Electronique Magazine dans la catégorie des outils logiciels.

Paris, France, 25/06/2008 – Figurant parmi les meilleurs outils d’analyse statique du marché, Coverity Prevent permet d’identifier et de résoudre automatiquement les défauts logiciels critiques et les points de vulnérabilité lors du processus de développement. Parmi les dernières innovations de l’éditeur, on peut notamment mentionner l’introduction de la satisfaisabilité booléenne (SAT) et la détection des erreurs de programmation concurrentielle, deux fonctionnalités désormais intégrées à Coverity Prevent, sa solution phare d’analyse statique.

« Cette année, le jury a souhaité mettre l'accent sur les outils d'analyse statique de code, et plus particulièrement sur la technologie novatrice de Coverity qui s'attaque au problème de la détection du nombre le plus élevé possible d'erreurs sur un très grand nombre de lignes de codes, tout en réduisant au minimum les ‘faux positifs’ », explique François Gauthier, chef de service en charge des outils logiciels au sein de la rédaction d’Electronique Magazine.

L’application de la SAT à Coverity Prevent s’est vue distinguée par le jury du Palmarès 2008 pour sa capacité à fournir des résultats d’analyse d’une très grande précision, affichant de surcroît le taux de faux positifs le plus bas du marché. À la différence des moteurs d’analyse statique actuellement disponibles sur le marché qui s’appuient sur un dispositif d’analyse des flux de données et sur plusieurs vérificateurs pour identifier les défauts logiciels, le moteur SAT exploite, quant à lui, des solveurs.

Cette nouvelle technique d’analyse du code source a pu voir le jour grâce à la technologie développée par Coverity – dont le brevet est actuellement en cours d’homologation – qui crée une représentation précise du système logiciel au niveau du bit. Chaque opération logicielle pertinente est traduite en valeurs booléennes (vrai et faux) et en opérateurs logiques booléens (ex. et, non, ou). Dans l’univers de la programmation informatique à vocation commerciale, l’adoption de cette technique d’analyse à partir de solveurs SAT constitue une première mondiale.

Plus de 450 clients utilisent Coverity Prevent pour analyser l’intégralité des chemins de leurs applications. En exploitant toute la puissance de la fonctionnalité SAT de Coverity Prevent, ils ont désormais les moyens d’analyser les valeurs de chaque calcul effectué par ces applications. Exhaustive, cette analyse statique du code permet à Coverity de proposer le dispositif le plus précis du marché pour l’identification des performances critiques et des vulnérabilités de sécurité.

« Cela fait déjà plusieurs années que l’analyse de satisfaisabilité booléenne (SAT) est utilisée avec succès dans le secteur de l’EDA . Le fait d’appliquer les fonctionnalités éprouvées de la SAT à l’analyse statique de code permet aux développeurs d’explorer toute une panoplie de nouvelles approches leur permettant d’identifier les défauts logiciels les plus critiques », déclare Ben Chelf, CTO de Coverity. « Lorsque nous innovons pour résoudre les problématiques de développement logiciel les plus complexes, notre objectif est d’accompagner nos clients dans la création du code source le plus fiable et le plus sûr au monde. »

Electronique Magazine, une publication mensuelle diffusée en France publie chaque année son palmarès, lequel met l’innovation à l’honneur dans douze catégories de solutions dont celle des outils logiciels. Coverity Prevent a été sélectionné par un jury composé d'industriels, d'universitaires, de consultants spécialisés dans le domaine de l'électronique embarquée, et de journalistes de la rédaction.

À propos de Coverity
Coverity, leader mondial de l’amélioration de la qualité et de la sécurité des logiciels, est une société non cotée, établie à San Francisco (États-unis). La technologie révolutionnaire de Coverity repousse les limites du développement et de la diffusion des logiciels complexes en permettant d’identifier et de résoudre automatiquement les défauts logiciels critiques et les points de vulnérabilité lors du processus de développement. Plusieurs centaines de sociétés figurant parmi les plus grands éditeurs logiciels du monde utilisent la technologie Coverity et ce, pour trois raisons simples : elle peut prendre en charge plusieurs dizaines de millions de lignes de codes ; elle affiche le taux de faux positifs le plus bas du marché ; elle garantit que 100 % des chemins possibles à travers le code sont testés. Des sociétés comme Juniper Networks, Symantec, McAfee, Synopsys, NASA, Palm ou encore Wind River s’appuient sur les outils de Coverity pour identifier et éliminer les défauts majeurs de leurs codes critiques.

Coverity est une marque commerciale déposée, Coverity Extend et Coverity Prevent sont des marques commerciales de Coverity Inc. Tous les autres noms de société ou de produits cités dans le présent communiqué appartiennent à leurs détenteurs respectifs.

Agence / Source : Bijou PR

Disponibilité : Francophone

Distribution : [+]