一种改进通信有限状态机错误诊断方法.docVIP

一种改进的通信有限状态机的错误诊断方法 　　摘 要 目前对于通信状态机的研究已经很广泛，但对于通信状态机的错误诊断方法的研究不多，已有的问题模型都是输出错误和转换错误。为了更好的将错误诊断与实际相结合，本文在一般的通信有限状态机模型上，新增了一种不可执行的情况，并在传统的问题模型中新增一种转换未执行错误的问题模型。在假设单个错误的情况下，提出了一整套新的错误诊断算法，算法通过分析症状信息进行分步检测，并利用可疑转换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后，文中给出一个实例，详细描述了算法的诊断过程。 　　关键字：通信状态机；单个错误；错误诊断算法 　　中图分类号：TP311 文献标识码：A 文章编号： 　　Abstract： Currently CFSM has been widely studied，but little work has been done for fault diagnosis of CFSM model.Existing study mainly fouces on output fault and transfer fault.For combining theory and practice， this paper presents a excutable status into the CFSM model and a problem model into the general problem model.Under the assumtion of single fault，this paper proposes a series of fault diagnosis algorithm.Based on analysing the output symptom and make use of the information of the next input/output pair and the transition sequence， the algorithm can diagnose the single fault step by step.At last，an example is given to demonstrate the procedure of the algorithm. 　　Keywords：CFSM；single fault；fault diagnosis algorithm 　　0 引言 　　错误定位技术是软件调试中的热点和难点问题。随着通信网络的发展，越来越多的通信软硬件设计模型都基于状态机来提供研发、并获实现。在状态机测试方法研究方面，文献[ ]给出了状态机测试的基本准则和一般方法。目前有关状态机测试的研究更多地集中在如何设计与生成测试用例的方法上，常用的测试用例生成方法有W方法，Wp方法，UIO方法和DS方法[ ]等。这些方法的研究目的在于发现错误，然而在检测到错误后，如何根据错误信息而得出错误诊断则是目前亟待研究的一个现实实用课题。本文即针对这一课题展开设计论述。 　　Ghedamsi最早研究这一问题，在输出错误、转换错误这2种错误以及单个错误的前提下，给出了一种普遍问题定义和解决办法，并对单个状态机上创建了错误诊断算法[ ]，随后将该算法思想扩展到通信有限状态机模型上[ ]，该套理论是后续研究者们的重要参考。Miller将CFSM模型用于网络协议的被动测试中，证明了其成果实施有效性[ ]。钱兰在文献[ ]中提出了单状态机错误诊断的2个改进算法，缩小了错误诊断集合，并提高了时间复杂度。 　　由于文献[3]所研究的状态机中每个状态对于输入都存在转换，在设计用例时也需要考虑到状态机能正确实现转换。考虑到这些限制，结合状态机实际特点，本文在CFSM模型中增加了输入在状态中无法转换的情况，并提出新的问题模型，即转换不可执行错误。结合程序错误定位技术中的统计学方法、数据挖掘方法以及分析数据依赖等方法[ ]，在Ghedamsi和钱兰的方法基础上，对CFSM提出一种改进的错误诊断算法。与之前的方法相比，本文的算法更清晰高效，而且能给出完整的错误诊断信息。 　　1 CFSM模型及问题定义 　　一个通信状态机（Communicating Finit State Machine，CFSM）系统由一组确定有限状态机（Deterministic Finit State Machine，DFSM）具体构成，每个确定状态机除了各自拥有的外部端口之外，还可以通过内部输入队列实现相互间的通信。 　　本文研究的问题是2个状态机的情况，如图 1所示。测试通道利用P1、P2端口向2个状态机传送输入，2个状态机通过内部通道q1、q2实现信息传输。而