网络协议设计与开发1要点课件

网络协议设计与开发康军长安大学信息工程学院内容提要课时：20课时授课+10课时上机主要内容：网络协议工程方法网络协议开发技术参考资料：吴礼发著,《网络协议工程》,电子工业出版社,2011TCP/IP详解卷2TCP/IP详解卷3/（中国协议分析网）前言一、设么叫协议？例如：人与人之间人与物之间物与物之间协议是多个对象之间为了实现某个共同目标而制定的、需要共同遵守的、关于各自行为方式的时序化的约定。用系统的观点看协议系统是由相互作用相互依赖的若干组成部分结合而成的，具有特定功能的有机整体，而且这个有机整体又是它从属的更大系统的组成部分。系统包含：输入、系统部件（关联、状态）、输出遵循协议的对象构成的总体形成了一个系统。在上述系统中，各个对象之间根据协议内容，按照一定时序关系改变各自的状态（事件），在某一时刻各个对象呈现出不同的确定性的状态，这样的系统称之为“离散事件系统”。例如：数字电路系统（组合+时序逻辑电路）例如：一个简单的串行奇偶检测电路电路中包括T触发器，输入、输出，状态；在上述系统中有没有协议？奇偶检测系统是由T触发器构成，T触发器是由基本门电路构成，所以上述系统是由若干基本门电路按照确定的连接方式构成，各个单元之间按照已知的方式协调工作从而形成上述系统。一些结论：协议定义了系统内各组成单元的功能集合以及它们之间的关联方式。系统按照协议运行时，表现为系统状态的时序性变化（即状态变迁）在已学的技术中，可以用状态图或状态表的方式描述系统按照协议的运行情况。设计协议就是设计一种离散事件系统！二、如何设计协议？协议工程：按照系统化、规范化、可度量化等工程原则和方法去进行协议的设计。什么叫系统化？为什么要系统化？系统化：把协议看做是一种离散事件系统系统化有利于合理简化问题，并找到分析问题的科学方法。什么叫规范化？为什么要规范化？规范化：按照标准化的步骤进行协议设计规范化有利于保证协议的正确性、提高设计效率什么叫可度量化？为什么要可度量化？可度量化就是对协议的正确性和性能进行量化可度量化有利于确定性的比较优劣三、本课程的目标学习如何合理的设计计算机网络协议。网络的协议模型（通用模板）网络协议应该包含的内容网络协议的设计方法网络协议性能的保证机制网络协议的描述方式网络协议的测试方法网络协议的验证方法第一讲基本概念一、网络协议：为计算机网络中对等实体进行数据交换而建立的规则、标准或约定的集合。网络协议是由语法、语义和同步（时序关系）三个要素组成：实体(Entity)是指任何可以发送或接收信息的硬件或软件进程，在大多数情况下，就是一个特定的软件进程。位于不同系统的同一层次内交互的实体，就构成了对等实体。协议定义：语法在语言学中，语法是指语言组成成分(词、句等)之间以什么样的关系结合而构成语句或语言，也即是语言的结构方法和构成规则。网络协议中的语法的含义？网络协议中的语法体现为数据报文中的控制信息(通常在报文的首部)和各种控制报文的结构、格式，也即是规定报文的长度，报文中划分多少个域(Field)，每个域的名称、意义、数据类型、长度等。其中，报文中各个域的类型、长度及相互间的位置、顺序关系则构成了词法。协议定义：语义网络协议的语义可以理解为协议数据报文中的控制信息和控制报文所约定的含义，即需要发出何种控制信息，完成何种动作以及做出何种响应。例如：报文首部控制信息中的目的地址信息指明了报文的目的地，接收到此报文的网络结点均将其作为进行路由选择的依据，因而规定在首部控制信息中在给定域给出目标结点地址就是一种语义。

