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

• 作者: 周晓煜 屈玉贵 赵保华
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 协议测试 可执行的唯一输入输出 逆向可判定转换 扩展的有限状态机 转换可执行性分析
• 年，卷（期）: 2000,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 48-55
• 页数: 8页
• 分类号: TP311
• 字数: 5183字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2000.11.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科技大学计算机系	16	198	8.0	14.0
2	赵保华	中国科技大学计算机系	22	234	10.0	15.0
3	周晓煜	中国科技大学计算机系	2	19	2.0	2.0