论文部分内容阅读
随着开放系统互连（ＯＳＩ）理论研究和工程应用的广泛发展，ＯＳＩ协议软件的一致性测试技术越来越受到人们的关注。该文分析了ＯＳＩ协议的一般特点，指出ＯＳＩ协议可以抽象地描述成一个经历了ＯＳＩ协议标准所定义的状态变跃的扩充有穷自动模型（ＥＦＳＭ），基于ＯＳＩ协议的输入事件和可能经历状态的有限性，以及每一输入事件所引发事件的唯一性，研究和设计了一种用于测试ＯＳＩ协议软件的一致性测试系统－－单机外测试系统。（本刊录）