logo
首页>产品中心>AdaTEST 95>静态代码度量

AdaTEST 95静态代码度量功能可用于独立分析,也可集成在AdaTEST 95的测试中。它们自动化提供关于代码质量、维护性的客观测量,评估测试投入。


AdaTEST 95静态分析易于:

设置要测量哪些质量度量

诊断和实施度量

生成报告与合格审定的证明材料

AdaTEST 95静态度量帮我做什么?

定义所需的代码度量

AdaTEST 95产生100多个静态代码度量,在Ada 95语法(Ada语言参考手册)和工业标准度量集上。通过分析向导和静态分析规则集,可以简单地选择所需的度量。

它们不仅可以定义所需的静态代码度量,还可以检查每个要与AdaTEST 95动态测试集成的度量的可接受值。


诊断和实施度量

度量被生成为.CSV文件、List文本文件,并显示在HTML结果查看器中,以便进行全面诊断。


AdaTEST 95HTML结果概要提供了实施的静态度量值的检查历史记录,用于趋势分析。


静态代码度量的实施完全自动化地集成在AdaTEST 95的测试脚本中,动态和静态测试完全同步。

 

AdaTEST 95为所有插装的过程、函数、保护的子程序/入口和已经执行的任务生成静态度量。而且,除了过程、函数和任务体之外,也能获得包规范和包体的度量,用在列表文本文件中检查。


AdaTEST_HRO__trend_data__Screenshotbbbbb.png

生成报告

除了在HTML结果查看器和概要中对代码覆盖率结果进行强大的诊断之外,AdaTEST 95还生成满足覆盖率要求的用于安全标准合格审定的ASCII文本报告。

报告和认证证据嵌入了对实现所需代码覆盖和静态度量目标的集成检查。


AdaTEST 95静态分析如何工作?

AdaTEST 95使用插装后的源代码副本,静态度量数据记录在CSVHTML文件中用于诊断,以及用于认证的ASCII文本列表文件和AdaTEST动态测试结果文件证据。

静态分析可与AdaTEST 95的测试集成使用,检查度量值在可接受的范围内,执行带有路径标签和动态断言的控制流和数据流分析。

覆盖规则集使分析更为简单,它自动化进行所有代码插装、数据记录和要求的度量检查。


AdaTEST 95提供哪些代码度量?
AdaTEST 95在Ada 95代码语法上产生100多个度量,它们定义在Ada 95参考手册附录P。

静态度量分为以下三组:

  简单计数度量

  计算度量

  信息度量

计数和计算度量是浮点值,信息度量是字符值。

除了Ada 95语法的计算之外,还提供了下列行业标准度量集:

  McCabe圈复杂度

  McCabe度量的Myers扩展

  McCabe基本复杂度

  Halstead软件科学

  程序复杂性的Hansen度量


AdaTEST 95全部静态代码度量如下:
返回AdaTEST 95
本网站使用cookies来帮助改善您的体验。
请点击链接以后了解有关cookies的更多信息。了解更多
我明白
×
×