[发明专利]一种飞行控制软件中增益覆盖率测试的方法

说明书

本发明属于飞行控制系统设计技术，涉及一种飞行控制软件中增益覆盖率测试的方法。本发明包括：常量增益覆盖率测试(即遍历增益文件和源代码中常量所在文件，将二者进行比较，记录常量匹配结果)；变量增益结构体分析(即分析增益结构体定义文件，通过4种增益结构体的各自特征进行分类记录，生成init.txt文件，分别记录下覆盖率所需信息)；源代码插桩(即在源代码中用变量增益插桩函数替换增益计算函数，在运行用例时，记录下用例运行的覆盖率所需信息，生成print.txt文件)；增益覆盖率结果分析(即读取常量增益的匹配结果和结构体类型常量的统计结果做出统计，生成增益覆盖率测试报告)。本发明填补了增益覆盖率测试的空白。

技术领域

本发明属于飞行控制系统设计技术，涉及一种飞行控制软件中增益覆盖率测试的方法。

背景技术

飞行控制律应用软件属安全关键软件，其运行状况与飞机的飞行安全息息相关，因此，对该软件的覆盖率测试非常必要。然而，目前对飞行控制律应用软件的覆盖率测试只局限于逻辑语句的覆盖率测试，控制律增益覆盖率的测试还是一片空白。

控制律增益模块是飞行控制软件的重要组成。该模块在飞机研制的初始阶段规模较小，实现了逻辑语句的覆盖率测试就能基本满足研制需求，加上测试方法和工具的限制，不做增益覆盖率测试也无可厚非。但是随着型号的发展，控制律增益的复杂度日渐提高，代码规模也日益增大。在数量庞大，结构复杂，支路繁多的增益中，控制律增益的覆盖率测试已经成为验证增益完备性的重要保证和项目研制的迫切需求。

发明内容

本发明的目的是：提供一种飞行控制软件中增益覆盖率测试的方法。

本发明的技术方案是：一种飞行控制软件中增益覆盖率测试的方法，包括：

a)常量增益覆盖率测试：遍历增益文件和源代码中常量所在文件，将二者进行比较，记录常量匹配结果；

b)变量增益结构体分析：分析增益结构体定义文件，通过4种增益结构体的各自特征进行分类记录，生成init.txt文件，分别记录下覆盖率所需信息；

c)源代码插桩：在源代码中用变量增益插桩函数替换增益计算函数，在运行用例时，记录下用例运行的覆盖率所需信息，生成print.txt文件；

d)增益覆盖率结果分析：读取常量增益的匹配结果和结构体类型常量的统计结果做出统计，生成增益覆盖率测试报告。

本发明的有益效果是：本发明目前可运用于支持运行windows测试系统的控制律增益覆盖率测试。它能够验证增益开关封闭性、增益支路测试完备性、常量增益正确性等，是验证增益完备性的重要保证。本发明开发后可作为控制律测试工具的一部分，完善控制律测试的项目内容，填补增益覆盖率测试的空白，从而保证测试质量。也能为需求设计和软件开发人员提供参考。

附图说明

图1为本发明控制律增益测试具体实施的总体流程图；

图2为本发明中的结构体分析示意图；

图3为本发明中的插桩流程示意图；

图4为本发明中的结果分析示意图。

具体实施方式

下面结合附图对本发明的具体实施方式做进一步说明。

本发明具体实施方法分为以下5个步骤，参见图1，增益覆盖率主要包括常值增益(简单常量)的测试分析和变量增益(结构体常量)的测试分析两方面，二者的统计结果将在最后进行分析时生成1份报告：

1)所有控制律增益以如下形式定义于控制律增益文件(inp文件)中：