摘要
程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.
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.
出处
《装甲兵工程学院学报》
2004年第2期31-34,60,共5页
Journal of Academy of Armored Force Engineering
关键词
回归测试
面向对象
类层次
程序切片
类成员后向切片
regression testing
object-oriented program analysis
class hierarchy analysis
program slicing
backward-slicing of class members