论文部分内容阅读
面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试，该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event—Driven Petri Network，简称EDPN)模型直观可靠的特点和较好的耦合性运用到系统测试技术中，探讨了解决问题的途径，提出了一种基于EDPN的唯一输入输出(UIO)测试用例的生成方法，并设计了基于深度优先搜索方法的自动生成测试用例的算法。