一种基于形式化描述的测试序列生成改进方法

动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进,大大减少了测试开销．     

一种高效的网络协议一致性测试生成方法

本文基于ＵＩＯ序列提出一种新的协议一致性测试生成方法－叠加回路方法，可以证明，这种方法在保证测试序列错误覆盖勇和的同时不仅降低了叠加转换序列的计算复杂性而且还大大缩短了测试序列的长度。     

测试非确定性系统的一种结构化方法

本文对非确定性的分布式系统的相容性测试提出一种新的方法，这种方法是经典的状态识别方法的一种扩展。我们提出了集合识别的概念，重新定义了区别序列和ＵＩＯ序列，最后我们给出了层次测试的方法。     

基于多UIO序列的协议一致性测试生成*

本文基于多UIO序列提出了一种最优化协议一致性测试生成方法．可以证明本方法生成的测试序列的长度比其它基于UIO序列的测试方法生成的测试序列短．由于本方法采用了形式叠加技术，因此生成叠加转换序列所需要的计算时间大大减少了．     

微机系统窗口图形用户界面管理系统的设计与实现

计算机用户接口设计是计算机应用系统的一个重要发展方向。本文在论述了用户接口设计的理论与实现方法的基础上，设计并生成了一个在微机系统上运行的用户界面管理系统：ＷＧ－ＵＩＭＳ，该系统现于３８６档微机上，以ＭＩＣＲＯＳＯＦＴ ＷＩＮＤＯＷＳ３．０为支持环境，是一个集文字、图形为一体的ＵＩＭＳ。文中着重对ＷＧ－ＵＩＭＳ中的接口生成工作的设计思想、理论原型、实现过程及关键性数据结构等进行了论述。     

测试集自动生成工具TUGEN的设计与实现

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥＮ     

过程自动化现场总线PROFIBUS概述

迄今为止，现场仪表在有爆炸危险区域中的应用问题和现场仪表的功能标准化问题尚未解决，从而阻碍了ＰＲＯＦＩＢＵＳ在过程自动化中的广泛应用。西门子公司和ＰＲＯＦＩＢＵＳ用户组织ＰＮＯ所属的其他公司，运用过程现场总线ＰＲＯＦＩＢＵＳ ＰＡ共同填补了以上空白。ＰＲＯＦＩＢＵＳ ＰＡ特别吸收了ＩＥＣ标准物理层的有关规定，因而可以连接由总线馈电、安装在有爆炸危险区域内的本安型现场仪表。     

FIELDBUS与NOVELL网互联技术的研究

本文通过对ＦＩＥＬＤＢＵＳ及ＮＯＶＥＬＬ网体系结构的分析，研究了ＦＩＥＬＤＢＵＳ与ＮＯＶＥＬＬ网互联的可能性及互联方法，并对其中的两种方法（基于ＴＣＰ／ＩＰ协议的互联方法和基于应用层的互联方法）的实现技术作了深入的探讨，并在实验室里实现了二者的互联。     

OODM：基于形式独立结构模型的面向对象UIMS

ＯＯＤＭ是一个面向对象的用户界面管理系统，主要用于快速建立和改进用户界面原型。本文分析了已有ＵＩＭＳｓ的不足，提出了一种新的ＵＩ结构模型──形式独立的模型，并以此作为ＯＯＤＭ开发的理论基础。ＯＯＤＭ不需要界面规范说明语言，它采用直接操纵技术，结合面向对象的程序设计方法和可视编程技术及约束技术，建立和改进了基于事件模型的界面原型，因而提高了ＵＩＭＳ的易使用性、易修改性、易重用性和易扩充性。本文介绍了ＯＯＤＭ的设计思想。     

基于CFSM的一致性测试序列生成方法

本文采用通信有限状态机模型描述通信协议,基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法,解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法,通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。     

基于CFSM的一致性测试序列生成方法

本文采用通信有限状态机模型描述通信协议,基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法,解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法,通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。     

乘同余伪随机数序列的二维结构分析

