面向静态分析的软件测试工具评估方法与应用研究.docxVIP

面向静态分析的软件测试工具评估方法与应用研究

目录

内容描述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．3

1.1研究背景与意义．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．3

1.2研究目标与内容．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．4

1.3研究方法与技术路线．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．4

软件测试工具概述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．5

2.1软件测试工具定义．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．6

2.2软件测试工具分类．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．7

2.3软件测试工具的发展历史．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．8

静态分析技术综述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．9

3.1静态分析的定义与特点．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．9

3.2静态分析的关键技术．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．10

3.2.1代码规范检查．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．11

3.2.2语法检查．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．12

3.2.3语义检查．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．13

3.2.4程序结构分析．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．14

3.3静态分析在软件测试中的应用．．．．．．．．．．．．．．．．．．．．．．．．．．．．15

3.3.1缺陷预测．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．16

3.3.2性能评估．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．17

3.3.3安全审计．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．17

面向静态分析的软件测试工具评估方法．．．．．．．．．．．．．．．．．．．．．18

4.1评估指标体系构建．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．19

4.1.1功能完备性．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．20

4.1.2准确性与可靠性．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．20

4.1.3易用性与可维护性．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．21

4.2评估模型设计．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．22

4.2.1定量评估模型．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．23

4.2.2定性评估模型．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．24

4.3评估方法实施步骤．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．25

4.3.1数据收集与预处理．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．26

4.3.2评估过程与结果分析．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．28

4.3.3评估报告编写与应用．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．29

面向静态分析的软件测试工具应用案例分析．．．．．．．．．．．．．．．．．30

5.1案例选取与背景介绍．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．31

5.2工具选择与评估方法应用．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．32

5.2.1案例一．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．32

5.2.2案例二．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．34

5.3案例分析与结果讨论．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．36

5.3.1成功因素分析．．．．．