从ESTELLE协议规格说明生成测试序列

ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。随着计算机网络技术的发展,出现了一门新的学科——协议工程。它包括通信协议的规范、验证、生成、测试。测试序列生成在协议一致性测试中是一个非常复杂的问题。本文提出了从ESTELLE语言规范生成测试序列的方法。有关测试序列生成的一些原始材料可以在一些协议规范的文本中找到。_抽象机(即扩充的有限自动机)是所提方法的基础。这个方法的思想是这样的:首先是用ESTELLE语言编译器从ESTELLE协议文本中提取要求的信息(抽象机),并且用某种形式表尔之。第二,将抽象机展开成为一个一般的有限自动机。第三,从有限自动机中生成测试序列。最后,把测试序列转换成TTCN形式。     

多语种自然语言生成系统中的语言模型

介绍了在多语种自然语言生成系统中如何用统一的模型来表示各种语种的语言知识。本文将语言知识分为语义资源和语法资源两个部分。前者通过Ｓｃｈｅｍａ和优化规则确定文本的内容;后者根据子结构类,句法规则和词典确定文本的具体形式。该模型以复杂特征集为语言知识的载体,将表示抽象语义的数据扩展为生成不同语种文本所需的语言资源。     

TCP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明.B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

在观察者参考框架下的空间关系自然语言描述

自然语言场景描述是计算机视觉的高级应用,如何自动构建图像中对象间空间关系的描述是自然语言场景描述的重要内容。该文提出了在观察者参考框架下的空间方向关系形式化模型可视域角直方图模型,介绍了基于可视域角直方图的模糊空间方向关系判断方法,建立了基于模糊规则的空间方向关系词、程度修饰词和距离关系词的选取方法,最终生成类人的空间关系自然语言描述。人工图形与真实图片的实验结果表明采用该方法生成类人的自然语言描述是符合人类认知的。     

基于关键字驱动脚本的安全软件自动测试系统

提出并阐述了一种基于关键字驱动脚本的安全软件自动测试系统设计方法。使用关键字驱动脚本欲将大量有效测试案例形式化，建立测试案例专家知识库，并开发能够实现复杂测试案例自动生成、自动测试和自动结果比较的新一代安全软件自动测试系统。此系统可进一步提高铁路车站计算机联锁软件测试自动化水平和测试效率。     

基于有穷自动机的自然语言状态转换

针对Robocup自主机器人比赛中,机器人进攻和防守状态、动作转换延迟问题,采用一种基于有穷自动机模型的自然语言状态转换方法,把机器人、环境等自然语言信息抽象成形式化的符号和状态,并转化为有穷自动机输入符号.通过设定状态转移函数、字母表规则、无差别地完成各种状态转换过程.研究结果表明:该方法能有效地完成自然语言状态下的机器人状态、动作间的转换,具有较好的实时性和可靠性.     

TOP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差,B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明,B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

《蒙古语语法信息词典》管理平台的设计与实现

<蒙古语语法信息词典>是为实现蒙古语的自动分析和自动生成而研制的一部机器词典.从词典建设的实际需求出发,设计了<蒙古语语法信息词典>管理平台,介绍了管理平台设计和实现的基本方法.     

自动OSPF协议测试的形式化及算法

针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程.首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试.在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足.将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量.     

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.