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

权利要求书

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

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

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

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

步骤22：利用所述IMA系统中的配置表根据所述IMA系统的进程、所在分区或所在模块配置相应的所述故障响应，从而获取所述配置表中定义的发生故障的故障位置，所述故障位置包括进程位置、分区位置或模块位置；

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

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

步骤25：确定所述故障类型的故障属性，获得故障概率和错误通过所述路径进行传播的传播概率；

步骤26：根据所述故障类型、所述健康监控层次、所述故障响应、所述故障位置、所述状态转换、所述传播端口、所述路径、所述故障属性和所述传播概率，采用所述AADL语言和所述错误模型附件EMA中对应的元素进行描述建立所述AADL故障模型；

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

步骤4：监控所述IMA系统运行状况，获得测试结果。

2.根据权利要求1所述的基于AADL的IMA系统健康监控的测试方法，其特征在于，所述步骤1中所述测试需求从所述IMA系统的配置表、分区配置表和健康监控代码中获得。

3.根据权利要求1所述的基于AADL的IMA系统健康监控的测试方法，其特征在于，所述健康监控层次包括进程级、分区级和模块级的健康监控，分别进行建模测试。

4.根据权利要求3所述的基于AADL的IMA系统健康监控的测试方法，其特征在于，所述步骤3中的所述测试用例采用TC＝{A,E,A′,M}的四元组表示，所述A和A′分别表示所述IMA系统故障发生前的结构和状态集、故障处理后的结构和状态集；E＝{e₀,...,e_p}表示A中触发的故障集；M表示A的运行环境；A进一步分解为A＝{P_A,S_A}，在所述分区级的测试中，A是分区内应用程序任务及任务状态的集合：其中，P_A代表所述应用程序的分区任务集合，S_A＝{s₀,...,s_n}是任务状态集合；在所述模块级的测试中，P_A表示被测分区或分区集，S_A表示分区状态。

5.根据权利要求1所述的基于AADL的IMA系统健康监控的测试方法，其特征在于，采用所述测试用例触发所述IMA系统故障实现错误激励，所述错误激励包括两种方法，一种是针对所述IMA系统程序的所述错误激励，对所述IMA系统的代码采取插入故障代码的方式触发，另一种是针对所述IMA系统逻辑配置表的所述错误激励，对所述代码进行修改的方式触发；所述IMA系统的进程运行在分区中，所述配置表包括系统配置和分区配置，通过修改所述系统配置或所述分区配置，分别.激励相应的所述分区内的分区级错误或进程级错误。