自动产生TTCN测试套以及对RIP协议的应用

对协议测试套的产生大部分都是手工寻找的，介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具，该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LOTOS．并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用．     

从E—LOTOS到图形E—LOTOS的一个编辑和自动转换的编译软件

Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版．本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法,称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）．然后利用面向对象程序设计语言Ｊａｖａ 开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件．该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来．为将来的进一步研究提供了一个良好的环境     

网络协议描述和验证技术的分析与比较

随着计算机网络与分布式系统的发展，通信协议的设计和实现的复杂性的增加导致了协议程技术的出现．讨论协议形式描述与验证技术的目的与方法，重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点．     

图形E—LOTOS的一个编辑软件和执行算法

给出了图形Ｅ－ＬＯＴＯＳ编辑软件的主要组成和特点,同时提出了图形Ｅ－ＬＯＴＯＳ的一种执行算法．试图为今后的系统设计、验证、执行和测试工作提供一个良好的环境．     

Internet路由技术的研究

Ｉｎｔｅｒｎｔ内部路由技术是网络技术的关键技术。ＲＩＰ和ＯＳＰＦ是两种内部路由协议,一种属于距离向量协议,一种属于链路状态协议。本文通过对这两种协议的分析比较说明了ＯＳＰＦ取代ＲＩＰ的原因。     

基于IPv4的路由信息协议软件实现

为了解决人工配置路由表比较复杂的问题,对路由信息协议（RIP）进行了比较彻底的分析,包括其工作原理、报文格式和主要实现机制,为了以软件的形式验证其动态路由功能,对其某些机制进行了简化和重新设计,同时结合其报文格式和实际需求对路由表的结构也进行了重新架构,实现完成后将其移植到软件路由器上对其正确性进行了检验,得到了预想的结果,这同时也提供了对其他的动态路由协议进行软件实现的基础。     

一种有效的形式描述技术:GE-LOTOS

利用面向对象程序设计语言Ｊａｖａ完善从体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件,使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开,而且为了方便用户,满足工业界和其它领域的要求,给出了一个从ＧＥ－ＬＯＴＯＳ到Ｅ－ＬＯＴＯＳ描述的一个算法。     

基于Petri网的协议辅助设计工具的实现

研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．     

协议描述和验证的基本方法

简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。     

网络协议工程中的Petri网技术

按照OSI／RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析．     

关于路由协议的一致性测试的一种形式方法

为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。     

基于网格技术的软件编译优化方法的研究

根据网格环境中的下一代软件模型,提出设计一个闭环反馈的编译系统,并采用外挂式的方法实现编译优化模块;将传统优化方法算法、代码压缩技术、负载平衡技术,与编译系统收集的资源信息结合在一起,研究动态优化方法,并建立优化算法评估模型,研究分布软件的适应性问题.     

通信软件系统开发中的形式化描述技术

本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法UseCaseMaps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价。     

基于CSP的网络协议描述与仿真

首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文档的解析为起始,随后生成协议交互的仿真场景,最终调用仿真核心模块输出仿真结果.给出了TCP协议描述的实例,并以此为输入对TCP协议的连接过程进行了仿真,生成了可视化的仿真结果.这些研究表明这种协议形式化描述及其仿真的方法具有较好的理论和应用价值,并为实现自动化的协议开发平台奠定了基础.     

ISO/OSI运输层协议的形式描述

通信协议的形式描述是协议实现、正确性验证和一致性测试的基础．本文用一种混合式模型对ＩＳＯ／ＯＳＩ的运输层协议进行了形式描述，为协议的实现打下基础     

VHDL编译器的设计与研究

简要介绍了VHDL语言的发展，详细讨论了VHDL语言编译器的设计；对预处理、词法分析、文法处理、语法分析、语义分析、出错处理6个模块进行了介绍，同时设计了源描述编译的中间数据格式。     

表达式元性理论形式系统的扩充及其强标准化性质

在[1]所给出的Marin-Loef表达式元性理论形式系统的基础上，通过引入所谓的引用表达式和协引用表达式的形式表示，对其进行了扩充，同时证明了扩充形式系统的强标准化定理。