Structural coverage of feasible code（AST ’10, May 3-4, 2010, Cape Town, South Africa）
摘要：
本文的主要思想是： 通过判断和修剪不可达分支，找到一种新的结构测试技术，以提高程序结构测试的覆盖度和结构测试测量的精确度。为此，我们把动态分析、concolic execution和abstraction refinemen结合起来以克服传统方法的局限性。动态分析监视测试的执行以确定程序状态空间中被覆盖的元素和可达路径，concolic execution计算路径约束以确定如何遍历未被覆盖的路径和元素，并对路径约束进行求解以生成测试这些未覆盖路径的测试用例，Abstraction refinement修剪哪些不满足路径约束的不可达元素。不可达元素的定义：原文 An element is ide 阅读全文
posted @ 2011-12-11 10:01 zhanghs 阅读(220) 评论(0) 推荐(1) 编辑
