协议可扩展属性分析及其测试方法研究.pdfVIP

计算机学报投稿 协议可扩展属性分析及其测试方法研究* 摘要 协议是因特网发展的基础，它的发展直接体现了因特网基础设施及其应用面临的实际 问题及其相关的解决方法。本文基于协议的 RFC系列分析了协议的扩展方式，提出了协议扩 展的几种可能方式，包括状态扩展、数据包扩展、值扩展及字段扩展，并基于提出的可扩展 属性给出了一般的测试方法，对于有形式化模型的协议，本文给出了状态扩展和数据包扩展 的可执行测试序列生成算法；对于没形式化模型的协议，本文基于值扩展和字段扩展给出了 测试数据选择方法。以 DNS 为例分析了协议的可扩展属性及测试生成方法并进行了实验。 关键词 协议，可扩展，测试 中图法分类号：TP393.06 文献标识码: A Study on Protocol Extensible Property Analysis and Testin Abstract Protocol is the basic of Internet. Its development directly refacts the problems which the infrastructure of Internet and the applications face. In the paper, the protocol extensible property is analyzed and some protocol extensible properties are put forward such as state extensible property, data packet extensible property, value extensible property and field extensible property. Meaningwhile the general test method is given based on the extensible properties. To the protocols which have a formal model, the algorithm of executable test sequence generation is presented for state extension and data packet extension. To the protocols which have no formal model, the selection of test data is given based on value extensible property and field extensible property. DNS is used as an example to show the effect of approach presented in this paper. Keywords protocol ，extensible property，testing *本课题得到国家自然科学基金、教育部春晖项目、内蒙古自然科学基金资助。 联系方式： 1 计算机学报投稿 2.可扩展属性分析 1.引言 DNS （Domain Name System ）是因特网 在因特网协议几十年的发展过程中，其 最重要的基础服务之一，其功能的正确快速 相关的 RFC 已经有6000 多个，纵观协议的 完成决定因特网提供的服务的质量。由于因 RFC 的发展，可扩展属性为协议的一个非常 特网的设计出自 ARPNET ，因此对于协议的 突出的属性，几乎每个协议的设计都考虑了 很多方面都考虑较为简单，使得因特网在商 可扩展属性，其扩展的结果就是又得到一个 业化过程