为了实现有连接的传输服务，设计了一套实现连接的控制报文。发起连接方构造一个请求连接的协议控制报文，这个“请求连接”就是该控制报文的语义。收端收到这个控制报文后，根据已知的格式分析规定域中报文类型码就可了解这个“请求连接”的语义，从而作出“允许连接”或“拒绝连接”的响应。协议定义：语义（Cont.）例如（续）：“允许连接”报文和“拒绝连接”报文的格式和语义也是协议中约定好的，通信双方通过这些约定语义的控制报文按一定时序关系的交换即可实现建立连接的功能和提供有连接服务。其它的在协议中常使用的“数据收到确认”报文(ACK报文)、“出错通知”报文、“紧急通知”报文等等均可看成为具有特定语义的网络协议的语句，即协议的组成部分。

协议定义：同步简单地说，同步是指事件实现顺序的详细说明。

具体来说，同步是指通信过程中各种控制报文传送的顺序关系，例如“允许连接”或“拒绝连接”报文必须是作为请求连接报文的一种响应来发送，“拆除连接”报文也必须在建立连接后的某种条件下发送等等。这种控制报文发送的时序关系，也决定了通信双方所处的通信状态(发送状态、接收状态、等待状态等)的制约关系，所以常用通信双方的有限状态机的方法来描述网络协议。在有些文献中，也将这种同步关系视为协议语法的一部分。

协议定义：进一步延伸进一步延伸为计算机通信协议。

协议是计算机网络和分布式系统中各种通信实体或进程间相互交换信息时必须遵守的一组规则或约定。网络协议工程中的许多技术和方法均可应用到分布式系统中的进程间通信协议的设计活动当中。

大量的研制经验表明，对于非常复杂的计算机网络协议，其结构应采用层次式的。

在计算机网络中，将计算机网络的各层及其协议的集合，称为网络的体系结构(architecture)。ISO的OSI/RM（开放系统互连/参考模型）IBM的SNA（系统网络体系结构）DEC的DNA（分布式网络体系结构）IETF的TCP/IP

二、协议标准化Whatarestandards?Standardsaredocumentedagreementscontainingtechnicalspecificationstobeusedconsistentlyasrules,guidelines,ordefinitionsofcharacteristics,toensurethatmaterials,products,processesandservicesarefitfortheirpurposeInternationalStandardscontributetomakinglifesimpler,andtoincreasingthereliabilityandeffectivenessofthegoodsandservicesweuseIndustry-widestandardizationisaconditionexistingwithinaparticularindustrialsectorwhenthelargemajorityofproductsorservicesconformtothesamestandards协议标准化（Cont.）WhyPushForStandardization?Theaimistofacilitatetrade,exchangeandtechnologytransferthroughEnhancedproductqualityandreliabilityatareasonableprice.Greatercompatibilityandinteroperabilityofgoodsandservices.Simplificationforimprovedusability.Increaseddistributionefficiency,andeaseofmaintenance协议标准化（Cont.）Whatmakesupastandard?Itmaycontain:SymbolsDefinitionsDiagramsCodesTestmethods协议标准化（Cont.）OrganizationforStandardizationforProtocols

InternationalOrganizationforStandardization

(ISO)国际电报电话咨询委员会

(CCITT)InternationalTelecommunicationsUnion(ITU-T)InternetEngineeringTaskForce(IETF)InstituteofElectricalandElectronicsEngineers(IEEE)WorldWideWebConsortium(W3C)AssociationforComputingMachinery(ACM)AsynchronousTransferModeForum(ATMForum)AmericanNationalStandardsInstitute(ANSI)ISO是一个涉及范围很广的国际标准开发机构，包括很多政府的或民间的标准研究机构，如美国的国家标准研究所ANSI。成立于1947年。ISO下属多个技术委员会TC(TechnicalCommittees)，TC又由多个分委员会SC(Subcommittees)组成。每个SC下有多个工作组WG(WorkingGroups)。例如，TC97主要负责与计算机有关的标准的制定，TC97/SC6主要处理电信领域的标准，TC97/SC6/WG1则主要负责数据链路协议标准。一个ISO标准从最初的提名到真正发行要经历七个步骤。

