|
|||||
|
|
| 协议一致性测试集自动生成技术综述 | |
| 作者姓名： | 李建东 陈晓梅 |
| 作者单位： | 李建东(国防科学技术大学继续教育学院);陈晓梅(国防科学技术大学计算机学院) |
| 摘 要： | 本文在简单介绍协议测试及一致性测试的基础上,重点评述了一致性测试集自动生成技术的发展状况,分别介绍了基于有限状态机FSM的测试集生成方法,基于形式描述语言Estelle的方法,基于形式描述语言LOTOS的方法,基于形式描述语言SDL和MSC的测试集生成方法.对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性.最后指出了这一领域中有待进一步研究的若干问题和发展趋势. |
| 关 键 词： | 一致性测试 测试集 自动生成技术 |
| 本文献已被 万方数据 等数据库收录！ | |