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

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