Le laboratoire Jet Propulsion (JPL) de la NASA s'appuie sur Coverity pour garantir l'atterrissage en douceur et le bon fonctionnement de Curiosity sur Mars

Le JPL de la NASA s’appuie sur Coverity pour tester les deux millions de lignes de codes du logiciel de vol ;
Coverity soutient ainsi la NASA dans sa recherche de traces de vie passée sur Mars.

San Francisco, le 21 août 2012 - Coverity, Inc., leader sur le marché du test de développement,annonce aujourd'hui que le laboratoire Jet Propulsion (JPL) de la NASA, à l'origine du robot Curiosity, a utilisé Coverity pour s’assurer la fiabilité de son logiciel de vol, solution cruciale destinée à contrôler l'atterrissage du rover sur Mars.

Depuis la création de la mission MSL de la NASA (MSL, en français « laboratoire scientifique pour Mars »), le JPL a recouru à l'analyse statique comme un élément clé du processus de vérification de code afin d'assurer la réussite de l'une des missions les plus complexes de l'histoire de la NASA et de garantir la fiabilité de l'un des robots les plus évolués jamais envoyés dans l'espace.

Les développeurs du JPL de la NASA utilisent Coverity pour tester tous les logiciels de contrôle de vol et les fonctionsembarquées du rover Curiosity, soit plus de deux millions de lignes de codes, pour détecter et corriger tous les défauts logiciels avant le lancement. Lerobot Curiosity, un rover de la taille d'une voiture, a pour mission de déterminer si l'environnement martien a été propice à la vie dans le passé.Compte tenu du caractère stratégique de Curiosity pour la bonne réussite de la mission, le logiciel associé à l'engin se doit d'être fiable et exempt de tout défaut. Le moindre défaut logiciel pourrait faire la différence entre la réussite et l'échec de cette mission de 2,5 milliards de dollars et nuire à sa capacité à évaluer la possibilité d'une vie sur Mars.

« L'utilisation de la technologie de Coverity dans le cadre de projets à "tolérance zéro" en matière d'erreurs témoigne de notre capacité unique à détecter rapidement des défauts logiciels imprévisibles et habituellement difficiles à trouver », explique Jennifer Johnson, vice-présidente en charge du marketing chez Coverity. « Nous sommes honorés d'avoir pu contribuer à cette réussite scientifique majeure et aider la NASA à percer les secrets d'une éventuelle vie passée sur Mars. »

Coverity® Static Analysis est une solution leader de test de développement qui utilise des techniques d'analyse sophistiquéespour identifier et éliminer les défauts de code difficiles à détecter. Elle est utilisée tôt dans le cycle de développement du logiciel et au fur et à mesure que le code est écrit, là où ils sont les plus faciles et les moins coûteux à trouver et corriger.

Ressources en ligne
Pour voir une vidéo sur le rover Curiosity : http://www.youtube.com/watch?v=8gOic_LD2u8&feature=youtu.be
Pour plus d’informations sur le test de développement : http://www.coverity.com/development-testing/index.html
Vers le blog Coverity : https://communities.coverity.com/blogs/software-integrity-blog/


À propos de Coverity
Coverity, Inc. (www.coverity.com), leader sur le marché du test de développement, est le partenaire de confiance des entreprises qui doivent protéger leurs marques et leurs revenus des défauts logiciels. Plus de 1 100 sociétés utilisent la suite de produits de test de développement de Coverity pour automatiser le test de leur code source et identifier les défauts logiciels pouvant provoquer des crashs produit, des défauts de fonctionnement, des brèches de sécurité ou des erreurs irrémédiables. Coverity est une société privée dont le siège est situé à San Francisco (États-Unis). Coverity est financée par Foundation Capital et Benchmark Capital. Suivez la société sur Twitter ou visitez son blog.