| 
  中国学术期刊网络出版总库
  关闭
基于CPN的程序测试用例生成方法的研究  
   推荐 CAJ下载 PDF下载
【英文篇名】 Research of test case generation method based on colored Petri nets
【下载频次】 ★
【作者】 郑文艳;
【英文作者】 ZHENG Wenyan; Department of Computer Science and Technology; Dezhou University;
【作者单位】 德州学院计算机系;
【文献出处】 计算机工程与应用 , Computer Engineering and Applications, 编辑部邮箱 2014年 11期  
期刊荣誉：中文核心期刊要目总览  ASPT来源刊  中国期刊方阵  CJFD收录刊
【中文关键词】 程序测试; 颜色Petri网; 强连通图; 测试路径; 并行结构; 状态空间; 状态空间爆炸;
【英文关键词】 program test; colored Petri net; Strongly Connected Components(SCC)graph; test path; parallel architec-ture; state space; state space explosion;
【摘要】 采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模,而且对并行程序中的并行结构也进行了建模和仿真。在不针对某些具体语言比如C语言的情况下,提出了生成测试用例的新方法,该方法对具备三种基本结构特性的所有程序都具有普遍适用性。对具有并行结构的程序通过化简寻找测试路径。最后在生成测试用例之后,又利用CPN tools对所获得的测试用例进行选择和评价,最终确定合适的测试用例,不仅能够保证获取的测试路径是完整的而且是最优的。
【英文摘要】 Based on the mature modeling simulation tool CPN tools for programming language not only three basic structure 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 structure of the program through the re...
【基金】 德州市社会科学研究基地项目
【更新日期】 2014-09-05
【分类号】 TP311.53
【正文快照】 1引言 软件测试[1]可以保证对需求和设计的理解与表达的正确性,实现的正确性以及运行的正确性。软件测试是软件质量保证的重要手段。在软件开发总成本中,测试上的开销要占到30%~50%。因此,要成功开发出高质量的软件产品,必须重视和加强软件测试工作。程序调试成功,仅仅表明没有

xxx
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。

工业技术
　 自动化技术、计算机技术
　　 计算技术、计算机技术
　　　 计算机软件
　　　　 程序设计、软件工程
　　　　　 软件工程
　　　　　　 软件维护
  
 
  CNKI系列数据库编辑出版及版权所有：中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有：清华同方知网(北京)技术有限公司
其它数据库版权所有：各数据库编辑出版单位（见各库版权信息）
京ICP证040431号    互联网出版许可证 新出网证（京）字008号