基于改进FSM的协议一致性测试方法

摘要：

介绍了一种基于FSM(finite state machine)的生成一致性测试序列的改进算法,该方法混合了UIO(unique input/output)方法和T方法,UIO方法的测试能力优于T方法,但是生成的测试序列的长度较后者要长一些.实验结果表明,本改进方法的能力与UIO方法相同,并且测试序列的长度接近于T方法.

关键词：协议工程、一致性测试、有限状态机、测试序列生成

所属期刊栏目：32

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60872006高等学校博士学科点专项科研基金项目20090142110018

在线出版日期：2011-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：172-176