IPv6协议一致性测试例的设计

文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤，针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案，应用这个方案设计了PMTU发现协议一致性测试的测试试例，对几种不同的IPv6协议实现进行了测试，并给出了测试结果。     

自动化测试脚本自动生成技术的研究

软件自动化测试技术的出现，大大减轻了软件测试人员的测试压力，显著提高了测试工作的效率，但是自动化测试脚本的编写和维护工作也是测试自动化所面临的一项挑战。针对自动化测试脚本的编写和维护工作中遇到的困难，提出了一种基于RFT的测试脚本自动产生的方法，从而有效地提高了测试工作的效率，降低编写和维护测试脚本的开销。     

LoadRunner在EJB自动化测试中的应用

使用负载测试工县LoadRunner测试EJB，提出了基于RMI-IIOP的测试以及基于HTTP协议的测试两种方法，并分别给出了原理，安装，配置，脚本录制和运行过程。最后对两种方法进行比较，得到了在实施对EJB远程接口测试时，宜使用基于RMI-IIOP的测试，而对本地接口则基于HTTP协议的测试更好。     

浅析工程应用软件的可靠性测试技术实施

本文通过对软件可靠性模型的分析探讨，对工程应用软件的样本测试提出了检验性测试和验证性测试的思路。根据该思路的测试步骤，论述了测试中案例的选取和运行轨道，以及与测试相关的测试策略和评判标准，并借助实际工程应用软件样本，对测试结果进行了综合评定。     

基于API测试的分布式测试框架的研究与实现

以APT测试为应用背景，在研究现有的测试驱动器的基础上设计了一个较完整的分布式测试框架，同时对一些关键技术的实现进行了讨论。该分布式测试框架采用客户机／服务器模型和对称结构，可以应用于分布式测试口远程测试及非分布式测试，具有自动化测试能力，同时考虑了对第3方测试工具的松散集成。     

软件可靠性测试充分性研究

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上，形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质，重点研究了软件可靠性测试的充分性，将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则，给出将测试充分性准则用于可靠性测试流程的模型。     

基于单元故障模型的树型加法器的测试

首先分析了树型加法器的原理，总结了其运算特性．其次在介绍单元故障模型的基础上分析了树型加法器的测试向量生成．分析结果表明，5n-1个测试向量可以实现树型加法器中所有单元故障的检测．这些测试向量具有很好的规则性，能够利用片上测试向量生成器实现，适合于应用内建自测试技术测试．基于此，作者提出了一种内建自测试的测试结构，测试时只需存储7个籽测试向量，其它测试向量可以在这7个籽测试向量的基础上通过循环移位实现．最后给出了实验分析结果．     

基于状态的增量式类测试策略SITS

基于状态的测试是面向对象软件测试的一个重要方面。本文在FREE状态测试模型的基础上，提出了一种基于状态的增量式类测试策略。首先提出了一种全面测试基类的显式、隐式行为的测试策略；然后在进行面向对象软件测试时，对于子类的测试，加入增量式测试的思想，以简化测试实例的数量及测试执行时间；最后对SITS策略的测试实用性进进行了概括性总结。     

一种直升机左右配电盒线路逻辑测试技术

针对直升机修理工厂对某系列直升机左右配电盒线路逻辑测试过程中存在的测试效率低下、误测、漏测等问题，分析了该系列直升机左右配电盒的工作原理，将配电盒线路逻辑测试分为不加电情况下的线路导通测试和加电情况下的线路通电测试，提出了一种基于虚拟仪器技术与自动测试理论的直升机左右配电盒线路逻辑自动测试方法，搭建了该系列直升机配电盒的线路逻辑测试架构。测试验证表明，所提出的测试方法简化了测试操作、提高了测试效率、降低了测试误差与测试风险，并对其他系列直升机左右配电盒的线路逻辑测试具有一定的参考价值。     

测试向量转换中波形数据格式及其压缩编码算法

为了实现由芯片设计仿真出来的测试向量到测试设备的测试程序转换，在分析了不断变化的测试需求后，提出了一种类-STIL的波形数据格式。针对该波形数据格式，实现了一种基于测试向量特点的动态无损的压缩编码算法, 从而解决了测试向量的大容量问题。实验结果表明，在该波形格式基础上的测试向量转换，不仅在速度上得到优化，同时针对大容量的测试向量集合，也获得了较高的压缩结果。     

