白盒测试静态分析参考(共4页).doc

白盒测试一般会用到静态分析和动态分析两类技术。常用的有： 静态分析：控制流分析、数据流分析、信息流分析等 动态分析：逻辑覆盖测试（分支测试、路径测试等）、程序插装等控制流以下是几个相关概念 程序元素：一个程序元素通常是一个条件，一个简单的语句或者一块语句（多个连续语句） 控制流关系：一个程序的控制流关系（Control Flow Relation）叙述了程序元素和它们执行的次序之间的联系 控制流图：对应于控制流关系的图被称为控制流图 控制流矩阵：由控制流图得到，反映相邻程序元素之间的先后顺序关系控制流分析步骤 确定所有程序元素 根据程序元素之间的相互关系得到控制流图 将控制流图转换成控制流矩阵 通过数据结构的形式把控制流矩阵表示出来 借助算法对控制流进行分析，找出存在的问题控制流矩阵：1：语句有先后顺序关系，0：语句无先后顺序关系123456213