定义所需的代码度量
AdaTEST 95产生100多个静态代码度量,在Ada 95语法(Ada语言参考手册)和工业标准度量集上。通过分析向导和静态分析规则集,可以简单地选择所需的度量。
它们不仅可以定义所需的静态代码度量,还可以检查每个要与AdaTEST 95动态测试集成的度量的可接受值。
度量被生成为.CSV文件、List文本文件,并显示在HTML结果查看器中,以便进行全面诊断。
AdaTEST 95的HTML结果概要提供了实施的静态度量值的检查历史记录,用于趋势分析。
静态代码度量的实施完全自动化地集成在AdaTEST 95的测试脚本中,动态和静态测试完全同步。
AdaTEST 95为所有插装的过程、函数、保护的子程序/入口和已经执行的任务生成静态度量。而且,除了过程、函数和任务体之外,也能获得包规范和包体的度量,用在列表文本文件中检查。
除了在HTML结果查看器和概要中对代码覆盖率结果进行强大的诊断之外,AdaTEST 95还生成满足覆盖率要求的用于安全标准合格审定的ASCII文本报告。
报告和认证证据嵌入了对实现所需代码覆盖和静态度量目标的集成检查。
AdaTEST 95使用插装后的源代码副本,静态度量数据记录在CSV和HTML文件中用于诊断,以及用于认证的ASCII文本列表文件和AdaTEST动态测试结果文件证据。
静态分析可与AdaTEST 95的测试集成使用,检查度量值在可接受的范围内,执行带有路径标签和动态断言的控制流和数据流分析。
覆盖规则集使分析更为简单,它自动化进行所有代码插装、数据记录和要求的度量检查。
静态度量分为以下三组:
简单计数度量
计算度量
信息度量
计数和计算度量是浮点值,信息度量是字符值。
除了Ada 95语法的计算之外,还提供了下列行业标准度量集:
McCabe圈复杂度
McCabe度量的Myers扩展
McCabe基本复杂度
Halstead软件科学
程序复杂性的Hansen度量