基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.

Regression Testing of Object-Oriented Programs Based on Backward-slicing Class Members

It is obvious that small changes made in a part of program can have major and non-local effects in object-oriented programs. Therefore, reducing the expense of regression testing is very important. Program slicing is an important method for program analysis and testing. Tip is the only known one that has put forward a method for slicing class hierarchies. It is a method that can slice class members of object-oriented programs and Tip's method is based on the Rossie-Friedman framework. However, its aim is to optimize object-oriented programs, thus not directly applicable to regression testing. Basing on the Rossie-Friedman framework, this paper presents a novel slicing method on class members, namely backward-slicing method. Furthermore, we present a regression testing strategy, using granularity at the class member level.