利用逆向判定性缩短EFSM的测试序列的长度

摘要：

在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试序列的可执行性是一个重要的问题.同时,还要考虑到测试序列的优化问题.文中以EFSM为协议的描述模型,引入了逆向判定性的概念,并利用这一概念对转换可执行性分析(TEA)方法进行了改进,缩短了生成的测试序列的长度,并且减小了所需的TEA树扩展空间.

关键词：协议测试、可执行的唯一输入输出、逆向可判定转换、扩展的有限状态机、转换可执行性分析

所属期刊栏目：21

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

资助基金：国家科技攻关项目863-300-02-08-99;863-317-04-16-99;高等学校博士学科点专项科研项目

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

页数：共8页

页码：48-55