/PRZOOM - FR/ - Coverity, Inc. annonce aujourd’hui avoir doté Coverity Prevent™, sa solution phare d’analyse statique, de nouvelles fonctionnalités de détection des défauts logiciels spécifiques au langage de programmation Symbian C++.

Paris, France, 21/10/2008 – Développées en collaboration avec Symbian, ces nouvelles fonctionnalités permettent d’identifier automatiquement les défauts logiciels propres à Symbian OSTM, le premier système d’exploitation ouvert du marché pour téléphones mobiles.

Symbian OS est une plate-forme hautement évolutive et très flexible, dédiée aux applications mobiles de nouvelle génération. Comme pour toute plate-forme ouverte, Symbian OS met à disposition des développeurs certaines API qui leur permettent d’exploiter toute la fonctionnalité de la plate-forme. Mais ces mêmes développeurs doivent également faire bon usage de ces API, à défaut de quoi ils risquent d’introduire des défauts dans leurs applications.

Les fonctionnalités Symbian C++ de Coverity Prevent ont été consolidées dans deux vérificateurs, visant à résoudre tout un éventail de problèmes potentiels.

• Symbian OS Cleanup Stack - Ce vérificateur a pour objectif de garantir qu’un référent est associé à toute mémoire allouée et que seul ce référent est habilité à ré-affecter ladite mémoire. Pour ce faire, le vérificateur analyse l’interaction des objectifs avec l’API Symbian. Plus particulièrement, les interactions avec le « global cleanup stack » peuvent s’avérer complexes ; l’interaction des développeurs avec ce « stack » conduit fréquemment à des pertes de mémoire et peut causer des dysfonctionnements applicatifs.

• Symbian C++ Naming - Ce vérificateur a pour objectif de garantir la bonne application des conventions imposées par Symbian pour l’attribution des noms. Pour ce faire, il assure le suivi des différents événements applicatifs (ex. identité, pop, push). Tout manquement aux conventions Symbian C++ d’attribution des noms peut entraîner de graves défauts concernant le comportement des fonctions.

« Face à l’ampleur que prennent les bases de code et face à leur complexification, les méthodes classiques de test et de révision manuelle du code touchent leurs limites et s’avèrent inefficaces pour assurer la qualité du code et prévenir l’apparition de défauts sur le terrain », déclare Ben Chelf, CTO de Coverity. « Les fonctionnalités développées par Coverity avec le soutien de Symbian apporteront des avantages immédiats à toutes les équipes de développement créant des applications mobiles de nouvelle génération, prévues pour fonctionner sur Symbian OS. »

« À l’heure où de plus en plus de développeurs créent leurs applications sous Symbian OS, le fait que des outils aussi puissants que Coverity Prevent offrent des fonctionnalités spécifiques à Symbian constitue une excellente nouvelle. Ces développeurs vont ainsi pouvoir tester et déboguer plus facilement leurs applications, et d’une manière générale, accélérer le lancement commercial de leurs nouveaux logiciels », déclare Antony Edwards, directeur du marketing produits-développeurs de Symbian. « Fidèle à son engagement d’assurer un niveau élevé d’intégrité du code, Symbian utilise déjà Coverity Prevent en interne pour analyser Symbian OS. »

Symbian est également en voie d’obtenir début 2009 le premier niveau de certification Coverity pour Symbian OS. La certification Coverity est un processus rigoureux d’inspection et d’élimination des défauts , opéré après analyse du code source d’une application donnée et après élimination de tous les défauts signalés par Coverity. Dans le cadre de cette démarche de certification, les équipes de développement créent également des processus réguliers et reproductibles, visant à corriger tout nouveau défaut susceptible d’apparaître dans le code, d’une version à l’autre du logiciel considéré.

Coverity apporte à Symbian OS un dispositif efficace d’analyse statique et lui garantit une intégrité de code maximale en assurant une détection automatique des défauts, en amont du cycle de développement – soit à un stade où il est encore assez simple et peu coûteux d’éliminer de tels défauts.

Tarifs et disponibilité
Coverity Prevent est d’ores et déjà disponible pour C, C++, C# et Java. Les fonctionnalités Symbian C++ sont intégrées à Coverity Prevent. Le tarif de la solution est fonction de la taille du projet.

Pour plus d’informations, rendez-vous au salon Symbian Smartphone Show à Londres, les 21 et 22 octobre : Coverity y expose ses solutions sur le stand n°68.

À 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 500 sociétés figurant parmi les plus grands éditeurs logiciels du monde utilisent la technologie Coverity pour développer des logiciels de qualité supérieure. Parmi ces sociétés, on peut notamment citer ARM, Phillips, RIM, Rockwell-Collins, Samsung, ou encore UBS.

Coverity, Coverity Prevent et Software Readiness Manager sont des marques commerciales déposées 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 : [+]