| 主权项 |
基于动态描述逻辑和案例推理的软件系统故障检测方法，其特征是，包括如下步骤：步骤1，采用动态维度的动态描述逻辑对程序运行过程中遇到的问题进行描述，即把程序的执行看作是状态转换的动作，把状态转换看作是由动作引起的，并将状态转换加入语义信息；步骤2，将当前程序运行过程中遇到的问题作为新案例，将新案例的状态和动作序列作为本次案例检索的输入；步骤3，将新案例的状态与案例库中的案例进行相似计算，并从案例库中挑选出与新案例的相似度达到状态相似匹配阈值的案例，将之存入初步结果集合中；步骤4，依次从初步结果集合中提取一个案例；首先将引起到达该提取案例的最后一个动作与引起到达新案例的最后一个动作进行相似度计算，并将初始化相似动作计数变量为零；若2个动作的相似度达到动作相似匹配的阈值，则相似动作计数变量加1，表示提取案例与新案例在动作上的相似程度增加，并将比较对象指向更为往前的一个动作，直至提取案例的动作与新案例的动作未达到动作相似匹配的阈值或动作序列匹配完成为止；然后读取相似动作计数变量的值，作为该提取案例与新案例的动作相似度；步骤5，对初步结果集合中的所有案例与新案例的动作相似度进行排序，并将拥有最大动作相似度值的案例作为与新案例的最相似案例，此时将最相似案例的问题描述和问题解决方案作为结果输出。 |
