作者：龚红仿; 李军义; 邹北骥; 孙家广测试用例测试框架生成技术面向对象软件自动生成方法测试过程交互测试测试模型输入输出状态转移类测试路径递推法扩展正交阵爆炸组合标记序列协同列表
摘要：针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合"爆炸"和测试用例"爆炸"等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
