论文部分内容阅读
一些软件工程任务需要缩小程序的大小或将一个大程序分解为更小的部件,如软件调试、软件测试、程序理解、代码重构以及软件复用等.通过使用程序切片技术,可以将对程序研究的范围缩小到根据切片准则得到的一个原程序的子集,从而达到以上目的,使我们能更准确地理解程序以及提高分析程序的效率.基于切片技术的软件测试是一种全新的软件测试技术，它把对整个程序的测试转化为只对某个程序切片的测试。与传统的测试方法相比，它具有效率高、准确性好等优点。除了简单的程序切片外，当前结合静态分析以降低模型检测复杂性的切片工具不多。可以对此做进一步的研究和工具的开发。