AdaTEST 95的代码覆盖功能可在AdaTEST 95中集成使用，也可以被任何外部测试驱动使用。
它客观地测量测试执行的完成度，补足基于需求的测试和健壮性测试。
AdaTEST 95代码覆盖易于：
设置要测量哪些覆盖率
诊断检查覆盖率结果
查看覆盖趋势
生成报告与认证材料
代码覆盖是一种动态分析技术，测量哪些代码被测试所执行。代码中的逻辑结构由单独的构造（语法元素）来标识，对这些单独构造的测量被记录为结构化代码覆盖度量。
代码覆盖分析用于指出测试的空隙，这些空隙是需求驱动和健壮性驱动的测试手段没有执行到的地方。
覆盖分析是所有国际软件安全标准都要求的，这些标准中高的安全等级都要求更加严格的覆盖率度量指标。
测量覆盖
代码覆盖使用以下度量进行测量，其中包含用于集成检查所需代码覆盖率的标准化规则集。
函数入口点
函数调用-返回
基本块
语句
判断（分支）
循环
关系运算符
布尔运算符
条件
MC/DC（唯一原因法和屏蔽法）
AdaTEST 95诊断将代码覆盖率数据呈现在HTML结果查看器中，具有如下特性：
代码列表的颜色标记
下一个/上一个失败导航
详细的度量执行数据
AdaTEST 95代码覆盖的检查与测试一起进行，使得必需的覆盖率检查更加容易开展，也自动化回归测试。覆盖检查包括：
每个结构化覆盖率度量的百分比
对数据值（指定的变量值）的“始终为真”或“至少一次为真”做出断言
准确的代码执行路径。
AdaTEST 95的HTML结果概要展示了测试结果的历史记录，以及根据通过标准进行的覆盖率检查，以了解覆盖率结果的趋势。 每个测试/覆盖率结果都深入到相关测试运行的超链接详细HTML结果视图中。
除了在HTML结果查看器和概要中对代码覆盖率结果进行强大的诊断之外，AdaTEST 95还生成满足覆盖率要求的用于安全标准合格审定的ASCII文本报告。
报告和认证证据嵌入了对实现所需覆盖度量目标的集成检查。
AdaTEST 95使用插装后的源代码副本，覆盖率数据记录在HTML图形化诊断和用于合格审定的ASCII文本文件中。
覆盖分析可与AdaTEST 95的测试集成使用，也能用于测量其它测试的执行，多个测试数据容易整合。
覆盖规则集使分析更为简单，它自动化进行所有代码插装、数据记录和要求的覆盖率检查，用于所有主要的软件安全标准。
