编程语言的设计原理recursivetypes-北京大学软件工程研究所.pdfVIP

软件分析 错误定位技术 熊英飞 北京大学 2016 自动化调试 • 静态分析、测试等技术都是为了发现缺陷 • 当一个缺陷被发现之后，如何修复该缺陷？ • 如何知道缺陷是因为哪行程序的错误导致的？ • 当定位到有缺陷的语句之后，如何修复该语句的缺陷？ 2 基于测试的错误定位 • 输入： • 软件系统的源码 • 一组测试，至少有一个没有通过 • 输出： • 一个可能有错误的程序元素列表，根据出错概率排序 • 程序元素可以定义在不同级别上 • 表达式 • 语句 • 方法 • 类 • 文件 • …… 3 基于测试的错误定位 程序切片 4 程序切片 • 给定程序中的一条语句S ，找到所有可能可能影 响S或者S可能影响的语句 • 语句S称为切片准则 • 切片准则也可能是执行到某个位置的某个变量 • 切片分类 • 后向切片：找到所有影响S 的语句 • 前向切片：找到所有S可能影响的语句 • 静态切片：找到在任何输入下可能被影响的语句 • 动态切片：给定特定输入，只考虑该输入下可能被影 响的语句 5 程序切片示例：静态切片 a=0; 后向 a=0; 前向 b=3; 切片 b=3; 切片 If (x0) If (x0) {a=1; b++;} {a=1; b++;} else else {a=2; b--;} {a=2; b--;} z=a; z=a; b=b+z; b=b+z; b=b-a; b=b-a; If (b0) If (b0) … … 6 程序切片示例：静态切片 a=0; 后向 a=0; 前向 b=3; 切片 b=3; 切片 If (x0) If (x0) {a=1; b++;} {a=1; b++;} else else {a=2; b--;} {a=2; b--;} z=a; z=a; b=b+z; b=b+z; b=b-a; b=b-a; If (b0)