{"id":11049,"date":"2011-02-01T10:45:50","date_gmt":"2011-02-01T10:45:50","guid":{"rendered":"http:\/\/www.agglotv.com\/?p=11049"},"modified":"2011-02-01T10:45:50","modified_gmt":"2011-02-01T10:45:50","slug":"adacore-publie-le-premier-outil-de-test-de-couverture-non-intrusif-supportant-pleinement-tous-les-niveaux-de-certification-des-standards-de-surete","status":"publish","type":"post","link":"https:\/\/www.agglotv.com\/?p=11049","title":{"rendered":"AdaCore publie le premier outil de test de couverture non intrusif supportant pleinement tous les niveaux de certification  des standards de s\u00fbret\u00e9"},"content":{"rendered":"<div class=\"alignleft\"><script type=\"text\/javascript\"><!--\ngoogle_ad_client = \"pub-2913804460579993\";\n\/* 300x250, date de cr\u00e9ation 09\/09\/10 *\/\ngoogle_ad_slot = \"3968300003\";\ngoogle_ad_width = 300;\ngoogle_ad_height = 250;\n\/\/-->\n<\/script><br \/>\n<script type=\"text\/javascript\"\nsrc=\"http:\/\/pagead2.googlesyndication.com\/pagead\/show_ads.js\">\n<\/script><\/div>\n<p><em>GNATcoverage fournit une analyse de couverture \u00e0 la fois sur le code source et le code objet.<\/em><\/p>\n<p><strong>AdaCore<\/strong>, leader dans l\u2019\u00e9dition d&rsquo;outils de d\u00e9veloppement pour Ada et l\u2019offre de services de support, publie aujourd&rsquo;hui GNATcoverage, un outil d&rsquo;analyse de couverture de code.\u00a0 Issu du projet de recherche Couverture, GNATcoverage r\u00e9alise une analyse de couverture \u00e0 la fois sur le code objet \u2014 couverture des instructions objet et des branches \u2014 et sur le code source Ada ou C \u2014 couverture des instructions source, des d\u00e9cisions, et du \u00ab\u00a0Modified Condition\/Decision Coverage\u00a0\u00bb (MC\/DC).\u00a0 Contrairement \u00e0 la plupart des technologies actuelles, cet outil ne n\u00e9cessite pas d\u2019instrumentation de l&rsquo;ex\u00e9cutable \u00e0 tester, mais fonctionne directement sur une version instrument\u00e9e de GNATemulator, un outil d&rsquo;\u00e9mulation l\u00e9ger et performant fourni par AdaCore.\u00a0 GNATcoverage aide les d\u00e9veloppeurs de logiciel \u00e0 estimer l&rsquo;exhaustivit\u00e9 d&rsquo;une campagne de tests, et fournit des r\u00e9ponses pr\u00e9cises aux exigences des processus de certification de s\u00fbret\u00e9 comme le standard de certification avionique DO-178.<\/p>\n<p>\u00ab Jusqu&rsquo;\u00e0 pr\u00e9sent, la correspondance entre la couverture du code source et la couverture du code ex\u00e9cutable n&rsquo;avait jamais \u00e9t\u00e9 \u00e9tudi\u00e9e en d\u00e9tail.<!--more-->\u00a0 La recherche men\u00e9e au sein du projet Couverture a permis de prouver math\u00e9matiquement le p\u00e9rim\u00e8tre exact dans lequel des m\u00e9triques complexes de couverture de code source comme MC\/DC peuvent \u00eatre d\u00e9duites des informations de couverture de code ex\u00e9cutable \u00bb, pr\u00e9cise Cyrille Comar, directeur chez AdaCore.\u00a0 \u00ab Nous avons alors pu construire le premier outil de test de couverture fonctionnant sur du code non instrument\u00e9 qui fournit des r\u00e9sultats dont la pr\u00e9cision r\u00e9pond aux exigences des niveaux les plus \u00e9lev\u00e9s de certification pour les composants avioniques. \u00bb<\/p>\n<p>* <strong>Concepts agiles et facilit\u00e9 d&rsquo;utilisation<\/strong><\/p>\n<p>En automatisant l&rsquo;analyse de couverture des codes applicatifs embarqu\u00e9s, GNATcoverage permet aux d\u00e9veloppeurs d&rsquo;utiliser les techniques d&rsquo;int\u00e9gration continue popularis\u00e9es par la communaut\u00e9 Agile.\u00a0 De nombreuses instances de l&rsquo;outil peuvent fonctionner simultan\u00e9ment, ce qui permet de parall\u00e9liser les tests de couverture. GNATcoverage peut \u00e9galement \u00eatre install\u00e9 sur les postes de travail de chacun des d\u00e9veloppeurs afin de v\u00e9rifier l&rsquo;ad\u00e9quation de leur strat\u00e9gie de tests localement et facilement.<\/p>\n<p>* <strong>Analyse du code final tel qu&rsquo;il fonctionnera sur la cible embarqu\u00e9e<\/strong><\/p>\n<p>GNATcoverage fournit les informations de couverture directement \u00e0 partir du code applicatif compil\u00e9 pour la cible embarqu\u00e9e. Le code objet reste inchang\u00e9, toute l&rsquo;instrumentation \u00e9tant prise en charge par la couche d&rsquo;\u00e9mulation.<\/p>\n<p>* <strong>Aide \u00e0 r\u00e9pondre aux exigences de certification (DO-178B niveau A, EN 50128, IEC 61508, ECCS-E40B)<\/strong><\/p>\n<p>GNATcoverage fournit des informations de couverture pour tous les niveaux de certification : couverture des instructions source, des d\u00e9cisions, et couverture MD\/DC (Modified Condition\/Decision Coverage). L\u2019outil est qualifi\u00e9 jusqu&rsquo;au niveau A du standard DO-178 B.\u00a0 GNATcoverage peut aussi fournir des m\u00e9triques de couverture portant sur les instructions binaires et sur les branches qui ont \u00e9t\u00e9 parcourues.<\/p>\n<p><strong>Disponibilit\u00e9<\/strong><\/p>\n<p>GNATcoverage est disponible d\u00e8s aujourd&rsquo;hui.\u00a0 Pour obtenir des d\u00e9tails sur les tarifs et les configurations support\u00e9es, contacter AdaCore (<a href=\"mailto:sales@adacore.com\">sales@adacore.com<\/a>).<\/p>\n<p><strong>\u00c0 propos d&rsquo;AdaCore<\/strong><\/p>\n<p>AdaCore, fond\u00e9 en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe con\u00e7u pour des applications de grande taille et \u00e0 grande dur\u00e9e de vie. Les technologies fournies par AdaCore sont particuli\u00e8rement adapt\u00e9es aux applications pour lesquelles la s\u00fbret\u00e9, la s\u00e9curit\u00e9 et la fiabilit\u00e9 sont des \u00e9l\u00e9ments critiques.\u00a0 Le produit phare d&rsquo;AdaCore est l&rsquo;environnement de d\u00e9veloppement GNAT Pro est disponible sur le plus vaste ensemble de plates-formes de toutes les technologies Ada. Il est fournit avec un support en ligne dispens\u00e9 par des experts parmi les plus reconnus dans le domaine.\u00a0 AdaCore dispose d\u2019une large base de clients situ\u00e9e dans le monde entier ; voir <a href=\"http:\/\/www.adacore.com\/home\/company\/customers\/\">http:\/\/www.adacore.com\/home\/company\/customers\/<\/a> pour de plus amples informations.<\/p>\n<p>L&rsquo;utilisation d&rsquo;Ada et de GNAT Pro conna\u00eet une croissance continue dans les applications de haute int\u00e9grit\u00e9 ou certifi\u00e9es pour la s\u00fbret\u00e9, comme les \u00e9l\u00e9ments d&rsquo;avionique pour les appareils commerciaux, les syst\u00e8mes militaires, le contr\u00f4le a\u00e9rien, les syst\u00e8mes ferroviaires, les appareils m\u00e9dicaux, et dans des domaines sensibles pour la s\u00e9curit\u00e9 comme les services financiers.<\/p>\n<p>Le si\u00e8ge social d\u2019AdaCore est situ\u00e9 \u00e0 Paris pour la zone Europe, et \u00e0 New York pour la zone Am\u00e9rique du Nord.\u00a0 <a href=\"http:\/\/www.adacore.com\/\">http:\/\/www.adacore.com\/<\/a><\/p>\n<p><strong><span style=\"text-decoration: underline;\">Contacts Presse<\/span><\/strong><\/p>\n<p>Jamie Ayre<\/p>\n<p>AdaCore<\/p>\n<p><a href=\"mailto:press@adacore.com\">press@adacore.com<\/a><\/p>\n<p><a href=\"http:\/\/twitter.com\/AdaCoreCompany\">http:\/\/twitter.com\/AdaCoreCompany<\/a><\/p>\n<p>Pascale Desmaele \/ Laetitia D&rsquo;Urso<\/p>\n<p>Actual Public Relations<\/p>\n<p>T\u00e9l : 01 41 10 41 12 \/ 14<\/p>\n<p>emails : pascale@actual.fr \/ laetitia@actual.fr<\/p>\n","protected":false},"excerpt":{"rendered":"<p>GNATcoverage fournit une analyse de couverture \u00e0 la fois sur le code source et le code objet. AdaCore, leader dans l\u2019\u00e9dition d&rsquo;outils de d\u00e9veloppement pour Ada et l\u2019offre de services de support, publie aujourd&rsquo;hui GNATcoverage, un outil d&rsquo;analyse de couverture de code.\u00a0 Issu du projet de recherche Couverture, GNATcoverage r\u00e9alise une analyse de couverture \u00e0 [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[5],"tags":[],"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/11049"}],"collection":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=11049"}],"version-history":[{"count":1,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/11049\/revisions"}],"predecessor-version":[{"id":11050,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=\/wp\/v2\/posts\/11049\/revisions\/11050"}],"wp:attachment":[{"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=11049"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=11049"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.agglotv.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=11049"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}