协议可扩展属性分析及其测试方法研究
协议是因特网发展的基础，它的发展直接体现了因特网基础设施及其应用面临的实际问题及其相关的解决方法。本文基于协议的RFC 系列分析了协议的扩展方式，提出了协议扩展的几种可能方式，包括状态扩展、数据包扩展、值扩展及字段扩展，并基于提出的可扩展属性给出了一般的测试方法，对于有形式化模型的协议，本文给出了状态扩展和数据包扩展的可执行测试序列生成算法；对于没形式化模型的协议，本文基于值扩展和字段扩展给出了测试数据选择方法。以DNS 为例分析了协议的可扩展属性及测试生成方法并进行了实验。
协议 可扩展 测试
国内会议
北京
中文
1-9
2012-05-31（万方平台首次上网日期，不代表论文的发表时间）