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

• 作者: 郑文艳
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 程序测试 颜色Petri网 强连通图 测试路径 并行结构 状态空间 状态空间爆炸
• 年，卷（期）: 2014,（11）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 39-45
• 页数: 7页
• 分类号: TP301
• 字数: 4980字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1301-0288

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑文艳	德州学院计算机系	30	63	4.0	6.0