论文部分内容阅读
在某个测试用例GTC的驱动下，程序的执行结果与预期结果不符，需进行错误定位.首先根据测试用例与测试需求的关系，得到和GTC覆盖相同需求最多的3个成功测试用例和1个失败用例；然后引入程序切片技术，按照代码在各切片中出现的可能性给出代码含错的优先级；继而实施渐增式策略缩小可疑代码范围，分两阶段进行具体定位:精炼法检查最可能含有bug的代码，扩充法按照直接数据依赖分析逐步增加考察范围；最后给出实验数据进行效率分析。