新一代高速计算机网络的协议测试理论研究

高速计算机网络的协议测度是保证高速网络正常互联。互操作和高效运行的重要技术手段。本项目采用形式化技术，对高速计算机网络协议的一致性测试。互操作性测试和性能测试的理论进行了研究。内容包括：协议一致性测试。互操作性测试和性能测试和形式化定义； 测试生成理论；理论管理和测试选择理论；测试执行理论等。研究成果有：形成了基于形式化技术的高速计算机网络一致性、互操作性和性能测试的测试理论；建立了可以用于以ATM协议为代表的高速计算机网络协议的测试系统原型。研究成果部分已通过鉴定，并以论文形式在国内外学术会议和刊物上发表，其中在基于形式化技术的综合协议测方式理论的研究上已达到国际先进水平。