网络协议测试生成方法综述

摘要

在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型.对形式化模型中的基于有限状态机模型的测试生成方法作了重点介绍.同时对基于扩展有限状态机、确定有限状态机、标号变迁系统、外部行为描述等模型的方法也作了介绍.对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性.最后指出了这一领域中有待进一步研究的若干问题和发展趋势.