ISO(Cont.)ISO制定的很多标准是与另一个标准化组织，国际电工技术委员会IEC(International

ElectrotechnicalCommission)，合作制定的。

IEC关心的主要是电子和电气工程标准(器材、元件以及测量方法的标准化)。在信息技术领域，虽然IEC强调的是硬件，而ISO强调的是软件，但它们的职能在很多地方有所重叠。1987年由这两个组织联合成立了联合技术委员会JTC，而ISO的TC97同时宣告解散。代替旧的ISO的TC97组织是ISO/IECJTC1，而其下属的各分委员会SC的名称仍用原来TC97中的各分委员会的序号。这个委员会负责信息技术领域文档的开发，这些文档最终可能成为ISO及IEC的标准。

ISO（Cont.）ISO制定的与协议有关的著名标准：OSI/RM（ISO7498），TC97/SC16制定，虽然没有流行，但其中有很多协议被广泛使用形式描述语言LOTOS(LanguageofTemporalOrderingSpecifications)和Estelle，ISOTC97/SC21/WG1下的2个不同的子工作组分别制定的，它们得到广泛的应用。

一致性测试序列标准：ISO9646-1(CCITTX.290)一般概念ISO9646-2抽象测试集(suite)规范ISO9646-3树表组合记法TTCN(TreeandTabularCombinedNotation)ISO9646-4测试实现ISO9646-5一致性认证处理对测试实验室及其客户的要求ISO9646-6测试实验室的操作CCITTandITU-TCCITT(InternationalTelephoneandTelegraphConsultativeCommittee,国际电话与电报顾问委员会)最开始主要从通信的角度考虑一些标准的制定。随着科学技术的发展，通信与信息处理的界限变得比较模糊了。于是，通信与信息处理就都成为CCITT与ISOTC97共同关心的领域。

很多ISO制定的标准，CCITT均有与之相对应的标准。

CCITT的建议书X.200就是开放系统互连参考模型，它与ISO7498基本上是相同的。

CCITT制定的著名标准：X.25形式描述语言SDL(SpecificationandDescriptionLanguage)广泛用交换系统的描述。

CCITTandITU-T(Cont.)ITU-T是国际电信联盟ITU（InternationalTelecommunicationUnion）下属的电信标准部，它的成员主要是各国政府组织和得到许可的私人运营商。成立于1993年3月1日，主要任务是制定电话、电报和数据通信接口的技术建议。它取代了原国际电报电话咨询委员会CCITT。人们仍然常常遇到CCITT建议，例如，CCITTX.25，虽然自1993年起这些建议都打上了ITU-T标记。ITU-T的实际工作是在研究组SG(StudyGroup)完成的，通常有400人。为了能够完成工作，研究组又分成了很多工作组WG(WorkingGroup)，然后又再分为专家小组(ExpertTeam)，最后分成特别小组(AdHocGroup)。ITU-TStandards:XSeriesDatanetworksandopensystemcommunicationsPublicdatanetworks-Interfaces:X.21

-InterfacebetweenDataTerminalEquipment(DTE)andDataCircuit-terminatingEquipment(DCE)forsynchronousoperationonpublicdatanetworks.OSI-Modelandnotation:X.200-Informationtechnology–OpenSystemsInterconnection–BasicReferenceModel:Thebasicmodel.ITU-TStandards:XSeries(Cont.)MessageHandlingSystems:X.400

-Messagehandlingservices:MessagehandlingsystemandserviceoverviewDirectoryServices:X.500

