形式化测试用报告的生成方法、系统、设备及存储介质与流程

本申请涉及数据测试领域，具体涉及一种形式化测试用报告的生成方法、系统、设备及计算机可读存储介质。

背景技术：

1、随着中国航天事业的高速发展，航天发射任务越来越密集，航天软件测试强度不断增大。作为软件质量和可靠性的重要保证手段，如何在提高测试效率的同时确保软件测试的充分性和有效性，成为航天软件测试的新课题。

2、在航天装备软件的测试验证工作过程中，测试需求开发是至关重要的环节，也是开展一切测试验证工作的基础。传统利用自然语言描述的软件需求具有不确定性、二义性且缺乏对软件需求进行严格检查的有效途径，因此无法确保软件需求的正确性、完善性和合理性，这对开发与测试高可信装备软件带来了重要隐患。

3、形式化是一种基于数学的软件开发方法，通过严格的框图、箭头的属性定义，能够确保所开发的测试需求是精确、可验证和可传递的，能够有效避免需求描述的模糊性和二义性，是保证软件质量和提高软件生产率的有效方法。

4、利用形式化方法固然可以对装备软件的需求进行充分刻画，但是在重构和增量开发这些极限编程开发环节中，随着需求和设计的变更，测试的需求变动也必然很频繁，单靠程序测试人员重新利用形式化语言描述需求，再根据形式化描述手工修改和维护测试用例的工作量很大，也很容易出错，难以适应于当前型号研制“短周期，快迭代”的特点。因此基于形式化的软件自动化的测试用例生成和测试执行对测试人员来说已显得越来越重要。但目前从测试需求分析到生成测试用例以及执行测试用例，都是靠测试人员人工执行，存在效率低和工作量大的问题，不能满足当前型号研制对软件测试进度和质量的要求。

技术实现思路

1、本申请提供一种形式化测试用报告的生成方法、系统、设备及计算机可读存储介质，可以解决现有技术中存在的从测试需求分析到生成测试用例以及执行测试用例，都是靠测试人员人工执行，存在效率低和工作量大的问题技术问题。

2、第一方面，本申请实施例提供一种形式化测试用报告的生成方法，其特征在于，所述形式化测试用例的生成方法包括：

3、获取形式化配置信息，所述形式化信息包括形式化逻辑信息和形式化描述信息；

4、根据所述形式化逻辑信息和所述形式化描述信息，生成对应的测试用例和自动执行脚本；

5、基于所述自动执行脚本对所述测试用例进行测试，生成测试报告。

6、结合第一方面，在一种实施方式中，所述根据所述形式化逻辑信息和所述形式化描述信息，生成对应的测试用例和自动执行脚本，包括：

7、通过所述形式化描述信息中的节点元素查询所述形式化逻辑信息中的节点，其中，所述形式化逻辑信息中的节点至少为一个；

8、若所述形式化逻辑信息中的节点为多个，则将确定的目标节点的连线两端中的一端为开始节点，另一端为结束节点，生成对应的测试用例和自动执行脚本，其中，所述多个所述节点以连线的方式连接。

9、结合第一方面，在一种实施方式中，所述形式化逻辑信息的节点包括：开始、上电运行、空闲状态和非正式运行状态；和/或开始、上电运行、空闲状态和在线升级状态。

10、结合第一方面，在一种实施方式中，所述形式化配置信息的节点元素包括名称信息、描述信息、参数信息和返回值。

11、第二方面，本申请实施例提供了一种形式化测试用报告的生成系统，所述形式化测试用报告的生成系统包括：

12、获取模块，用于获取形式化配置信息，所述形式化信息包括形式化逻辑信息和形式化描述信息；

13、第一生成模块，用于根据所述形式化逻辑信息和所述形式化描述信息，生成对应的测试用例和自动执行脚本；

14、第二生成模块，用于基于所述自动执行脚本对所述测试用例进行测试，生成测试报告。

