测试用例的生成方法及装置、电子设备、存储介质制造方法及图纸

本申请公开了一种测试用例的生成方法及装置、电子设备、存储介质，其中所述方法包括：获取待处理的程序代码对应的Petri网模型；其中，所述Petri网模型是基于所述程序代码中包括的至少两个可执行语句建立的；将所述Petri网模型分解为至少一个活性段组；其中，每一所述活性段组中至少包括一个具有活性的变迁；基于每一所述活性段组，生成所述程序代码的测试用例集。本申请直接基于对建立好的Petri网进行分解得到测试用例集，这样减少了测试用例的复杂性，同时减少了测试工作量。本申请很好地解决UML模型无法很好地描述并行活动且向Petri网模型进行转化困难的问题。Petri网模型进行转化困难的问题。Petri网模型进行转化困难的问题。

【技术实现步骤摘要】
测试用例的生成方法及装置、电子设备、存储介质


[0001]本申请涉及电子设备
，涉及但不限定于测试用例的生成方法及装置、电子设备、存储介质。

技术介绍

[0002]随着软件系统的规模持续扩大，需求日益复杂，对软件质量的要求也越来越高，软件测试显得尤为重要。软件测试贯穿于软件项目的整个生命周期，是软件开发过程中必须执行的重要过程，更是软件质量保证的重要手段。在软件测试过程中，测试用例的生成是其关键环节，也对实现软件测试的自动化有着重要影响。测试用例的生成是软件测试的核心，其关键在于构造一个合理和有限的测试用例集。
[0003]相关技术中提供了一种软件测试用例自动生成方法，该方法针对C或者C++语言，通过统一建模语言(Unified Modeling Language，UML)的状态图、动态图等生成过渡模型，对于UML图再转化为Petri网模型，通过对可达标志树进行改进，采用遍历算法获得标志序列来生成测试用例。UML本身在对设计描述方面的形式化准则比较欠缺，无法很好地描述并行活动的同步问题，建模过程中会产生状态冲突、状态爆炸问题，这对本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种测试用例的生成方法，其特征在于，所述方法包括：获取待处理的程序代码对应的Petri网模型；其中，所述Petri网模型是基于所述程序代码中包括的至少两个可执行语句建立的；将所述Petri网模型分解为至少一个活性段组；其中，每一所述活性段组中至少包括一个具有活性的变迁；基于每一所述活性段组，生成所述程序代码的测试用例集。2.如权利要求1所述的方法，其特征在于，所述Petri网模型包括以下属性：库所、变迁和令牌；所述方法还包括：将所述至少两个可执行语句中彼此相邻的可执行语句，分别表示为所述库所和所述变迁；在所述程序代码中首个可执行语句表示为第一库所的情况下，在所述第一库所中添加一个令牌；基于所述库所和所述变迁之间的逻辑关系，建立所述Petri网模型。3.如权利要求1所述的方法，其特征在于，所述将所述Petri网模型分解为至少一个活性段组，包括：确定所述Petri网模型的邻接矩阵；其中，所述邻接矩阵中的元素T
ij
表示变迁从库所P
i
输入到库所P
j
输出；基于所述邻接矩阵和数学逻辑操作，对所述Petri网模型进行分解，得到所述至少一个活性段组；其中，所述数学逻辑操作至少包括以下之一操作：优先级依次降低的和运算、或运算和异或运算。4.如权利要求3所述的方法，其特征在于，所述Petri网模型的属性还包括每一所述库所与每一所述变迁之间的有向弧，所述确定所述Petri网模型的邻接矩阵，包括：基于所述Petri网模型中所述有向弧的方向，确定所述Petri网模型中任意两个库所之间的指向属性；基于所述任意两个库所之间的指向属性，生成所述Petri网模型对应的邻接矩阵。5.如权利要求3所述的方法，其特征在于，所述基于所述邻接矩阵和数学逻辑操作，对所述Petri网模型进行分解，得到所述至少一个活性段组，包括：基于所述邻接矩阵，确定所述Petri网模型中每一变迁的活性；基于所...

【专利技术属性】
技术研发人员：郭晓红，
申请(专利权)人：中国移动通信集团有限公司，
类型：发明
国别省市：