AdaCore propose GNATcoverage, un outil d'analyse de couverture de code. Issu du projet de recherche Couverture, GNATcoverage réalise une analyse de couverture à la fois sur le code objet — couverture des instructions objet et des branches — et sur le code source Ada ou C — couverture des instructions source, des décisions, et du « Modified Condition/Decision Coverage » (MC/DC). Selon l'éditeur, contrairement à la plupart des technologies actuelles, cet outil ne nécessite pas d’instrumentation de l'exécutable à tester, mais fonctionne directement sur une version instrumentée de GNATemulator, un outil d'émulation fourni par AdaCore. GNATcoverage fournit les informations de couverture directement à partir du code applicatif compilé pour la cible embarquée. Le code objet reste inchangé, toute l'instrumentation étant prise en charge par la couche d'émulation. GNATcoverage veut ainsi aider les développeurs de logiciel à estimer l'exhaustivité d'une campagne de tests, et fournir des réponses précises aux exigences des processus de certification de sûreté comme le standard de certification avionique DO-178.
« Jusqu'à présent, la correspondance entre la couverture du code source et la couverture du code exécutable n'avait jamais été étudiée en détail. La recherche menée au sein du projet Couverture a permis de prouver mathématiquement le périmètre exact dans lequel des métriques complexes de couverture de code source comme MC/DC peuvent être déduites des informations de couverture de code exécutable », précise Cyrille Comar, directeur chez AdaCore. « Nous avons alors pu construire le premier outil de test de couverture fonctionnant sur du code non instrumenté qui fournit des résultats dont la précision répond aux exigences des niveaux les plus élevés de certification pour les composants avioniques. »
Disponibilité
GNATcoverage est disponible dès aujourd'hui
Pour plus d'informations : http://www.adacore.com/
