/PRZOOM - FR/ - Coverity™, Inc., leader mondial dans l’amélioration automatique de la qualité et de la sécurité des logiciels, annonce aujourd’hui le lancement de Coverity Prevent™ for C#.

Chapet, France, 03/06/2008 – La solution exploite un nouveau moteur d’analyse, développé par les équipes R&D de Coverity et spécifiquement conçu pour détecter les défauts des applications développées sous Microsoft .NET. Avec Prevent for C#, Coverity étend ainsi la portée de ses solutions d’analyse statique, offrant désormais son expertise avérée de la détection automatique des défauts logiciels aux développeurs programmant en C#. Plus de 450 éditeurs de logiciels s’appuient actuellement sur Coverity Prevent pour garantir la qualité et la sécurité de leurs codes C/C++ et Java.

« Pour rester compétitifs, les éditeurs de logiciels doivent doter leurs développeurs d’outils et de technologies avancés, leur permettant de maintenir voire d’améliorer leur productivité pour produire in fine un code de meilleure qualité, au bénéfice de toutes les personnes se situant en amont du processus de développement », déclare Theresa Lanowitz, fondatrice de voke, cabinet d’études spécialisé dans les nouvelles technologies. « C# est un langage de programmation de plus en plus présent dans les appareils intolérants aux échecs, et notamment dans l’univers de l’embarqué. Le lancement de Coverity for C# constitue à ce titre une excellente nouvelle pour les développeurs en C# qui vont pouvoir bénéficier de l’expertise de Coverity dans le domaine de l’analyse statique. »

Contrairement aux autres outils d’analyse statique qui, pour prendre en charge un nouveau langage de programmation, se contentent d’étendre les fonctionnalités d’analyse existantes, Prevent for C# repose sur un tout nouveau moteur d’analyse, conçu et optimisé pour les applications développées sous Microsoft .NET. La solution prend en charge les différentes dimensions propres au langage C# : surcharge d’opérateur, propriétés, idiomes de programmation pour l’itération et la gestion des ressources. En outre, Prevent for C# identifie automatiquement les assemblages tiers .NET pour garantir l’exhaustivité des résultats de l’analyse et ce, quel que soit le niveau de complexité de l’application.

Coverity Prevent for C# analyse automatiquement des bases de code en C# – aussi volumineuses que complexes – et détecte les défauts critiques à corriger, susceptibles de causer des pannes-systèmes, de corrompre les mémoires ou encore d’entraver les performances applicatives. Parce que la solution proposée par Coverity est le seul outil d’analyse statique C# à pouvoir garantir une analyse exhaustive – à 100 % – des chemins, elle offre l’analyse de code source C# la plus complète et la plus précise du marché. Prevent for C# ne nécessite aucune modification du code ou des processus existants de compilation. La solution s’intègre aisément aux processus existants de compilation et nécessite peu de –voire aucune – solution matérielle supplémentaire. Parmi les fonctionnalités clés que propose Prevent for C#, on peut notamment citer les suivantes :

• Détection des défauts critiques – Détection automatique des défauts au niveau du code source C#, susceptibles de causer des pannes, d’entraver les performances ou encore d’entraîner tout comportement erroné du programme.
• Couverture totale des chemins – Analyse de chaque chemin dans les bases de code C#, garantissant un suivi exhaustif de toutes les branches d’exécution possibles.
• Faible taux de faux positifs – Des résultats précis et exploitables, permettant aux développeurs d’accroître immédiatement la qualité et la sécurité de leur code.
• Flexibilité du workflow – Offrant des fonctionnalités complètes de workflow, l’interface Defect Manager permet aux équipes de visionner les résultats d’analyse, d’identifier les défauts de triage et d’en isoler les auteurs.
• Évolutivité maximale – Plusieurs millions de lignes de code peuvent être analysées en quelques heures seulement.

« Coverity a développé Prevent for C# non seulement pour répondre aux besoins exprimés par ses clients mais également pour faire face à l’utilisation croissante de l’environnement applicatif.NET dans les systèmes critiques pour lesquels tout défaut logiciel peut s’avérer extrêmement coûteux », déclare Andy Chou, directeur scientifique et co-fondateur de Coverity. « Avec le lancement de cette nouvelle technologie, notre gamme de solutions d’analyse statique couvre désormais les langages C, C++, C# et Java. L’introduction de Prevent C# marque à ce titre une étape importante de la feuille de route que nous avons définie pour notre solution phare d’analyse statique. »
Tarifs et disponibilité
Le tarif de Coverity Prevent for C# varie suivant l’ampleur du projet. La solution sera commercialisée à partir de juillet 2008.

À 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. Plus de 450 sociétés figurant parmi les plus grands éditeurs logiciels au monde, tels que ARM, Phillips, Rockwell-Collins, Samsung ou encore UBS, 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é : Toutes Régions (International)

Distribution : [+]