| 基于分层有限状态自动机的一致性测试生成 |
| |
| 引用本文： | 刘鸿,尹霞,吴建平.基于分层有限状态自动机的一致性测试生成[J].清华大学学报(自然科学版),2003,43(7):993-996. |
| |
| 作者姓名： | 刘鸿 尹霞 吴建平 |
| |
| 作者单位： | 清华大学,计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家"八六三"高技术项目(2001AA121015,2001AA112061);国家自然科学基金资助项目(90104002,60102009) |
| |
| 摘 要： | 为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法.以组播监听者发现(MLD)协议为例说明了该方法的应用.该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高.
|
| 关 键 词： | 计算机网络测试 分层有限状态自动机(HFSM) 测试生成 一致性测试 |
| 文章编号： | 1000-0054(2003)07-0993-04 |
| 修稿时间： | 2002年9月18日 |
Automatic test generation based on hierarchical finite state machines |
| |
| LIU Hong,YIN Xia,WU Jianping.Automatic test generation based on hierarchical finite state machines[J].Journal of Tsinghua University(Science and Technology),2003,43(7):993-996. |
| |
| Authors: | LIU Hong YIN Xia WU Jianping |
| |
| Abstract: | |
| |
| Keywords: | computer network testing hierarchical finite state machine (HFSM) test gener ation conformance testing |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
