基于EDPN的类测试框架及测试用例生成技术的研究  

Research on a Testing Framework and Technology of Class Test Cases Generation Based on EDPN

作　　者：龚红仿[1] 李军义[1] 邹北骥[1] 孙家广[2] 

机构地区：[1]湖南大学计算机与通信学院,长沙410082 [2]清华大学信息科学技术学院,北京100084

出　　处：《计算机科学》2005年第5期224-229,共6页Computer Science

基　　金：本项研究得到国家863基础研究类项目(项目编号:2002AA411510);国家自然科学基金(项目编号60474070)

摘　　要：针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。In the technology of object-oriented software classes testing based-on statement, there are some questions such as uncertain, unreachable statement, combinatorial state explosion and test cases explosion. Aimming at the questions, a classes testing framework is proposed based-on EDPN, and the framework includes classes test, classes interaction test and classes hiberarchy test. It proposed a classes testing cases generation method of UIO based-on EDPN for generating statement transfer sequence, and a classes interaction testing cases generation method named Marked Associate Recursive of extended EDPN for generating Extended Orthogonal Array Matrix, and a classes hib- erarchy testing cases generation method with cooperated paths (copaths) based-on extended EMDPN for generating copaths sequence.

关 键 词：测试用例 测试框架 生成技术 面向对象软件 自动生成方法 测试过程 交互测试 测试模型 输入输出 状态转移 类测试 路径 递推法 扩展 正交阵 爆炸 组合 标记 序列 协同 列表 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论] TP311[自动化与计算机技术—计算机科学与技术]