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