软件测试技术保证了软件质量、提高了软件可靠性、降低了软件生产成本,而其中的一个关键环节是测试用例的生成。软件测试用例的生成目前主要采用的人工、半人工的方法,而测试用例的自动生成能在一定程度上弥补人工操作中工作量大、测试周期长、容易遗漏的缺点。软件测试用例的自动生成一直是软件测试流程实现自动化的重点和难点。　　 Petri网是一种图形化的形式化语言表示法,该方法采用具有形式语义的图形语言,图形化表示法易于理解,而且非专业人员能够使用,因此是一种通用的系统确定表示法。鉴于Petri网具有很好的解决异步、并发模型的特点,而场景级测试中测试用例生成同样面对异步、并发的问题,因此选择Petri网作为测试用例自动生成方法的建模方式。　　 本文以场景类测试为例提出了基于Petri网的嵌入式测试用例自动生成方法,通过Petri网理论对测试模型建模,再对模型分析验证,最后生成测试用例集。该方法支持回归生成测试用例集,弥补了对测试用例集需求变化的情况。同时,该方法支持测试用例的自动生成。该方法可以有效的描述系统中的状态及行为,并且保证了较高的覆盖率指标,有助于提高测试的效率和质量。　　 本课题在研究Petri网模型分析时提出了标识展开树的方法。本方法通过定义循环节点和跳出节点来极大的简化可达标识树的规模,并用标识展开树分析了有界性、可达性和活性。同时,对于Petri网应用中经常出现的状态爆炸问题,用标识展开树的分析方法做了验证。　　 最后,本文提供了基于Petri网嵌入式测试用例自动生成方法的可视化建模工具,实现了软件建模、模型分析及测试用例的自动生成,该工具对本课题方法正确性和实用性做了很好的验证。