IPv6协议测试系统研究和实现

IPv6必将成为下一代Internet网络的主导协议，如何测试各个厂商的IPv6实现是一个关键的问题，本文关注于IPv6协议的一致性测试，提出了一种分布式虚拟测试法，采用该方法我们实现了一个测试系统，并进行了实际测试，给出了一些测试结果和分析．     

IPv6中IPSec协议一致性测试

IPV6协议是下一代互联网协议，IPSec（安全IP）协议是IPv6协议的一个重要组成部分，用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础，基于ISO协议一致性测试标准，开发了IPV6协议一致性测试系统，文章给出了该系统的测试方法与测试结构，通过一个测试实例介绍了测试集的形式化，并对一种Unix实现上的测试结果进行了分析。     

测试流量生成的设计与实现

测试流量生成是网络设备性能测试中的一个重要部分．为满足测试需要，测试流量应尽可能的接近实际网络流量．本文提出了测试流量的特征，设计了一个测试流量生成模块，该模块已在IP网络性能测试系统中得到实现．     

新式飞机氧气测试装置的研究与设计

文章介绍了一种新式飞机氧气测试装置，详述了其组成、工作原理和软硬件的设计方法。新式飞机氧气测试装置基于虚拟仪器技术，采用计算机控制，彻底解决了旧式氧气测试装置测试精度低和操作繁琐的问题，该测试装置巳获得成功的应用，达到了设计目的。     

小型直流电机参数微机自动控制测试系统

本文分析了基于单板机，单片机测试系统的缺陷，提出了基于微机的自动控制测试系统的硬件和软件设计方法，并对两种测试系统的性能特点进行了比较；最后以测试汽车起动电机为例，给出了直流电机测试系统的设计方法。     

导弹高度通道过程测试方法研究

为了对导弹无线电高度表的性能进行全面测试，分析了现行无线电高度测试原理、方法的不足，提出了过程测试方法，研制了用于过程测试的可编程差拍信号发生器模件，在自动化测试设备上实现了导弹高度通道过程测试，并在导弹全弹道仿真中得到了应用。     

并发TTCN测试执行器的实现研究

并发TTCN同时拥有多个测试部件的特性，改变了整个测试框架，也带来了如何协调和管理测试部件之间通信的新问题，本文在传统TTCN测试执行模块的基础上为并发TTCN设计了测试执行模块的整体模框架，并进行 了具体的实现。     

DCS软件故障诊断的自动化测试技术的研究与应用

集散控制系统被广泛用于电力、化工、核电、造纸等重要工业领域，以计算机和仪表为载体，对现场生产环境进行全方位的监控并集中管理。随着控制系统越来越复杂，生产规模越来越大，故障诊断模块能够及时发现系统的故障并及时报警，对生产至关重要，也关系到日常生产安排和设备检修保养周期。鉴于故障诊断对整个DCS软件的重要性，对故障诊断的测试工作异常重要。当前DCS软件的很多模块采取人工手动测试，而消缺或需求变更等原因会频繁更换版本，导致出现测试耗时巨大、测试不充分等情况。提出了以Robot Framework+Scapy为依托的自动化测试技术，摒弃了硬件的依赖，减少了测试人力投入，提高了测试效率，提升了测试工作的自动化水平，减少了人工测试的失误，提高了软件质量，而且该自动化测试可按照需求进行组合测试，覆盖各种复杂场景，而且可进行移植，适用于多个版本。     

全局动态测试系统的可视化研究

为了对飞控系统更加全面的测试，在静态测试的基础上，提出了全局动态测试的概念，并且将视景系统应用到全局动态测试系统中，利用Multigen Creator ,Terrex和OpenGVS开发的视景系统使飞控系统的检测过程可视化，代替了传统的试飞测试，实现了在地面对检修后的飞控系统进行动态测试的过程。     

一种低功耗SoC芯片的综合BIST方案

提出了一种低功耗的综合BIST方案。该方案是采取了屏蔽无效测试模式生成、提高应用测试向量之间的相关性以及并行加载向量等综合手段来控制测试应用，使得测试时测试向量的输入跳变显著降低，从而大幅度降低芯片的测试功耗。测试实验表明，该方案既能减少测试应用时间，又能够有效地降低芯片测试功耗，平均输入跳变仅为类似方案的2.7%。