对形式描述语言E-LOTOS的进一步研究与应用.pdfVIP

对形式描述语言E．LOTOS的进一步研究及应用‘ 赵玉兰叶新铭 (内蒙古大学计算机学院呼和浩特010021) 摘要：根据实际需要，按照形式描述语言E-LOTOS的语法和语义，对现有的E-LOTOS 的某些功能进行了改进和完善，对【1】中提出的对形式描述语言E-LOTOS的图形表示进行了进 一步研究；作为应用，对路由信息协议(RIP协议)进行了E-LOTOS的说明并使用改进和完 关键词：E-LOTOS，GE-LOTOS，形式描述技术，RIP协议． 中图分类号：TP306．2 文献标识码：A 1．对E-LOT0$部分功能的改进和完善 计算机网络技术的迅猛发展，使得网络协议的测试问题已成为国际学术界集中研究的热 点问题，协议测试方面的研究对于网络系统的开发和应用也变得更加重要。由于协议一般都 比较复杂，为了清晰、准确地给出协议说明，常常采用无二义性、具有完备性的形式描述语 言进行说明，现已开发出三种形式描述技术语言分别是：ESTELL语言．SDL语言和LOTOS 增强版，它对语言的可执行性、用户友好的数据类型、时间特性、异常处理、面向对象等方 面进行了增强．具有坚实的理论基础和大量的应用技术，适用手研究具有并行性、非确定性和 同步性的并发系统。为了使协议的验证和测试更加方便、快速和准确，…中给出了把用文本 常用的E—LOTOS语法和语义进行了改进和完善。并对在【l】中图形进行了更一般化的处理。 例如： 1．1对递归进行了实现 递归是E-LOTOS的一个重要内容。对它的 实现有着举足轻重的作用。而递归的实现需做 特殊处理。因为当主程序调用一个子程序时， 需判断这个子程序的函数名是否和主程序的函 数名相同．若相同，则只需将该程序用一个圆 表示且标识符不变，且当鼠标点击此圆时，不 能将这个圆展开；若不相同，则该程序用一个 矩形表示。当鼠标点击此矩形时，可以将这个 矩形展开。 如右图对程序P1的递归。 图i递归的实现 基本项目：电t自然科学基盘资助项目(200109010 34 圈2修改前的a：b：c显示图 图3修改后的a：b：c显示圈 ‘圈4流程固 1．2对相同行为表达式进行了合并 在【1】编译软件工具中，每一个子程序都对应一棵完全二叉树。而本软件将一些相同行为表 达式合并，比如将‘；’、‘[】’、‘…’、‘进行了合并。 如行为表达式a；b；c转换为GE-LOTOS如图2、3。 这样使得图形更加一目了然且在产生测试序列是也比较方便。 修改后的流程图如图4。 数据类型的定义语句进行了改进 实现这三个语句的原理是当回别到endiL endloop或endtype刚，就要会溯找到if、 loop或type，然后将if语句、loop语句或type语句作为一个整体来处理。 1．4实现了多层次调用子程序。 在原编译软件中，B-LOTOS中子程序的调用最大深度为2，这就极大的制了程序的调用。 在新的编译软件中，子程序调用的深度不受任何限制，这就为编写E．LOTOS的程序员提供 了极大的方便。 1．5完善了图形的移动功能 由于E．LOTOS程序都比较长，图形E-LOTOS无法用一屏全部显示，所以要用滚动条将 图形滚动显示。 2．对路由信息协议(RIP协议)的GE-LOTOS的描述 RIP是被广泛应用于Intemet上的一个域内路由协议，它属于内部网关路由协议。本文根 据RIP协议的文档说明，画出RIP协议执行的流程图。继而对此进行了E．LOTOS描述，然 后把文本描述韵E-LOTOS转换为GE-LOTOS． 2．1 RIP协议描述的流程图 圈5 RIP协议的主流程图 2．2 RIP协议的文本E-LOTOS描述 is specificatiOn Rip request—router： 1i stening[package，routertable] endspec 1