For protocol testing, you don't describe the structure of the implementation, but rather, in black-box style, how a sender and a receiver communicate.
在对协议进行测试时，你不必描述协议实现的结构，但是如果采取黑盒方式，则需要描述发送者与接收者之间的通信方式。
It includes communication protocol specification, validation, implementation, and testing.
它包括通信协议的规范、验证、生成、测试。
Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
应用推荐