论文部分内容阅读
参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信 (DSRC)协议的三层体系结构 .依据ISO标准定义的一致性测试的方法及框架 ,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法 ,设计了具体的测试系统结构 .使用所设计的一致性测试系统对DSRC协议进行测试 ,保证了协议实现与协议文本的一致性 ,也为各DSRC设备之间的互联、互操作奠定了基础 .