文件名称：论文研究-基于扩展有限状态机模型的故障检测.pdf
文件大小：794KB
文件格式：PDF
更新时间：2022-08-11 16:54:36
扩展有限状态机,故障模型,故障检测
提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述，检测算法对故障模型中的状态变迁进行缩减，检测故障模型的部分状态变迁，进而可以有效缓解状态空间过大而引起的时间和空间效率问题，从而最大限度地发现被测系统中的故障；最后给出了一个简单协议来加以分析和验证。实验表明，该算法可以快速准确地定位软件中故障发生的位置。