基于分层有限状态自动机的一致性测试生成

• 作者: 刘鸿 吴建平 尹霞
• 来源期刊: 清华大学学报(自然科学版)
• 学科: 工学
• 关键词: 计算机网络测试 分层有限状态自动机(HFSM) 测试生成 一致性测试
• 年，卷（期）: 2003,（7）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 993-996
• 页数: 4页
• 分类号: TP393.06
• 字数: 4012字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-0054.2003.07.036

摘要

为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法.以组播监听者发现(MLD)协议为例说明了该方法的应用.该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴建平	清华大学计算机科学与技术系	298	5155	36.0	63.0
2	尹霞	清华大学计算机科学与技术系	52	329	9.0	16.0
3	刘鸿	清华大学计算机科学与技术系	8	88	5.0	8.0