| 设计评审 |
概述
软件开发的一个很重要的方面是: “t软件应该按照期望的要求工作.” LDRA设计评审扩展了代码评审和质量评审提供的静态分析范围，包含了对源码as-built设计的分析。对代码结构，控制流和数据流进行检查，察看设计的一致性。
设计评审创建了一套方法学，以达到LDRA“零缺陷软件开发”的目标。在确保排除运行时间缺陷的前提下，系统测试和开发过程中花费了更多的费用，设计评审成为LDRA工具套件成本回收最主要的依据。
特点
设计的正确性
LDRA调用图和控制流图（代码评审结构）可以提供代码中所有参数和数据对象的全面分析。这个扩充的模型可以进行需求可追溯性和设计正确性的验证。为了更好的服务于这个目的，工具可以自动的产生头注释。
给开发人员和测试人员发放需求之前，设计评审可以用于确保设计和构建的一致性。代码在不需要需求的情况下进行分析，因此，支持设计与执行之间的转换。
接口和耦合分析
接口分析包括过程原型声明的验证，程序中使用到的参数和通过执行对接口一致性的测试。在c++中，包括类的成员变量和方法.
接口分析可以找出程序变量潜在的错误，工具提供对程序参数，全局变量和函数返回值的全面分析。
控制和数据的耦合，分别产生了“spider”图形和数据对象分析报告，来评估设计的易测性。
数据异常
数据流异常连续作用于程序变量中易出错的地方，数据流分析报告根据数据流异常的不同类型给出相应的信息。
数据流分析通过程序或者系统边界执行，并且产生异常报告。
可行性测试
设计评审模型通过自动处理被检测的行为，叫做可行性测试，它产生的测试环境可以执行所有的可行的路径，这个环境可以被LDRA单元测试组件有效的利用。
在c/c++中，最常见的执行时间错误常常和您的内存管理系统有关，或者是由指针对内存的使用引起的。LDRA通过对结构体，链表和数组的使用来检测这些问题。
优点
设计评审的主要优点有：
- 确保需求和实现的一致性
- 为测试评审的开展做了极好的准备
- 代码分析结果中没有 “误报”
- 接口分析验证程序变量的潜在错误
- 结论: 设计实现了与规格说明的一致性
可交付的
设计评审的关键是能够验证设计规格说明书与预期实现的一致性。
|
|
