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

针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题，提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架，设计了相应的测试模型；提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法，生成状态转移路径序列，测试类的状态；提出了基于扩展的EDPN的状态组合的标记关联递推法，生成扩展的正交阵列表，测试类的交互；提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法，生成协同路径序列，测试类的层次。

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

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.