软件密集型装备软件故障诊断技术研究

针对当前软件密集型装备软件故障诊断方法的缺陷，提出了一种基于粗诊断与细诊断技术相结合的软件故障定位方法。对故障进行初步定位，找出软件故障可疑模块集，利用切片技术对故障模块集进行检测，将故障定位到程序语句集中，采用代码分析辅助诊断工具对可疑代码集进行排查、定位。软件密集型装备故障诊断原型系统的应用表明，该方法能有效地进行软件故障的定位。

Research on Software Fault Diagnosis in Software-intensive Equipment

Aiming at limitations of the current software fault diagnosis of the software-intensive equipment, this paper presents a new method based on both coarse-grained diagnosis and fine-grained diagnosis for the software fault location, discovers fault location, finds the set of the suspicious module, uses slicing algorithm to check the set of fault module, positions the fault to the program code set, eliminates the codes with assistant tool and locates the fault codes. The method is proved to be effective for software fault location by practice of fault diagnosis system of software-intensive equipment.