论文部分内容阅读
针对基于UML的面向对象程序设计方法及着色Petri网的特点，提出了一种基于着色Petri网的测试用例生成方法，该方法将UML的时序图描述转化为着色Petri网的形式化描述，通过深度优先遍历着色Petri网找出系统的测试路径，对给出的测试数据采用爬山法进行测试用例的选择，最后，根据路径覆盖的原则产生完整的测试用例．