[发明专利]一种无人机综合模块航电故障激励测试方法

权利要求书

1.一种无人机综合模块航电故障激励测试方法，其特征在于，包括：

采用AADL对IMA体系结构进行建模，得到初始模型；

确定IMA健康监控的错误类型，从测试用例库中查找得到与所述确定的IMA健康监控的错误类型相匹配的错误激发手段；根据查找得到的与所述确定的IMA健康监控的错误类型相匹配的错误激发手段，构建得到错误模型附件；将错误模型附件添加至初始模型中，得到故障激励测试模型；

将故障激励测试模型作为IMA健康监控系统的输入，激发IMA健康监控系统程序内部的相应故障模式，并引发IMA健康监控系统对激发的相应故障模式进行处理，得到在IMA的健康监控激发后进行处理后的故障激励测试结果。

2.根据权利要求1所述的无人机综合模块航电故障激励测试方法，其特征在于，还包括：对IMA健康监控的体系结构进行解析，确定IMA健康监控的错误类型；针对IMA健康监控的不同错误类型，分别生成相应的错误激发手段；根据错误类型、错误激发手段、以及错误类型与错误激发手段的对应关系，构建得到测试用例库。

3.根据权利要求1所述的无人机综合模块航电故障激励测试方法，其特征在于，采用AADL对IMA体系结构进行建模，得到初始模型，包括：从IMA体系结构的框架中抽象出过程和结构；使用图形化的AADL语言插件包，将抽象出的过程和结构的内部通信和连接关系以模型形式表示出来，即得到初始模型。

4.根据权利要求1所述的无人机综合模块航电故障激励测试方法，其特征在于，将错误模型附件添加至初始模型中，得到故障激励测试模型，包括：在初始模型中添加错误模型，生成图形化的表示；在错误模型中，加入错误模型附件。

5.根据权利要求1所述的无人机综合模块航电故障激励测试方法，其特征在于，将故障激励测试模型作为IMA健康监控系统的输入，激发IMA健康监控系统程序内部的相应故障模式，并引发IMA健康监控系统对激发的相应故障模式进行处理，得到在IMA的健康监控激发后进行处理后的故障激励测试结果，包括：使用Ocarina工具将故障激励测试模型转换成程序代码，将得到的程序代码与pok的内核一起进行编译，故障激励的用例被集成在程序代码中；随着系统的运行过程，设定的错误激励开始启动，分别产生除零、内存混乱、应用程序错、时间溢出和非法操作系统调用的错误，激发IMA健康监控系统程序内部的相应故障模式；系统分别给出忽略、重启该分区、忽略、忽略、关闭该分区的错误恢复动作，引发IMA健康监控系统对激发的相应故障模式进行处理，得到在IMA的健康监控激发后进行处理后的故障激励测试结果。

6.根据权利要求2所述的无人机综合模块航电故障激励测试方法，其特征在于，IMA健康监控的错误类型，包括：内存错误、ILLEGAL_REQUEST、divide by 0除零错误、floatingpoint error、segmentation error、STACK_OVERFLOW堆栈溢出、优先级反转错误、partition config error、partition init error、time duration exceeded和invalidOS call。