AdaCore publie un outil de test de couverture non intrusif

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…