文件名称：控制流分析-基于遗传算法的车间布局研究
文件大小：850KB
文件格式：PDF
更新时间：2024-07-15 19:01:20
Testbe 静态测试
1.1 编程规则验证 编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用 LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。编程规则由 软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定， 如 DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则 搜索应用程序，并判断代码是否违反所制定的编程规则。 LDRA Testbed报告所 有违反编程规则的代码并以文本方式或图形反标注的方式显示。 测试人员或编程 人员可根据显示的信息对违反编程规则的代码进行修改。 1.2 数据流分析 LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并 以图形显示、 HTML 或 ASCII 文本报告方式表示，清晰地识别出变量使用引起 的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。 通过 Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠 缺，如： 1. 没使用的函数参数； 2. 不匹配的参数； 3. 变量未赋初值就引用； 4. 代码中有多余变量； 5. 给值传递参数赋值； 6. 无返回值的函数路径； 7. 函数的实参是全局变量。 1.3 控制流分析 控制流分析检查以下内容： 1. 不可达代码； 2. 不合理的循环结构； 3. 存在浮点相等比较； 4. 函数存在多个出口； 5. 函数存在多个入口。