-Informationtechnology-OpenSystemsInterconnection-TheDirectory:Overviewofconcepts,modelsandservicesSecurity:X.800-SecurityarchitectureforOpenSystemsInterconnectionforCCITTapplications.ITU-TStandards:VSeriesDatacommunicationoverthetelephonenetworkInterworkingwithothernetworks:V.18-OperationalandinterworkingrequirementsforDCEsoperatinginthetexttelephonemode.Interfacesandvoice-bandmodems:V.33-14400bitspersecondmodemstandardizedforuseonpoint-to-point4-wireleasedtelephone-typecircuits.Errorcontrol:V.42-Error-correctingproceduresforDCEsusingasynchronous-to-synchronousconversion.ITU-TStandards:QSeriesSwitchingandsignallingGeneralRecommendationsrelativetosignalingandswitchingsystems:Q.20-Comparativeadvantagesof"in-band"and"out-band"systems.Functionaldescriptionofthesignalingsystem:Q.251-GeneralDefinitionandfunctionofsignals:Q.254-Telephonesignals.ITU-TStandards:QSeries(Cont.)SignallingSystemNo.7(SS#7):Q.700-IntroductiontoCCITTSignallingSystemNo.7IntegratedServicesDigitalNetwork(ISDN):Q.860-IntegratedServicesDigitalNetwork(ISDN)andBroadbandIntegratedServicesDigitalNetwork(B-ISDN)GenericAddressingandTransport(GAT)ProtocolQ.2010-Broadbandintegratedservicesdigitalnetworkoverview-Signalingcapabilityset1,release1IFIP国际信息处理联盟IFIP(InternationalFederationforInformationProcessing)，虽然不直接参与协议的标准化，但它的主要目的之一是作为CCITT和ISO之间沟通的桥梁。IFIP成立于1960年，经常组织一些协议形式化描述与验证方面的国际会议。

IETF因特网协会ISOC因特网体系结构研究委员会IAB因特网研究指导小组IRSG因特网研究部IRTF因特网工程部IETF因特网工程指导小组IESG领域领域…WGRGWGWGWG……RG…IETF网址：http://IETF（Cont.）因特网在制定其标准上很有特色：面向公众。所有技术文档都可从因特网上免费下载，而且任何人都可以用电子邮件随时发表对某个文档的意见或建议。这种方式对因特网的迅速发展影响很大。因特网标准：RFC(RequestForComments)的意思就是“请求评论”。所有的RFC文档都可从因特网上免费下载。

并非所有的RFC文档都是因特网标准，其中只有一小部分最后才能变成标准。IETF（Cont.）因特网草案建议标准草案标准因特网标准历史的RFC实验的RFC提供信息的RFC因特网草案(InternetDraft)建议标准(ProposedStandard)草案标准(DraftStandard)因特网标准(InternetStandard)W3CWorldWideWebConsortiumpromotestheWebbyproducingspecificationsandreferencesoftware.W3Cisfundedbyindustrialmembersbutitsproductsarefreelyavailabletoall.TheConsortiumisrunbyMITLCSwithINRIAactingasEuropeanhost

andKeioUniversityinAsia,incollaborationwithCERNwheretheweboriginated.IEEETheInstituteofElectricalandElectronicsEngineers(电气和电子工程师协会)istheworld'slargesttechnicalprofessionalsociety.Anon-profitorganization,IEEEpromotesthedevelopmentandapplicationofelectrotechnologyandalliedsciencesforthebenefitofhumanity,theadvancementoftheprofession,andthewell-beingofit’smembers.FamousStandards:IEEE802seriesACMAssociationforComputingMachinery(founded1947，(美国)计算机学会)isaninternationalscientificandeducationalorganizationdedicatedtoadvancingtheart,science,engineering,andapplicationofinformationtechnology(其宗旨在于不断地推动计算机科学与技术的发展),servingbothprofessionalandpublicinterestsbyfosteringtheopeninterchangeofinformationandbypromotingthehighestprofessionalandethicalstandards.SinceitsinceptionACMhasprovideditsmembersandtheworldofcomputerscienceaforumforthesharingofknowledgeondevelopmentsandachievementsnecessarytothefruitfulinterchangeofideas.ACM（Cont.）OvertheyearsACMhasflourishedalongwiththeindustryitself,playingamajorroleinenrichingthequality,formandfunctionofcomputerusage.ACMformsSpecialInterestGroups(SIGs)whichfocusonspecificareasofcomputerscience.SomeSIGswhichrelatetodatacommunicationsinclude:DataCommunication(SIGCOMM)Hypertext/Hypermedia(SIGLINK)Multimedia(SIGMM)ANSIFoundedin1918,theAmericanNationalStandardsInstitute(ANSI,美国国家标准化组织),isaprivate,not-for-profitmembershiporganizationthatcoordinatestheU.S.voluntaryconsensusstandardssystemandapprovesAmericanNationalStandards.ANSIconsistsofapproximately1,300nationalandinternationalcompanies,30governmentagencies,20institutionalmembers,and250professional,technical,trade,laborandconsumerorganizations.ANSI（Cont.）ANSIactstoinsurethatasingleconsistentsetofconsensusbasedAmericanNationalStandardsaredevelopedbyANSI-accreditedstandardsdevelopers.Integraltothedevelopmentandapprovalprocessistherequirementthatallinterestsconcernedhavetheopportunitytoparticipateinthedevelopmentprocess.FamousStad.:ANSI.1Obtainingstandarddocuments:Standardsbodiesdistributetheirdocumentsinseveralfileformatsandtodifferentgroupsororganizations.Manystandardsmustbepurchasedbeforeyoumayimplementproductsbasedonthem.However,thedocumentsarefree.Somestandardsbodiesrequirepaymentup-frontbeforeyouarepermittedaccesstothestandardsdocuments.Obtainingstandarddocuments(Cont.)Stillotherstandardsbodiestakeanopenapproachwheredocumentsareentirelyfreetoreadersandimplementationvendors(RFCs).MoststandardsareavailableontheInternetviaFTP,Gopher,ortheWWW.Manysiteshavesearchengineswhichallowuserstoobtaindifferentdocuments,allofwhichpertaintothesamestandard/protocol.Obtainingstandarddocuments(Cont.)DocumentFormats:Text/ASCII-mostpopularformat.Postscript-requiresapostscriptprinterorTeX/LaTeXtoview.WordforWindows-MicrosoftWindowseditor.HTML-browseabledocumentswithlinkstootherreferences.PDF-AdobeAcrobathyper-linkformat.IndustryControlandAcceptanceCommonlyintoday’scomputerindustry,theacceptanceofproductsarefacilitatedbytheconformancetoandsupportofstandards.Mostproductsbecomeobsoleteiftheyareonlybasedonproprietaryspecificationsanddonotsupportstandards.Ifacompanymaintainscontroloverthemajorityofproductsbasedonaparticulartechnology,thatcompanycanusuallydictatethedirectionoftheindustryandanystandardstofollow.Timing:It’simportantforstandardsMITD.Clark‘s“apocalypse(启示)ofthetwoelephants”ThebestperiodforstandardizationisbetweenburstofresearchandburstofmarketingTheperiodisveryshortTCP/IPalreadyentrenchedbymid/lateeightiesOSI/RMisputupintheburstofmarketingofTCP/IPExamples:OSI/RMProblemsTannenbaum:BadtechnologyBadtimingBadimplementationBadpolitics三、协议工程：Why?网络服务要求的提高应用的多样性网络系统的多样性导致在协议方面的体现复杂性分布性并发性异步性不稳定性多样性完整性正确性安全性可移植性标准化导致用直觉的工程方法不能保证协议的协议工程(ProtocolEngineering)软件工程的经验1981年由T.F.Piatkowski第一次提出“协议工程学”的概念ProtocolEngineering:What?七十年代未人们开始用形式化的方法描述通信协议。1981年，在软件工程思想的基础上，Piatkowski首先提出了“协议工程（PE：ProtocolEngineering）”的概念协议工程学用形式化方法描述协议设计和维护中的各个过程，它是以协议软件为研究对象的软件工程，而且建立了一套比一般软件工程方法更为严格、更为数学化的理论和方法。集成化(Integrated)、形式化(Formal)的协议开发过程称为协议工程。协议工程的目的是减少协议开发过程中潜在的错误，提高协议开发的效率，促进协议标准化的发展。所谓“集成化”，就是指协议描述、验证、实现和测试等技术前后衔接，并在同一个开发系统中完成。在以往的协议开发过程中，各个阶段并不互相衔接，各个阶段的研究人员作完自己的事情就不再管别的事情了。协议设计者凭自己的经验和智慧设计出协议，用自然语言进行描述，经过他人审定或模拟之后，就予以公布。其他的人只有在感兴趣时才采用某种方法和理论对协议进行验证。协议实现往往根据自己的环境和要求修改协议，协议实现之后不考虑实现与协议规范是否一致。协议的测试往往由协议实现者自己进行，这实际上是一种程序调试。所谓“形式化”，就是指用形式描述技术FDT(FormalDescriptionTechnique)贯穿协议开发的各个阶段。一种形式化描述语言FDL(FormalDescriptionLanguage)以一种或多种形式化描述技术为基础，有严格的语法和语义定义，抽象于具体的实现，可以符号执行，可以转换、翻译成程序设计语言。当协议进行形式化描述后，协议的验证、自动实现、测试就可以在一个集成化的协议工程系统中进行了。ProtocolEngineering:Procedure非形式化协议规范形式化协议规范形式描述与机器无关的源代码实现代码(产品)转换实现产品测试器测试序列发生器一致性测试性能分析模拟验证设计用户需求说明PEActivities:Design我们的定义：根据协议的需求说明构造协议的非形式描述文本(经过非形式的验证分析)称为协议设计；而将“协议的设计、形式描述、验证、实现、测试、运行”这一全过程称为“协议开发”，即协议开发是指协议工程活动的全过程。

其它定义：将协议设计定义为“从协议的需求说明到协议的形式描述文本，并经过严格验证和性能分析”这一过程，或定义为协议工程活动的全过程，即相当于“协议开发”。

包括：协议环境分析、协议的功能设计、协议组织形式的确定、协议元素的构造、协议文本的编制等。PEActivities:Design（Cont.）协议设计质量的好坏直接关系到开发出来的协议性能、功能是否能满足用户需求的一个重要因素。协议设计阶段的结果是非形式描述协议文本。

协议设计涉及到很多技术，如差错控制技术、流量控制技术、连接管理技术、路由选择技术等。协议设计还必须遵循一些基本原则，如结构化、模块化等。

PEActivities:FormalDescrpt.通信系统行为的复杂性增大了行为描述的难度，人们必须借助一种语言或一种技术来准确地描述系统行为。在过去，人们习惯使用自然语言进行协议描述（用自然语言写协议的规格说明或规范）优点是：方便、易懂致命缺点是：不严格、不精确、结构不好、没有描述标准和有二义性且很难进行协议实现、测试的自动化和协议验证。

不同的人对协议描述的理解不一样导致不同的协议实现之间不能实现互连，甚至还会得出错误的协议。

解决办法：形式化技术FDT(FormalDescriptionTechnique)协议描述采用形式描述技术的最终目的是：为开发者提供一种分析的方法；作为对开发结果验证的基础；为设计人员和应用人员提供交流途径；作为开发文档能在将来再开发时使用。

理想的形式描述技术应该既能描述系统的行为特征，又能进行操作：在系统需求分析和设计阶段，它应该是一种描述语言在系统实现阶段它应该是一种编程语言。形式描述技术是将协议工程各阶段在技术上衔接起来的纽带，因此它对协议工程的发展起决定性作用。

形式描述模型

有限状态机FSM(FiniteStateMachine)Petri网(PetriNet)时态逻辑TL(TemporalLogic)通信系统演算CCS(CalculusofCommunicationSystem)通信顺序进程CSP(CommunicatingSequentialProcesses)形式文法FG(FormalGrammar)

形式描述语言

ISO制定的Estelle和LOTOSCCITT制定的SDL对象管理组织OMG制定的统一建模语言UML协议验证与性能分析活锁(livelock)

指事物1可以使用资源，但它让其他事物先使用资源；事物2可以使用资源，但它也让其他事物先使用资源，于是两者一直谦让，都无法使用资源。活锁有一定几率解开。而死锁（deadlock）是无法解开的。协议验证(VerificationandValidation)技术和形式描述技术是同步发展的在进行协议实现之前还要进行以下二项工作：在语法和语义方面进行验证；进行计算机模拟。

协议的验证主要内容包括：可达性分析死锁和活锁检测协议的有界性和完整性检查协议的动作序列检查通道溢出检查等

验证方法主要有两类：模型检查(ModelChecking)最常见方法：可达性分析，它包括状态穷举，状态随机枚举，状态概率枚举等方法重要问题：状态空间爆炸证明(Proving)试图用推理演算方法严密地证明协议的各种性质其他方法：模拟（Simulation）通过一些模拟试验来测试协议的各种性质协议实现协议测试验证一个新的协议实现，通常要作多项测试。一般主要考虑以下两个方面：

协议一致性测试。即检测新协议实现是否能满足该协议规范所规定的所有规则。

对协议实现的评价。核对新实现的包括性能参数在内的其它性质。

协议一致性测试是协议工程活动中重要的一环。如果协议实现通过了一致性测试，则说明该协议实现与其它同样通过一致性测试的协议实现可在同一个全局系统中很好地协调工作。

协议一致性测试要做到两点：彻底性和标准化“彻底性”是指必须彻底测试所实现的协议“标准化”是指使用的测试集必须是标准的。

一致性测试的基础：FDT一致性测试要解决两个问题：测试系统设计：重点解决测试方法和测试系统的体系结构问题测试序列的产生：解决测试的“彻底性”和“标准化”问题，以及测试序列的形式描述和自动生成问题。测试序列发生器可以产生各种可能发生的情况组合，以测试所实现的协议是否在各种正常和非正常情况下均能正确工作。

国际标准化组织ISO发布了“开放系统互连一致性测试方法和框架(ISO9646)”来指导一致性测试工作，并为许多常用的标准协议制订了相应的一致性测试序列。

协议工程中技术难度最大，工业上又很需要协议的性能主要包括吞吐量和时延

协议的性能分析的目的是改善协议机制，提高执行效率。

可用数学分析方法和模拟方法来进行，两者都基于排队论和概率论

协议维护四、协议设计不当的例子semaphoreswithblock-intervalsystem(空闲/阻塞信号系统)signalmenonbothendslinkedbytelegraphiclineturntoredautomaticallyasatrainpassessettogreenbyhandafterwardsmalfunctionofblock-intervalsystemsignalledbyabellredandwhiteflagstoreplacemalfunctioningsemaphore协议例子：报文(Messages)Message:TT:TraininTunnelTF:TunnelisFreeTL:HastheTrainlefttheTunnel?协议例子：差错控制ErrorFreeFunctioningtrainenterstunnel,signalmanAsendsTTtoBtrainleavesthetunnel,BsendsTFtoAAsetssemaphoretogreenbyhandUnderErrorSituationtrainenterstunnel,AsendsTTtoBbellrings,Ashowsredflagtonexttraintrainleavesthetunnel,BsendsTFtoAAshowswhiteflagtonexttrain协议例子：事故(Accident)OnedayinAugust1861atClaytonTunnel...train-1enterstunnel,block-intervalsystemfails(failstosetthesignaltored),sothebellwarnssignalmanA,thenAsendsTTtoB,thenfetchestheredflagtowarnthenexttrain.train-2comestoofast,an