CPN建模与on-the-fly方法相结合的测试用例生成

发布时间：2018-06-27 12:04

本文选题：on-the-fly测试 + CPN层次模型　；参考：《软件学报》2017年10期

【摘要】：在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴趣的部分状态空间进行针对性的测试.首先,给出CPN和扩展可达图的定义,介绍了on-the-fly测试方法中涉及的相关概念,包括系统规约、测试目的、同步乘积和测试例等.然后,实现了同步乘积算法,并设计相关测试例对其进行了测试.最后,选定一个被测系统示例CPN建模与on-the-fly结合的方法,并通过适配器实现与被测系统的交互,生成和执行测试例,由此验证了方法的可行性和有效性.
[Abstract]:When testing complex software systems, the resulting state space can be very large. In order to avoid traversing the whole state space, the on-the-fly method is combined with the formal modeling method to generate test cases. In this method, there is no need to traverse the whole state space, but only the part of the state space of interest to the testers is tested. Firstly, the definitions of CPN and extensible Datuk are given, and the related concepts in on-the-fly testing methods are introduced, including system specification, test purpose, synchronous product and test examples. Then, the synchronous product algorithm is implemented, and a related test case is designed to test it. Finally, a method of combining CPN modeling with on-the-fly is selected, and a test example is generated and executed through the adapter. The feasibility and effectiveness of the method are verified.
【作者单位】：内蒙古大学计算机学院;内蒙古大学网络信息中心;
【基金】：国家自然科学基金(61163011,61262082) 内蒙古自治区自然科学基金(2015MS0612) 内蒙古自治区高校科学技术研究项目(NJZY010) 赛尔创新项目(NGⅡ20150112)~~
【分类号】：TP311.53

【相似文献】