编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法,使用LDRA Testbed自动地验证应用软件是否遵循了所选择的编程规则。编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定,如DERA(欧洲防务标准),MISRA(汽车软件标准),LDRA Testbed依据此规则搜索应用程序,并判断代码是否违反所制定的编程规则。LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。
1.控制流结点度量(Control Flow Knots);
2.LCSAJ密度度量(LCSAJ Density);
3.扇入/扇出度量;
4.循环深度度量;
5.McCabe圈复杂度;
6.Halstead软件科学度量;
7.McCabe Essential复杂度;
8.注释行度量;
9.代码可达性度量;