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

Research of test case generation method based on colored Petri nets

作　　者：郑文艳[1] 

机构地区：[1]德州学院计算机系,山东德州253023

出　　处：《计算机工程与应用》2014年第11期39-45,共7页Computer Engineering and Applications

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

摘　　要：采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模,而且对并行程序中的并行结构也进行了建模和仿真。在不针对某些具体语言比如C语言的情况下,提出了生成测试用例的新方法,该方法对具备三种基本结构特性的所有程序都具有普遍适用性。对具有并行结构的程序通过化简寻找测试路径。最后在生成测试用例之后,又利用CPN tools对所获得的测试用例进行选择和评价,最终确定合适的测试用例,不仅能够保证获取的测试路径是完整的而且是最优的。Based on the mature modeling simulation tool CPN tools for programming language not only three basic struc-ture modeling, the parallel structure of parallel program has also carried on the modeling and simulation. Not for some specific language such as C language situation, it puts forward the generating test cases of the new method, this method to have three basic structure characteristics of all program has universal applicability. It finds testing path with parallel struc-ture of the program through the reduction. After generating test cases, it uses the CPN tools for test case selection and eval-uation, finally determines the appropriate test cases, can guarantee that testing path is complete and optimal.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]