gnatcoverage：GNATcoverage：覆盖率分析工具

GNAT覆盖 GNATcoverage是分析和报告计划覆盖范围的工具。 GNATcoverage最初是作为Couverture研究项目的一部分开发的，它允许对目标代码（指令和分支覆盖）以及Ada或C语言源代码（语句，决策和修改后的条件/决策覆盖-MC / DC）进行覆盖分析。 请参阅专用的README文件以获取和。 文献资料 是Sphinx文档，在已进行了跟踪。 为了构建HTML视图，请安装Sphinx并从tools/gnatcov/目录运行以下命令： make doc.html 执照 GNATcoverage根据GPLv3（通用公共许可证版本3）的条款获得许可。 有关更多信息，请参见。