10.3969/j.issn.2095-2783.2012.10.002
协议可扩展属性分析及测试方法
基于协议的RFC(Request for Comment)系列分析了协议的扩展方式,提出了协议扩展的几种可能方式,包括状态扩展、数据包扩展、值扩展及字段扩展,并结合提出的可扩展属性给出了一般的测试方法.对于有形式化模型的协议,给出了状态扩展和数据包扩展的可执行测试序列生成算法;对于无形式化模型的协议,基于值扩展和字段扩展给出了测试数据选择方法.以DNS为例分析了协议的可扩展属性及测试生成方法,并进行了实验.
协议、可扩展、测试
TP393.06(计算技术、计算机技术)
2012-11-19（万方平台首次上网日期，不代表论文的发表时间）
共6页
745-750
