第4讲-软件静态分析.pdfVIP

软件测试技术 曾福萍 北京航空航天大学工程系统工程系 软件静态分析 内容  什么是静态分析？  静态分析的主要内容？ 张虹 2011/4/29 软件测试技术—第4讲—软件静态分析 3 什么是静态分析？ 软件测试技术 静态测试 动态测试 人工检查 自动静态分析 白盒测试 黑盒测试 张虹 2011/4/29 软件测试技术—第4讲—软件静态分析 4 什么是静态分析？ 静态分析(static analysis)是一种对代码的机械 性的、程式化的特性分析方法。静态分析一般常 用软件工具进行，包括控制流分析、数据流分析 、接口分析等。 适用对象 适用于计算机软件单元、计算机软件部件、 计算机软件配置项的源代码。 进入条件 代码无错误地通过编译。 张虹 2011/4/29 软件测试技术—第4讲—软件静态分析 5 软件静态分析的主要内容 1. 数据流分析 2. 控制流分析 3. 编码规则检查 4. 接口分析 5. 软件度量分析 张虹 2011/4/29 软件测试技术—第4讲—软件静态分析 6 1. 数据流分析  用数据流图来分析数据处理的异常现象（数 据异常），这些异常包括初始化、赋值、或 引用数据等的序列的异常。  静态数据流分析包括： • 过程或函数调用信息分析； • 数据流反常分析。 张虹 2011/4/29 软件测试技术—第4讲—软件静态分析 7 数据流分析  过程或函数调用信息分析 张虹 2011/4/29 软件测试技术—第4讲—软件静态分析 8 数据流  如果程序中某一语句的执行能改变程序变量V 的 值，则称V是被该语句定义的。(Define) 如：x = y + 10 scanf (%d, i )  如果某一语句的执行引用了内存中变量V 的值， 则说该语句引用变量V 。(Reference) 如：s = 2 * ( t +46 ) if ( x100 ) array[i] 张虹 2011/4/29 软件测试技术—第4讲—软件静态分析 9 数据流分析  数据流反常 • UR 1 void proc () » 未定义就引用； 2 { 3 int x,y,z,t; » 真实错误（genuine error). 4 x = 1; • DU 5 if (y 0)