[00044136]基于动态描述逻辑和案例推理的软件系统故障检测方法
技术详细介绍
本发明公开一种基于动态描述逻辑和案例推理的软件系统故障检测方法，其以状态为基础，采用动态描述逻辑的动作理论对问题进行描述，把程序功能模块的执行看作是使状态改变的动作，把状态的转换看作是由动作引起的改变，加入了状态转换之间的语义信息，降低了建模的复杂度。再将动态描述逻辑的描述能力和可推理能力结合案例推理技术，对故障案例进行管理，为系统将要出现的新的故障提供解决方法上的经验支持。加入动作序列匹配的案例检索提高对系统故障的案例检索的查准率。当系统运行的过程中遇到故障之后，利用本发明的方法能够通过软件运行的状态转换序列找出相似故障案例及提供相应修复措施。
