1协议工新程跟协议工程概论.pptVIP

* 第一章 协议工程概论 性能分析（Performance Analysis）:对协议性能进行分析评价，修改协议，提高性能。 翻译（Translation)系统：将形式描述文本翻译成源程序代码。 实现（Implementation）系统：实现是 具体操作系统所提供的程序开发环境。 测试（Test）系统：测试套具在该系统中 执行，对实现代码进行测试，分析结果 ，检测错误 ，将错误反馈给实现系统，修改实现代码。 测试套具生成（Test Suit Generation） 系统:根据协议的形式描述文件产生测试程序（描述怎样测试）和测试数据，该系统部分功能可由人工完成。 * 第一章 协议工程概论 一个完整的协议工程系统 * 第一章 协议工程概论 协议工程技术可归结为5个方面 （1）协议设计技术(构造、综合、开发) （2）协议模型及形式描述技术 （3）协议验证分析技术 （4）协议实现技术 （5）协议测试技术 * 第一章 协议工程概论 1.3.2 协议设计技术 协议设计不同于协议标准的制定，协议标准制定是设计出协议所必须完成的功能和应该提供的服务，然后求得在某个范围内的认可和统一协议标准是用自然语言描述的。 协议设计要求有不同含义： （1）是指协议设计过程 （2）亦指协议经过严格验证和性能分析之后就完成了设计任务。 * 第一章 协议工程概论 无论哪种含义的协议设计，都涉及两个共同技术问题： （1）环境分析方法 （2）协议设计方法 n层全局系统就是N层协议设计环境，N层环境的分析包括四个内容： （1）n层实体实现哪些功能？ （2）向（n+1)层提供什么样服务 （3）对n层言，（n-1)层的全局系统被映射成通道，这个通道的特性是什么。 （4）n层包括多少实体，它们采取什么方式 * 第一章 协议工程概论 1.3.3 协议模型及形式描述技术 协议的形式描述是指采用某种形式描述语言模型无二义地描述协议的各元素。包括语法，语义和时序。以便验证所设计协议的逻辑正确性和是否具有良好的性质。 协议模型及形式描述技术涉及两个研究课题 （1）用什么数学模型和逻辑模型表示n层局部系统，通道系统，全局系统以及他们之间的相互作用。 （2）设计基于一种或多种数学逻辑的形式描述语言（FDL） * 第一章 协议工程概论 1.3.4协议验证和分析技术 协议的正确性验证，试图在协议开发的前期最大限度地检测和纠正协议错误和缺陷。 这些错误包括：死锁、活锁、不可执行。 协议验证技术可分三类： （1）可达性分析 （2）逻辑证明 （3）模拟验证 * 第一章 协议工程概论 协议性能分析 主要的性能指标包括：吞吐量和时延。性能分析的目的旨在改善协议机制，提高执行效率，可用数据分析方法和模拟方法来执行。 * 第一章 协议工程概论 1.3.5 协议实现技术 协议实现是抽取面向实现的协议功能描述，把所设计的协议用程序语言或硬件方式变成可执行代码，它与实现环境，例如计算机操作系统，通信媒体以及编程工具直接相关。 * 第一章 协议工程概论 1.3.6 协议测试技术 协议测试分为一致性测试和综合测试两大部分。一致性测试验证用协议实现得到的软件代码是否和协议设计中所要求的功能相一致，综合测试网络各部分是否按照协议规定协调工作。一致性测试和综合测试都必须在分布式环境或网络环境下进行。这一点不同于软件设计。 * 第一章 协议工程概论 1.4 协议开发工具 协议开发工具分为三类 （1）协议设计工具 （2）协议实现工具 （3）协议测试工具 1.4.1 协议设计工具 协议设计工具包括：文本生成、静态分析、性能分析、文本转换工具五种 * 第一章 协议工程概论 1.4.2 协议实现工具 协议实现工具主要由各种翻译程序和子程序库组成，它向协议实现者提供一组半自动化工具。这类工具包括翻译程序，协议数据单元支撑程序，子程序库三种。 * 第一章 协议工程概论 1.4.3 协议测试工具 协议测试工具包括测试系统本身，以及分析工具和测试套具 * 理解要点: (!)协议（protocol）是一系列的步骤,规定一些事件的顺序： (2)它包括两方或多方.(3)是对数据格式和计算机之间交换数据时必须遵守的规则的正式描述。 简单的说了，网络中的计算机要能够互相顺利的通信，就必须讲同样的语言，语言就相当于协议，它分为Ethernet、NetBEUI、IPX/SPX以及TCP/IP协议。 协议还有其他的特点：? ?? ? 1 协议中的每个人都必须了解协议，并且预先知道所要完成的所有的步骤。? ?? ? 2 协议中的每个人都必须同意并遵循它。? ?? ? 3 协议必须是清楚的，每一步必须明确定义，并且不会引起误解。? ?