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

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