10.3969/j.issn.1001-3695.2009.07.051
基于扩展有限状态机模型的故障检测
提出了基于扩展有限状态机的故障检测模型和检测算法.该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证.实验表明,该算法可以快速准确地定位软件中故障发生的位置.
扩展有限状态机、故障模型、故障检测
26
TP311.5(计算技术、计算机技术)
2009-07-24(万方平台首次上网日期,不代表论文的发表时间)
共4页
2583-2585,2589