当前位置:文档之家› 浅析计算机网络通信协议验证技术

浅析计算机网络通信协议验证技术

龙源期刊网 http://biz.doczj.com/doc/3316629543.html,

浅析计算机网络通信协议验证技术

作者:王兴华

来源:《科技传播》2017年第16期

摘要随着国民经济的不断增长,科学技术的不断创新,我国计算机网络行业发展得到了质的飞跃。由于计算机网络通信协议设计开发的复杂性在不断增加,这样也促使了协议工程技术的产生。通信协议作为现代计算机网络、数据通信以及多机系统等分布式系统的核心灵魂,是实现不同实体相互发生通信行为的具体规则和格式。然而,要想充分保障通信协议的完整性、正确性以及科学性,相关工作人员就必须通过合理应用验证技术对其进行测试工作。本文将进一步对计算机网络通信协议验证技术展开分析与探讨。

关键词计算机网络;通信协议;验证技术

中图分类号 TP3 文献标识码 A 文章编号 1674-6708(2017)193-0082-02

当前是一个经济全球化的时代,计算机网络通信发展要与时俱进,跟上时代前进的脚步。在传统网络通信协议中人们普遍通过使用自然语言对其进行描述,自然语言虽然具备了容易理解、方便等优点,但是也具有较多的致命缺点。例如,自然语言精确性不高、不够严格以及存在多义性等,这样会造成不同人对协议描述存在完全不同的理解,从而出现错误通信协议。而基于计算机网络和分布式系统的时代背景下,通信协议的形式化技术得到了进一步的完善,在不同的形式化技术中,验证技术和形式描述是整个网络通信协议设计与实现的重要基础,直接关系到协议的精确性、规范性以及完整性等。

1 计算机网络通信协议的相关概述

1.1 计算机网络协议的定义

计算机网络协议实质是指不同计算机设备之间在通信过程中必须严格遵循的一些实现制定好的规则。网络协议必须遵循标准化的体系结构,随着时间的不断推移,在当前网络通信市场上主要存在的标准体系包括了ISO的标准以及TCP/IP协议组标准。要想实现通信功能就必须保证其所有涉及内容都要认同其中一套用于信息交换的基本规则[1]。

1.2 计算机网络协议的特性

计算机网络协议的特性主要包括了以下几点内容:

1)计算机网络协议的活动性。活动性在协议中的体现主要是终止性和进展性两方面内容。如果网络协议不存在终止性和进展性,那么它就不具备活动性,它们两者之间是相互并存的。倘若网路协议的某个状态从初态不可达,那么就证明了该协议是存在一定错误的。

相关主题