SUIVRE TOUTE L'ACTUALITÉ
•Cyber Show 2025
du 29/01/2025 au 30/01/2025
Espace Champerret - Hall A
•4e World AI Cannes Festival
du 13/02/2025 au 15/02/2025
Palais des Festivals, Cannes
|
|
Article précédent
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…