关于依赖性分析的UML状态图切片在回归测试中的应用.pdfVIP

摘 要 随着计算机技术的飞速发展, 软件系统的数量越来越多, 规模越来越大, 复杂程 度越来越高。在一些大型、长生命周期的软件测试和维护过程中, 手工分析已经变得 越来越不可行, 越来越多的工作需要理论、技术和工具的支持。软件测试技术和程序 分析技术已成为软件领域的一个十分重要而又及其迫切的研究领域。对一个软件进 行大规模测试后, 对软件进行了某种小小的修改, 是否要对程序进行重新测试, 是一 个值得重视的问题。从程序切片的角度去考虑这个问题, 首先应该找到程序新旧版本 之间的不同之处。比较两者的切片和依赖图, 对那些具有相同切片的特点不用考虑。 将那些在新版本依赖图中出现, 而在旧版本依赖图中不出现的结点, 标记出来, 称为 “影响点”, 计算它的静态切片和前向切片, 取二者的交集。这样, 如果要对程序进 行重测试, 仅仅需要对此交集进行测试, 因而减少了工作量的消耗。 近几年来，出现了一些新的技术，这些技术对软件测试产生了十分重要的影响。 其中一种