[发明专利]软件测试案例生成方法、电子设备以及可读存储介质

权利要求书

1.一种软件测试案例生成方法，其特征在于，包括：

根据系统理论过程分析方法对安全苛求软件进行安全分析，得到不安全控制行为以及所述不安全控制行为对应的软件安全约束，并生成所述不安全控制行为对应的变异算子集合；

基于随机混成自动机将所述软件安全约束转换为软件安全控制模型，并利用所述软件安全控制模型生成所述变异算子集合中的各变异算子对应的变异体模型；

基于各所述变异算子对应的变异体模型，生成各所述变异体模型对应的原始测试案例。

2.根据权利要求1所述的软件测试案例生成方法，其特征在于，所述根据系统理论过程分析方法对安全苛求软件进行安全分析，得到不安全控制行为以及所述不安全控制行为对应的软件安全约束，包括：

确定与所述安全苛求软件对应的系统级事故、系统级危险以及系统级约束，构建系统的第一分层控制结构，并基于构建的所述第一分层控制结构，得到所述安全苛求软件中存在的四种类型的不安全控制行为；

构建带有过程模型变量的第二分层控制结构，并基于提供的情境与所述第二分层控制结构，得到导致各所述不安全控制行为的过程模型变量集合；

基于各所述不安全控制行为的过程模型变量集合，生成各所述不安全控制行为对应的软件安全约束。

3.根据权利要求2所述的软件测试案例生成方法，其特征在于，所述生成所述不安全控制行为对应的变异算子集合，包括：

基于随机混成自动机的语义与各所述不安全控制行为对应的过程模型变量集合，建立各所述不安全控制行为与多个变异算子映射关系，并得到由各所述不安全控制行为对应的变异算子组成的变异算子集合。

4.根据权利要求2所述的软件测试案例生成方法，其特征在于，

四种类型的不安全控制行为包括：提供控制行为导致的不安全控制行为、未提供控制行为导致的不安全控制行为、提供控制行为的时间或顺序错误以及控制行为持续时间太久或者停止过早。

5.根据权利要求1所述的软件测试案例生成方法，其特征在于，在所述基于各所述变异算子对应的变异体模型，生成各所述变异体模型对应的原始测试案例之前，还包括：

将各所述变异算子对应的变异体模型分别与所述软件安全控制模型进行一致性关系检查，获取各所述变异算子对应的变异体模型中的非等价变异体模型；

所述基于各所述变异算子对应的变异体模型，生成各所述变异体模型对应的原始测试案例，包括：

基于各所述变异算子对应的变异体模型中的非等价变异体模型，生成各所述非等价变异体模型对应的原始测试案例。

6.根据权利要求1所述的软件测试案例生成方法，其特征在于，在所述基于随机混成自动机将所述软件安全约束转换为软件安全控制模型之后，还包括：

将所述软件安全约束转换为随机混成自动机所需的计算树时态逻辑，并对所述时态逻辑进行安全需求验证。

7.根据权利要求1所述的软件测试案例生成方法，其特征在于，所述利用所述软件安全控制模型生成所述变异算子集合中的各变异算子对应的变异体模型，包括：

对于每个所述变异算子，将所述变异算子应用于所述软件安全控制模型中的一个位置或转换，得到所述变异算子对应的一阶变异体模型。

8.一种电子设备，其特征在于，包括：至少一个处理器；以及，

与所述至少一个处理器通信连接的存储器；其中，

所述存储器存储有可被所述至少一个处理器执行的指令，所述指令被所述至少一个处理器执行，以使所述至少一个处理器能够执行如权利要求1至7中任一项所述的软件测试案例生成方法。

9.一种计算机可读存储介质，其特征在于，存储有计算机程序，所述计算机程序运行时实现如权利要求1至7中任一项所述的软件测试案例生成方法。