一种基于仿真测试用例的软件验证方法技术

本发明专利技术属于确认与验证过程模型技术中的软件验证技术，提出一种基于仿真测试用例的软件验证方法，包括：步骤1、在Excel表格中创建测试场景，测试场景创建包括两部分内容：通过/失败判据和转换条件；步骤2、运行工具脚本将Excel表格中的测试场景自动生成，每个测试场景对应一个测试用例，测试脚本包含所有的测试用例；步骤3、运行测试脚本，调用被测模型，根据不同的转换条件以及通过/失败判据完成所有测试用例的仿真运行，自动生成测试报告与覆盖率报告。采用测试场景自动生成的仿真测试用例方法进行软件验证测试，能够简化测试过程，减小测试人员工作量及难度，同时提高测试工具复用性，提高测试脚本与结果的可读性。

A software verification method based on simulation test case

The invention belongs to the validation and verification of software verification process model technology, a method is proposed to verify the simulation test case based software comprises the following steps: 1, in the Excel table to create a test scene, creating test scene includes two parts: the pass / fail criteria and transition conditions; step 2, running script will test tools scene Excel table automatic generation, each test scenario corresponds to a test case, the test script contains all the test cases; step 3, run the test script, called the test model, according to the different conditions of conversion and pass / fail criteria to complete the simulation operation of all the test cases, automatic test report generation and coverage report. The simulation test case method, which is automatically generated by test scenario, is used for software verification test, which simplifies the testing process, reduces the workload and difficulty of the tester, and improves the reusability of test tools, and improves the readability of test scripts and results.

【技术实现步骤摘要】
一种基于仿真测试用例的软件验证方法
本专利技术属于确认与验证过程模型技术中的软件验证技术，具体涉及一种针对状态机模型的场景自动生成的仿真测试用例方法。
技术介绍
软件验证技术是确认与验证过程模型技术的一部分，是对软件实现的是否完全遵循需求的验证，并保证验证的完全覆盖程度。目前飞机维护功能软件的开发和验证均是通过C语言编写脚本来实现的，通过手工撰写脚本来逐一验证软件所实现的各个功能。这种方法要求测试人员具备较高的编程能力，代码量大，并且脚本可读性较弱，复用性差。同时，测试人员难以达到对软件测试的百分之百覆盖。
技术实现思路
本专利技术的目的是：提出一种基于仿真测试用例的软件验证方法，以规范测试流程，简化测试过程，降低测试难度，提高可读性和复用性，同时完成测试报告与覆盖率报告的自动生成。本专利技术的技术方案：一种基于仿真测试用例的软件验证方法，包括：步骤1、在Excel表格中创建测试场景，测试场景创建包括两部分内容：通过/失败判据和转换条件；步骤2、运行工具脚本将Excel表格中的测试场景自动生成，每个测试场景对应一个测试用例，测试脚本包含所有的测试用例；步骤3、运行测试脚本，调用被测模型，本文档来自技高网...

【技术保护点】
一种基于仿真测试用例的软件验证方法，其特征在于，包括：步骤1、在Excel表格中创建测试场景，测试场景创建包括两部分内容：通过/失败判据和转换条件；步骤2、运行工具脚本将Excel表格中的测试场景自动生成，每个测试场景对应一个测试用例，测试脚本包含所有的测试用例；步骤3、运行测试脚本，调用被测模型，根据不同的转换条件以及通过/失败判据完成所有测试用例的仿真运行，自动生成测试报告与覆盖率报告。

【技术特征摘要】
1.一种基于仿真测试用例的软件验证方法，其特征在于，包括：步骤1、在Excel表格中创建测试场景，测试场景创建包括两部分内容：通过/失败判据和转换条件；步骤2、运行工具脚本将Excel表格中的测试场景自动生成，每个测试场景对应一个测试用例，测试脚本包含所有的测试用例；步骤3、运行测试脚本，调用被测模型，根据不同的转换条件以及通过/失败判据完成所有测试用例的仿真运行，自动生成测试报告与覆盖率报告。2.如权利要求1所述的一种基于仿真测试用例的软件验证方法，其特征在于，还包括：步骤4、分析生成的覆盖率报告包括整个被测模型和其中各个模块的测试覆盖程...

【专利技术属性】
技术研发人员：刘赛遥，曹睿婷，常华，
申请(专利权)人：中国航空工业集团公司西安飞行自动控制研究所，
类型：发明
国别省市：陕西,61