论文部分内容阅读
Ｘ．４００协议是ＯＳＩ应用层最为成熟的一套关于信报处理的应用协议，目前已涌现大量的Ｘ．４００协议实现。为了验证了这些协议实正确性及相互连接。相互操作的能力。需要对Ｘ．４００协议实现进行一致性测试。抽象语法表示法－ＡＳＮ．１作为ＯＳＩ应用层协议描述所使用的一种形式化语言，不仅在Ｘ．４００议实现中不可缺少，而且在对Ｘ．４００进行一致性测试中扮演举足轻重的作用。本文旨在分析ＡＳＮ．１工具的应用，并提出“