一致性测试在TSM终端高层协议开发中的应用

作为协议层软件开发&其测试是非常重要的一环,因此从一致性测试的基本原理出发,详细论述了测试方法和对测试结果的评估,并给出了TSM 终端协议的测试模型及方法实例4这种类似的方法对其它通信系统的测试都有重要的指导意义。     

TCP协议的Z语言描述

计算机通信协议的开发难度随着复杂程度的增加而日益增大，潜在错误也越来越多，其中对协议规格说明理解的偏差是重要原因之一．因此需要对规格说明进行验证和确认，并对协议的实现进行一致性测试．一致性测试就是测试协议的实现是否与相关国际标准中的规格说明相一致．协议的规格说明主要是以自然语言描述的，对其进行形式化是为了精确描述协议，因而可减少这类错误的出现．Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明．本文以TCP协议为例详细介绍了如何使用Z语言对协议进行形式化，为协议一致性测试打下基础．     

TD—SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD－SCDMA技术的第三代移动通信系统的发展战略，提出TD－SCDMA移动终端协议一致性测试技术的研究。着重介绍了一致性测试的原理，TD－SCDMA移动终端协议一致性测试的方法，测试系统的设计和实现，抽象测试集的生成。通过对该项技术的研究，可为TD－SCDMA移动终端设备提供标准的、实用的协议一致性测试方法和工具，以解决接入网络时产生的协议非一致性问题。     

网络移动IPv6协议测试生成的研究与实现

协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。     

一致性测试中的TTON和MSO

计算机网络中，描述一种协议并对其进行标准化并不能确保成功的通信。这是因为协议标准目前基本上是使用自然语言描述的，对协议的不同理解会导致不同的协议实现。一致性测试就是测试协议实现是否符合协议说明。TTCN是一致性测试中最常用的技术，本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展，以及可以将测试用例可视化的技术MSC。     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法,设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试,保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

一种路由协议测试框架研究

为了确保 Internet通信子网的正确性和可靠性 ,提出了一种用于路由协议测试的测试框架。由于传统的测试分类不适用于路由协议 ,所以路由协议应作为一个整体来测试。在分析了路由协议与端系统协议的异同之后 ,提出了一种适用于路由协议测试的 Dip- in抽象测试法 ,并推荐并发TTCN作为测试集描述方法。利用上述测试理论 ,设计实现了可实际应用的分布式路由协议测试系统。该文的研究是对Internet中的核心技术——路由协议测试的一种新探索 ,在我国路由器技术国产化的过程中意义重大     

一种提高协议测试效率的新方法

针对使用传统的方法提高协议测试效率存在的问题，从测试序列测试顺序的角度，首次引入了测试序列动态重排序的方法，对不同的错误情况，提出三种动态排序算法．讨论了测试序列动态重排序对测试效率产生的影响．实验仿真验证了所提动态排序方法比传统的静态测试在测试效率上有较大改进．     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

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

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

计算机软件测试管理应用研究

计算机软件测试是软件工程的重要组成部分,是软件开发人员和用户验证软件产品是否合格的重要手段。从软件工程的角度出发,提出软件测试用例设计方法,测试的方法,并将其整合到测试流程中.该流程可以在软件测试中作为保证软件质量的重要手段.     

一种自动生成软件缺陷输入的方法

利用软件补丁信息,结合静态分析、符号执行和约束求解技术,提出了一种测试输入自动生成方法.该方法可以自动产生绕过补丁修补位置的测试输入,给出新的触发软件缺陷的有效可执行路径,从而找到新的软件缺陷.运用这种方法,在GNU Mailutils中,成功地发现了一个软件缺陷.该方法可以运用于实际的软件代码,保证了软件补丁修补的完备性.     

蒙特卡罗方法在黑盒测试用例生成中的应用

测试用例的生成方法是软件测试技术研究的核心内容,利用蒙特卡罗方法自动产生随机数并将其映射到测试用例的输入域上。可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

基于Windows平台的实时测试系统软件的设计与实现

在Windows平台下利用多线程技术对实时测试系统软件进行了设计和实现。通过分析多线程及其同步控制，结合实例给出实时测试系统软件的总体实现框图及思路，描述了基于事件同步对象的系统软件具体实现方法，给出线程在激光路面平整度测试仪系统软件实际测度中的工作流程。上述思路、方法与流程已被充分应用于对激光路面平整度测试仪系统软件的开发中，并取得了非常好的效果。     

基于系统级故障诊断矩阵方法的软件集团测试

本文讨论了基于系统级故障诊断矩阵方法的软件集团测试，定义了测试矩阵和邻接矩阵，由此能直观、简便地生成集团和极大独立点集．本文为软件集团测试算法作了准备．     

基于B/S结构下的软件系统测试研究

软件测试是确保软件质量的重要手段。对于不同的软件系统,其测试手段和方法也不尽相同,基于B/S结构的软件系统是当前应用比较广泛的应用系统,对这类型的软件系统测试与传统的软件系统测试既有区别又有联系,也对软件测试提出了新的挑战。从功能、性能、可用性、客户端兼容性、安全性等方面系统地讨论了基于B/S结构的软件系统测试方法,及其与传统软件测试的异同。     

电磁屏蔽体效能自动测试系统

本文介绍了电磁屏蔽效能自动测试系统的开发方法,详细描述了测试方法、硬件系统方案和软件系统方案,并给出了自动测试系统的优势。     

关于工控机对电机功率测量的软件处理方法

在工控机对电机功率测试时会遇到相住处理的问题，有两种解决的途径，或者用硬件方法，或者用软件方法，本文介绍了一种软件的处理方法，实验证明该方法是可行的。     

基于测试剖面的软件可靠性测试数据生成技术

为了生成自动飞行控制系统软件可靠性测试数据，建立了软件可靠性的测试剖面、环境剖面等概念，提出了基于任务剖面的测试剖面生成技术和由测试剖面生成测试数据的方法，即将输入数据分为系统模式数据和环境数据，并在任务剖面下分别形成系统模式剖面和环境剖面，最后将两种剖面合成为测试剖面；将环境数据分解为控制分量和随机分量，再利用仿真的方法生成控制分量，从而生成复杂关联的测试用环境数据．通过对飞机执行任务的软件测试表明，所提方法能更为准确地描述软件的实际使用情况，其描述方式与硬件可靠性试验较为类似，可作软硬件系统综合的可靠性试验的基础．     

UML在实时系统测试环境建模中的应用

针对实时软件测试中测试环境和数据的模拟问题,采用基于UML的实时系统软件测试程序设计方法,使测试程序模拟的环境和数据更逼真、可靠,以保证软件测试的有效性．并以ATC（空中交通管制系统）实时软件测试为例,分析了实时软件测试的特点和存在的问题．以及UML语言的应用特点,利用UML（统一建模语言）提供的面向对象建模机制建立雷达数据模拟的模型,并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据．该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用．