[发明专利]基于AADL的IMA系统健康监控的测试方法

说明书

本发明公开了一种基于AADL的IMA系统健康监控测试方法，针对IMA故障管理中的健康监控功能，提出相应的测试需求，使用AADL对IMA系统故障管理进行建模，为IMA系统测试环境提供故障管理信息，通过对IMA故障管理测试用例进行分析，通过修改程序代码和配置实现故障触发，从而验证健康监控功能。

技术领域

本发明涉及软件测试技术领域，更具体的说是涉及一种基于AADL的IMA系统健康监控的测试方法。

背景技术

故障管理(Fault Management，FM)是IMA系统系统的重要功能之一，其主要负责在系统运行过程中所发生故障的检测、定位、隔离及消除工作。健康监控软件是故障管理的重要组成部分，由操作系统提供，负责监控系统中硬件、操作系统软件及应用软件的错误和故障。健康监控软件的基本功能是要检测到故障，为了测试健康监控软件的功能，需要激发故障，当故障出现时，观察健康监控软件是否监测到故障，从而达到测试的目的。

目前面向IMA系统的测试方案，主要采用软件模拟或仿真技术，通过对IMA系统系统建模后，通过数字仿真的方法解决软件开发阶段的资源分配问题，而现有的仿真测试环境均是面向IMA应用软件的测试环境，缺乏针对IMA故障管理，特别是对于IMA进程级、分区级和模块级的三层的故障管理机制，缺乏包括故障管理的建模、用例生成、故障触发、响应采集等一系列的测试方法。

因此，如何实现IMA故障管理的健康监控软件的完整测试是本领域技术人员亟需解决的问题。

发明内容

有鉴于此，本发明提供了一种基于AADL的IMA系统健康监控的测试方法，针对IMA故障管理中的健康监控功能，提出相应的测试需求，使用AADL对IMA系统故障管理进行建模，为IMA系统测试环境提供故障管理信息，通过对IMA故障管理测试用例进行分析，通过修改程序代码和配置实现故障触发，从而验证健康监控功能。

为了实现上述目的，本发明采用如下技术方案：

一种基于AADL的IMA系统健康监控的测试方法，包括以下步骤：

步骤1：分析IMA系统健康监控和故障处理的测试需求；

步骤2：采用AADL语言和错误模型附件EMA根据测试需求，建立AADL故障模型；

步骤3：由所述AADL故障模型生成测试用例，采用所述测试用例触发IMA系统故障；

步骤4：监控所述IMA系统运行状况，获得测试结果；所述测试结果指IMA系统的故障响应及响应动作结果是否与预期结果相符，如果结果相符，则说明健康监控的配置和运行状况良好。所述故障响应为恢复动作。

优选的，所述步骤1中所述测试需求从所述IMA系统的配置表、分区配置表和健康监控代码中获得。

优选的，所述步骤2中建立AADL故障模型的具体过程如下：

步骤21：提取所述测试需求，获得故障类型、所需的健康监控层次、针对相应故障做出的故障响应；

步骤22：利用所述IMA系统中的配置表根据所述IMA系统的进程、所在分区或所在模块配置相应的所述故障响应，从而获取所述配置表中定义的发生故障的故障位置，所述故障位置包括进程位置、分区位置或模块位置；如果在进行发生故障则为进程级故障，所述进程级故障指所述IMA系统软件程序中的变量、信号或通道等；

步骤23：进行状态转换推断，根据配置表、分区配置表和健康监控代码，推断初始状态、故障发生时状态和发生后预期的状态改变过程，并进行记录；

步骤24：根据所述IMA系统的结构将故障的传播端口和连接的路径列入所述AADL故障模型的内部，进行所述AADL故障模型内的错误传播建模；