基于CPN的程序测试用例生成方法的研究

摘要：

采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模，而且对并行程序中的并行结构也进行了建模和仿真。在不针对某些具体语言比如C语言的情况下，提出了生成测试用例的新方法，该方法对具备三种基本结构特性的所有程序都具有普遍适用性。对具有并行结构的程序通过化简寻找测试路径。最后在生成测试用例之后，又利用CPN tools对所获得的测试用例进行选择和评价，最终确定合适的测试用例，不仅能够保证获取的测试路径是完整的而且是最优的。

关键词：程序测试、颜色Petri网、强连通图、测试路径、并行结构、状态空间、状态空间爆炸

分类号：TP301(计算技术、计算机技术)

资助基金：德州市社会科学研究基地项目。

在线出版日期：2014-06-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：39-45