乘同余伪随机数序列的二维结构分析罗平（武汉交通科技大学）ＯＮＴＨＥＴＷＯ－ＤＩＭＥＮＳＩＯＮＡＬＳＴＲＵＣＴＵＲＥＯＦＴＨＥＳＥＱＵＥＮＣＥＯＦＲＡＮＤＯＭＮＵＭＢＥＲＳＧＥＮＥＲＡＴＥＤＢＹＭＵＬＴＩＰＬＩＣＡＴＩＶＥＣＯＮＧＲＵＥＮＴＩＡＬＧＥＮ...     

一个基于用户界面对象模型的多窗口界面工具

本文提出了在ＤＯＳ环境下建立一个基于用户界面对象（ＵＩＯ）模型的多窗口界面工具的总体设计思想，根据ＤＯＳ的特点，设计并实现了基本图形软件包、用户界面表示元素库及事件处理器库，并在上述工作的基础上，实现了一个ＵＩＯ类库。本文还着重讨论了界面工具中多窗口管理机制，进一步描述了该界面工具的应用接口。     

用户界面对象模型的研究

本文首先介绍了用户界面对象ＵＩＯ及其模型的基本概念，根据出它的基本特点，较为详尽地研究了ＵＩＯ的对话控制，表示元素及应用接口。最后简单地讨论了ＵＩＯ模型用于多窗口界面工具的设计及实现。     

基于有限状态机的一致性测试例自动生成方法

一致性测试通俗地讲是测试被测设备（ＩＵＴ）是否符合有关标准。随着被测设备类型的增多，用手工方法产生测试例将是不可能的，所以，迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例，用这种方法产生的测试例的数目有一确定的上限。     

一种基于PROFIBUS的经济型现场总线控制系统

本文分析了ＰＲＯＦＩＢＵＳ的基本工作原理,并以某啤酒厂控制系统为背景介绍了一种基于ＰＲＯＦＩＢＵＳ而由ＰＬＣ、ＰＣ组成的经济型现场总线控制系统。     

基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用

基于方块脉冲函数逼近的线性连续回归模型的参数估计及其应用赵明旺（武汉钢铁学院）ＰＡＲＡＭＥＴＥＲＥＳＴＩＭＡＴＩＯＮＦＯＲＬＩＮＥＡＲＣＯＮＴＩＮＵＯＵＳＲＥＧＲＥＳＳＩＶＥＳＹＳＴＥＭＳＶＩＡＢＬＯＣＫＰＵＬＳＥＦＵＮＣＴＩＯＮＳＡＮＤＩＴＳＡＰＰ...     

状态图中可同步测试序列生成策略

对于由通信有限状态机构成的状态图的可同步测试序列的生成策略，一种现有的方法是由状态图生成相应的积自动机，然后采用有限状态机的测试序列生成策略。这种方法存在组合空间爆炸问题和测试序列的同步问题。在定义了测试序列的两类同步问题的基础上，提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略，该策略在不生成积自动机的情况下，通过同步锁和相应的策略解决两种类型的同步问题，避免了组合空间爆炸问题。     

在SIMULINK集成环境中实现实时动画模块

创建了一种基于Ｓ－函数用于ＭＡＴＬＡＢ语言中的Ｍ文件生成ＳＩＭＵＬＩＮＫ环境中的动画新模块方法,解决了ＳＩＭＵＬＩＮＫ环境下被控对象的可视化结果的生成,丰富了ＳＩＭＵＬＩＮＫ的函数库,并利用动画模块对倒立摆控制系统的响应进行了实时模拟,证实了这种方法的有效性。     

抛物型方程网格生成方法及其应用

抛物型方程网格生成方法及其应用张耀科，蔡宗绪（中国科学院计算中心）ＡＧＲＩＤＧＥＮＥＲＡＴＩＯＮＭＥＴＨＯＤＵＳＩＮＧＰＡＲＡＢＯＬＩＣＤＩＦＦＥＲＥＮＴＩＡＬＥＱＵＡＴＩＯＮＳＡＮＤＩＴＳＡＰＰＬＩＣＡＴＩＯＮ￥ＺｈａｎｇＹａｏ－ｋｅ；ＣａｔＺｏｎ...