软件测试之白盒测试技术.pptVIP

变异体简单实例 程序P …. x = y+z ….. * * 程序P的一个变异体 …. x = y*z …. 测试用例（y=3，z=1）可以kill变异体 测试用例（y=2，z=2）执行后变异体仍存活 等价变异体 虽然在语法上存在差异，但在语义上保持一致 例如 for (int i =0; i 10; i++){…} for (int i =0; i != 10; i++){…} * * 等价变异体检测问题是研究难题 其他问题 变异测试 符号执行和动态符号执行 数据流分析 * * Symbolic Execution Adapted from slide by D. Rietmann Adapted from slide by D. Rietmann * 但符号执行是一种静态分析技术 仅能分析形参是简单数据类型的函数，当形参是数组或类的时候，该方法无法使用 UC Berkely的Koushik Sen等人将随机测试引入符号执行，提出动态符号执行技术（Dynamic Symbolic Exectuion，DSE） 思路简单但功能强劲，很精彩的研究工作 从论文的引用率可以看出该工作的影响力 * * DART: directed automated random testing ，2005（被引用831） CUTE: A concolic unit testing engine for C ，2005（被引用566） Dynamic Symbolic Execution Code to generate inputs for: Constraints to solve a!=null a!=null a.Length0 a!=null a.Length0 a[0]==1234567890 void CoverMe(int[] a) { if (a == null) return; if (a.Length 0) if (a[0] == 1234567890) throw new Exception(bug); } Observed constraints a==null a!=null !(a.Length0) a!=null a.Length0 a[0]!=1234567890 a!=null a.Length0 a[0]==1234567890 Data null {} {0} {123…} a==null a.Length0 a[0]==123… T T F T F F ExecuteMonitor Solve Choose next path Done: There is no path left. Negated condition 微软针对该方法基于.net平台实现了工具Pex /en-us/projects/pex/ * * DSE彻底解决该问题了吗？ DSE受到约束求解器求解能力的约束，并不能保证生成可覆盖所有可能路径的测试用例 演化测试是DSE技术的一个很好的补充 例如：演化测试可以更好的生成面向对象程序测试用例的方法调用序列 * * 其他问题 变异测试 符号执行和动态符号执行 数据流分析 * * * Data Flow Criteria Definition (def) : A location where a value for a variable is stored into memory Use : A location where a variable’s value is accessed def (n) or def (e) : The set of variables that are defined by node n or edge e use (n) or use (e) : The set of variables that are used by node n or edge e Goal: Try to ensure that values are computed and used correctly 0 2 1 6 3 5 4 X = 42 Z = X-8 Z = X*2 Defs: def (0) = {X} def (4) = {Z} def (5) = {Z} Uses: use (4) = {X} use (5) = {X} * DU Pairs and DU Paths DU pair : A pair of locations (li, lj) such tha