AdaCore / GNATcoverage : analyser les codes Ada et C

L'outil d'AdaCore a pour but de réaliser une analyse de la couverture d'un code applicatif.

Commercialisé cette semaine par AdaCore, l'outil d'analyse de code GNATcoverage prend en charge à la fois les codes sources en C et Ada. Il décrypte les instructions objet, et instructions source et Modified Condition/Decision Coverage (MC/DC)...

"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 [...] 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.

Objectif : aider les développeurs à prendre les bonnes décisions liées aux tests logiciels, et fournir des informations permettant de répondre aux exigences de certification (DO-178B niveau A, EN 50128, IEC 61508, ECCS-E40B).