机载软件的测试方法

标题：机载软件的测试方法

摘要：本发明提出了一种机载软件的测试方法。该方法包括：对机载软件的功能进行分析和逻辑解算；根据逻辑图，在指定的用例生成工具中编写需求表达式；根据需求表达式编译自动生成机载软件的功能需求的条件穷举文件；建立软件功能测试序列模板，生成功能测试用例示例模板文件；建立软件功能需求和软件测试需求之间的映射关系；根据映射关系将条件穷举文件的内容与功能测试用例示例模板文件的内容一一对应，生成新的穷举文件；将测试驱动文件更改为测试用例集；利用软件测试工具，先导入测试用例集，再自动生成驱动模块；基于驱动模块，对机载软件进行自动测试。本发明减少了工作负担，增加了测试效率及正确率；通用性强，提高了软件的质量和可靠性。

申请号：CN201811318726.4

申请日：2018/11/7

申请人：中国航空工业集团公司西安飞机设计研究所

首项权利要求：1.一种机载软件的测试方法，其特征在于，包括：
对机载软件的功能进行分析和逻辑解算，得到机载软件的功能的逻辑图；
根据逻辑图，在指定的用例生成工具中编写需求表达式；
根据需求表达式编译自动生成机载软件的功能需求的条件穷举文件；
利用指定软件测试工具，建立软件功能测试序列模板，并运行测试用例，生成功能测试用例示例模板文件；
建立软件功能需求和软件测试需求之间的映射关系；
根据映射关系将条件穷举文件的内容与功能测试用例示例模板文件的内容一一对应，生成新的穷举文件；
将新的穷举文件在指定的用例生成工具中自动生成测试驱动文件，并将测试驱动文件更改为测试用例集；
利用软件测试工具，先导入测试用例集，再自动生成驱动模块；
基于驱动模块，对机载软件进行自动测试。

专利类型：发明申请