Emulation et test de couverture font bon ménage avec l'open source

摘要

Issus des travaux du projet Couverture, les outils d'émulation GNATemulator et de test de couverture GNATcoverage, de la société française AdaCore, ouvrent la voie à la notion encore médite aujourd'hui d'outils de certification en open source. Le projet Couverture, programme de recherche initié par le groupe logiciel libre/ open source du pôle de compétitivité System@tic de la région Ile-de-France, visait à développer des outils d'analyse de couverture de code, utilisables à termes en open source, à destination des développeurs d'applications critiques nécessitant une certification, notamment la DO 178 dans le monde de l'avionique.