（3) 协议规格说明（protocol specification）： OSI标准中的各种协议精确地定义了应当发送什么样的控制信息，以及应当用什么样的过程来解释这个控制信息。
基于38个网页-相关网页
作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。
Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.
一致性测试就是测试协议的实现是否与相关国际标准中的规格说明相一致。
The conformance test of protocol is to test the conformance between implementation of protocols and their specifications in accordance with international standards.
应用推荐