15、结合第二方面，在一种实施方式中，所述第二生成模块包括：

16、通过所述形式化描述信息中的节点元素查询所述形式化逻辑信息中的节点，其中，所述形式化逻辑信息中的节点至少为一个；

17、若所述形式化逻辑信息中的节点为多个，则将确定的目标节点的连线两端中的一端为开始节点，另一端为结束节点，生成对应的测试用例和自动执行脚本，其中，所述多个所述节点以连线的方式连接。

18、结合第二方面，在一种实施方式中，所述形式化逻辑信息的节点包括：开始、上电运行、空闲状态和非正式运行状态；和/或开始、上电运行、空闲状态和在线升级状态。

19、结合第二方面，在一种实施方式中，所述形式化配置信息的节点元素包括名称信息、描述信息、参数信息和返回值。

20、第三方面，本申请实施例提供了一种形式化测试用报告的生成设备，所述形式化测试用报告的生成设备包括处理器、存储器、以及存储在所述存储器上并可被所述处理器执行的形式化测试用报告的生成程序，其中所述形式化测试用报告的生成程序被所述处理器执行时，实现如上所述的形式化测试用报告的生成方法的步骤。

21、第四方面，本申请实施例提供了一种计算机可读存储介质，所述计算机可读存储介质上存储有形式化测试用报告的生成程序，其中所述形式化测试用报告的生成程序被处理器执行时，实现如上述的形式化测试用报告的生成方法的步骤。

22、本申请实施例提供的技术方案带来的有益效果包括：

23、通过获取形式化配置信息，所述形式化信息包括形式化逻辑信息和形式化描述信息；根据所述形式化逻辑信息和所述形式化描述信息，生成对应的测试用例和自动执行脚本；基于所述自动执行脚本对所述测试用例进行测试，生成测试报告，解决了相关技术中存在的从测试需求分析到生成测试用例以及执行测试用例，都是靠测试人员人工执行，存在效率低和工作量大的问题技术问题，将形式化描述自动转化为对应的测试用例，提高了工作效率。

1.一种形式化测试用报告的生成方法，其特征在于，所述形式化测试用例的生成方法包括：

2.如权利要求1所述的形式化测试用报告的生成方法，其特征在于，所述根据所述形式化逻辑信息和所述形式化描述信息，生成对应的测试用例和自动执行脚本，包括：

3.如权利要求2所述的形式化测试用报告的生成方法，其特征在于，所述形式化逻辑信息的节点包括：开始、上电运行、空闲状态和非正式运行状态；和/或开始、上电运行、空闲状态和在线升级状态。

4.如权利要求2所述的形式化测试用报告的生成方法，其特征在于，所述形式化配置信息的节点元素包括名称信息、描述信息、参数信息和返回值。

5.一种形式化测试用报告的生成系统，其特征在于，所述形式化测试用报告的生成系统包括：

6.如权利要求5所述的形式化测试用报告的生成系统，其特征在于，所述第二生成模块包括：

7.如权利要求6所述的形式化测试用报告的生成系统，其特征在于，所述形式化逻辑信息的节点包括：开始、上电运行、空闲状态和非正式运行状态；和/或开始、上电运行、空闲状态和在线升级状态。

8.如权利要求6所述的形式化测试用报告的生成系统，其特征在于，所述形式化配置信息的节点元素包括名称信息、描述信息、参数信息和返回值。

9.一种形式化测试用报告的生成设备，其特征在于，所述形式化测试用报告的生成设备包括处理器、存储器、以及存储在所述存储器上并可被所述处理器执行的形式化测试用报告的生成程序，其中所述形式化测试用报告的生成程序被所述处理器执行时，实现如权利要求1至4中任一项所述的形式化测试用报告的生成方法的步骤。

10.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质上存储有形式化测试用报告的生成程序，其中所述形式化测试用报告的生成程序被处理器执行时，实现如权利要求1至4中任一项所述的形式化测试用报告的生成方法的步骤。