摘要
非法计算是计算机程序运行中常见的一类故障,严重时会导致系统瘫痪。首先介绍了非法计算故障失效模板的迭代分解流程,随后基于非法故障树的最小割集求解,概述了故障源头的求解过程和采用区间组合方法的故障树求解步骤。最后使用C++工具编写了一段程序语句,分别使用程序静态分析技术和采用区间组合的故障树分析方法,对该程序语句的非法计算故障展开了分析。结果表明,该组合方法能够准确定位引起非法计算故障的语句,为计算机故障的检测诊断提供了支撑。
Illegal calculation is a common kind of failure in computer program operation, which will lead to system paralysis. We first introduce the iterative decomposition process of the illegally-calculated fault failure template, and then we summarize the solving process of the fault source and the solving steps of the fault tree using the interval combination method based on the solution of the minimum cut set of the illegally-calculated fault tree. Finally, a program statement is written with C++ tool, and the illegal calculation fault of the program statement is analyzed by using program static analysis technique and fault tree analysis method of interval combination. The results show that the combination method can accurately locate the statements that cause illegal computing faults, and provides support for the detection and diagnosis of computer faults.
作者
王林
Wang Lin(Guangxi Police College,Nanning,China)
出处
《科学技术创新》
2023年第3期100-103,共4页
Scientific and Technological Innovation
关键词
非法计算故障
最小割集
区间组合
illegal calculation fault
minimum cut set
interval combination