作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。
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.
一致性测试就是测试协议的实现是否与相关国际标准中的规格说明相一致。
The conformance test of protocol is to test the conformance between implementation of protocols and their specifications in accordance with international standards.
应用推荐