论文部分内容阅读
重点将UML图和动态切片应用于回归测试中。针对现在应用于软件开发的UML图不能很好地满足软件测试的要求，引入了时序状态图和改进后的状态图，对两种图进行形式化定义，并且通过实例说明定义内容，其中时序状态图用于类间测试，改进后的状态图用于类内测试。对定义的图进行切片分析，形成测试步骤和测试算法。网上购物实例表明时序状态图和改进状态图可以提高回归测试效率。