【摘 要】
：
随着计算机网络的快速发展,网络协议测试技术成为人们日益关注的焦点,而如何才能设计出可靠的网络协议测试工具已经成为人们必须要面对的问题。为此,协议工程(Protocl Engine
论文部分内容阅读
随着计算机网络的快速发展,网络协议测试技术成为人们日益关注的焦点,而如何才能设计出可靠的网络协议测试工具已经成为人们必须要面对的问题。为此,协议工程(Protocl Engineering,PE)应运而生。形式描述技术在协议工程中扮演着重要角色,使得网络协议测试的正确性和可靠性得到了有利的保障。E-LOTOS(Enhancements to Language of Temporal OrderingSpecification)是一种形式描述技术,它支持形式化方法。图形E-LOTOS(Graphic E-LOTOS,GE-LOTOS)是E-LOTOS的图形表示形式,具有形象、直观的特点。本文通过对E-LOTOS和TTCN-3的深入研究,在已有LOTOS的图形表示基础上,设计修改了GE-LOTOS的各种图形样式,可以很好地表示E-LOTOS的文本含义;实现了从文本E-LOTOS到GE-LOTOS的转换软件;基于GE-LOTOS生成了TTCN-3抽象测试套;给出了IS-IS协议状态机的GE-LOTOS的表示和该状态机的TTCN-3抽象测试套。
其他文献
随着计算机及网络技术的飞速发展,数字作品传播和拷贝变得越来越方便,数字作品的信息安全和版权保护也成为迫切需要解决的问题。数字水印是近年来在信息安全领域兴起的保护知
随着因特网的不断发展，网络信息的增长与个人精力有限的矛盾在不断增加，为了解决这个矛盾，可以进行Web日志挖掘。Web日志可以看作是用户上网留下的痕迹，对其进行挖掘分析可以获得
互联网快速发展带来了电子信息的爆炸性增长,也促进了与电子信息组织和管理相关的技术发展。平面型文本分类以及层次型文本分类都是有效管理海量信息的重要手段。相对于平面
基于协同过滤的传统推荐系统在解决信息过量问题时发挥着越来越重要的作用。在网格环境中,推荐系统通过提供高品质的个性化推荐,帮助网格用户选择更好的服务。另外,推荐系统
随着计算机技术和网络技术的飞速发展，网络安全问题越来越突出，不断提出新的挑战。传统的防御策略以及攻击手段与方法日趋复杂化和多样化。入侵检测逐渐成为信息安全领域的一个
随着国内石油工业的较快发展，计算机网络化的管理模式得到了普遍推广，作为勘探和开发油气田的重要环节，石油钻井信息化技术的发展从面向事务处理阶段逐渐转向面向分析决策阶段。
随着网络技术和互联网的迅速发展，网络应用的普及化程度越来越高，网络上传输的数据量激增。为了充分发挥网络资源的作用，科学合理管理网络的重要性日益凸显。利用网络监控实现网
随着软件工程的发展,基于组件的开发已经成为目前软件开发的主流模式。组件的可靠性和安全性直接影响整个系统的稳定性。组件的封装特性使得基于组件的测试具有较大的难度。
随着集群技术的发展，结点和链路的失效不可避免。因此，在有结点和链路失效下对通信终端间存在可靠通信路径的概率和所有正常结点的互通率进行研究就非常有必要了。由于网络中结
组合优化是运筹学的重要分支，主要通过对数学方法的研究寻找离散事件的最优编排、分组、次序或筛选等。大多数这类问题属于NP完全问题。当问题规模逐渐扩大时，其解空间呈组合爆