2-5 静态测试2.pptVIP

例： 静态分析 public class Snippet { public static void main(String[] args) { int k = comp(4, 5); } private static int comp(int a,int b) { int help; if(a b) help = 1; return help; } } 4、控制流图 控制流图分析是描述程序控制流的一种图示方法。 在控制流图中，每一个圆称为流图的结点，代表一条或多条语句。流图中的箭头称为边或连接，代表控制流。 静态分析 控制流图的基本符号 顺序 判断 While until case 静态分析 通过控制流图的清楚描述，程序结构顺序很容易理解，同时可以发现一些可能的控制流异常，如跳出循环体，或程序结构有多个出口。 静态分析 将流程图映射成控制流图 静态分析 圈复杂度 圈复杂度也称圈数、环路复杂度、回路复杂度 圈复杂度可用来估算程序代码的可测试性和可维护性 圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。独立路径必须包含一条在定义之前不曾用到的边。 圈复杂度计算的基础是程序控制流图 静态分析 圈复杂度的计算 V(G) = e – n + 2 其中V(G)为控制