基于动作推导引擎下的故障检测方法

本文根据文[2]介绍的软件管理者方法，提出了基于动作推导引擎的软件管理者方法。软件管理者单元是一种自动的实时监控软件故障的软件工具，适用于实时软件系统特别是通信类软件系统的故障侦测。它通过监控目标系统的输入和输出，使用获得的输入和目标系统的管理模型推算出对应此输入序列的期望输出值．与目标系统的实际输出做比较．如果实际输出没有在期望输出集中，则管理者单元断定目标系统出现错误。基于动作推导引擎的软件管理者方法，采用了动作推导引擎产生的目标系统管理模型，使该管理模型独立于软件管理者方法。可以实现管理模块与动作推