论文部分内容阅读
该文根据协议工程的理论基础结合对IRDA协议的理解,在Telelogic TAU软件环境中实现对协议模块的仿真和验证.协议仿真主要运用协议形式化描述语言SDL来描述协议状态机的实现,采用由仿真生成的消息顺序图(MSC)所展示的协议运行情况与协议规范相比较两者之间的吻合程度和Telelogic TAU中的验证工具Validator两种验证方式来对实现的仿真系统进行验证,从验证结果来对协议仿真实现检测和纠正协议错误和缺陷,最大程度保证协议开发前期的工作质量.