面向信号的自动测试系统软件平台的设计

给出了面向信号的自动测试系统软件结构,重点阐述了IVI驱动和面向信号的类ATLAS测试程序接口函数的设计,实现了测试程序与硬件无关.描述了测试程序开发环境、运行环境.     

ATS模拟总线及其控制模型的建立

介绍了ATS(自动检测系统)模拟总线的概念，并叙述了模拟总线的控制模型及控制程序的设计方法。这种技术不但可以简化测试程序的设计，还可以实现测试程序与信号转接通道设计的无关性，从而大大提高测试程序的可重用性和可维护性。     

基于动态链接库技术的测试程序实现方法

针对机载电子设备综合测试系统UUT数量庞大、TPS设计工作难度大的特点,通过归纳不同类型UUT的测试需求,提出了基于动态链接库技术的TPS设计方案;该方案把TPS划分成测试程序框架和测试程序两部分,并由测试程序框架通过标准的函数接口实现对测试程序的动态调用,实现了TPS设计的标准化;该技术可显著提高TPS的可维护性,降低TPS的设计和调试难度,减小开发工作量,加快软件的研制进度。     

Lattice可编程器件测试程序开发技术

本文讨论可编程器件测试方法以及测试程序设计技术。介绍了功能测试模型、测试程序生成软件以及测试技术规范。     

基于ATML的测试程序自动生成系统软件体系结构

针对目前ATS的测试程序主要依靠手工编写的现状,研究了基于ATML的测试程序自动生成系统的软件体系结构;通过对ATML框架结构的系统、深入分析,构建了基于ATML的测试程序自动生成系统的业务模型,以软件体系结构理论为基础,设计了基于ATML的测试程序自动生成系统的软件体系结构的"4+1"视图模型;该软件体系结构在通用机电测试平台的测试程序开发中得到了应用,结果表明,该模型可以为基于ATML的测试程序自动生成系统的开发提供顶层指导。     

机载设备自动测试系统平台设计

结合某型飞机机载设备ATE设计过程,对系统硬件、软件以及故障诊断平台的设计与实现中的主要技术特点进行了分析,并详细阐述了面向信号的测试程序接口、系统软件集成以及测试程序开发的思想和实现方法.     

基于ATML的测试软件平台设计

研究了给予ATML标准的测试系统描述方法,以及描述文档在软件平台设计中的应用。设计和构建了基于ATML的测试软件平台,并对其内部各个子系统进行了详细研究和说明。运用此平台对被测对象进行测试时,软件平台能够自动为被测对象配置测试资源,测试程序能够完全面向被测对象而与硬件无关,实现了测试程序的通用性和可移植性并降低了测试程序的工作量。     

基于程序约束的细粒度JVM测试程序约简方法

为了对Java虚拟机(JVM)进行测试,开发人员通常需要手工设计或利用测试生成工具生成复杂的测试程序,从而检测JVM中潜在的缺陷。然而,复杂的测试程序给开发人员定位及修复缺陷带来了极高的成本。测试程序约简技术旨在保障测试程序缺陷检测能力的同时,尽可能的删减测试程序中与缺陷检测无关的代码。现有研究工作基于Delta调试在C程序和XML输入上可以取得较好的约简效果,但是在JVM测试场景中,具有复杂语法和语义依赖关系的Java测试程序约减仍存在粒度较粗、约简效果较差的问题,导致约简后的程序理解成本依然很高。因此,针对具有复杂程序依赖关系的Java测试程序,本文提出一种基于程序约束的细粒度测试程序约简方法JavaPruner。首先在语句块级别设计细粒度的代码度量方法,随后在Delta调试技术上引入语句块之间的依赖约束关系来对测试程序进行约简。以Java字节码测试程序为实验对象,通过从现有的针对JVM测试的测试程序生成工具中筛选出具有复杂依赖关系的50个测试程序作为基准数据集,并在这些数据集上验证JavaPruner的有效性。实验结果表明,JavaPruner可以有效删减Java字节码测试程序中的冗余代码。与现有方法相比,在所有基准数据集上约减能力平均可提升37.7%。同时,JavaPruner可以在保障程序有效性及缺陷检测能力的同时将Java字节码测试程序最大约简至其原有大小的1.09% ,有效降低了测试程序的分析和理解成本。     

基于S3C6410的LCD驱动程序研究

研究了基于ARM的处理器对4.3寸LCD、7.0寸LCD初始化程序,提出了一种驱动LCD的编程模式。设计中采用具有ARM11内核的S3C6410等芯片进行相关的硬件设计,使用GNU编译器进行软件程序设计,在此基础上,专门设计了测试程序用于测试程序的正确性和有效性。     

PLD自动测试程序生成系统

本文讨论基于ＰＬＤ设计文件的ＰＬＤ自动测试程序生成技术，包括设计文件解析技术；测试向量生成长法；测试向量自动生成技术；测试程序自动生成技术；以及相应的ＡＴＰＧ技术。并介绍我们研究开发的ＰＬＤ器件自动测试程序生成系统－ＰＬＤＴＥＳＴ。     

一种新的软件测试数据的进化生成方法

测试数据自动生成对降低软件开发成本是非常重要的.本文首先提出了基于程序结构和程序规范相结合来设计适应度函数的新方法：分别设计基于程序结构和基于程序规范的适值函数,再将二者结合作为最终的适应度函数值;然后,在采用上述适应度函数定义的基础上,构造了一种软件测试数据的进化生成方法.     

Proto-Perf：快速精确的通用处理器原型系统性能评估方法

性能验证及评估是通用处理器设计实现过程中最重要且必须实施的关键步骤之一.高效的通用处理器原型系统性能评估方法不仅可以帮助处理器设计人员在处理器设计阶段尽早地定位性能设计缺陷,而且还可以在设计流片前验证处理器能否达到性能设计预期.然而,对处理器原型系统进行完整的性能测试需要运行较长的时间,这样巨大的时间开销导致设计人员无法及时进行性能设计分析,进而导致处理器原型系统的性能评估成为整个项目的瓶颈.提出了一种快速精确的通用处理器原型系统性能评估方法Proto-Perf.Proto-Perf性能评估方法使用动态程序分析方法和基本块聚合技术抽取测试程序的特征程序片段进行测试,显著地缩短了性能测试时间.实验结果表明,相比于完整运行SPEC CPU2006 REF数据规模测试程序获得的性能数据,使用Proto-Perf测试得到的性能数据的绝对误差平均达到1.53％,其中最高达到7.86％.并且,对于实验中的每个程序,使用Proto-Perf方法进行测试的时间都明显缩短.     

综合测试技术通用性研究与应用

主要介绍一种基于被测系统和设备工程验证检查的通用测试系统开发平台的研制和应用以及测试系统开发平台的组成机制.主要对测试信号文本描述方法、测试硬件平台设计方案、测试流程的文本描述方法、信号相似性的通用比较方法、通用测试平台的文本综合技术等做了研究,并将该技术方案与ARINC608A标准进行了相关比较.首先研究了如何通过写文本的方法对测试信号的特征进行需求描述和统计,在此基础上形成测试平台的硬件设计方案并进行测试硬件的打包安装,构成测试系统的基本框架,解决不同硬件设备与通用测试平台的兼容性问题.然后重点说明了测试流程的文本描述可行性方案.     

基于BIT的导弹测试技术研究

针对现在导弹测试中存在的自动化程度不高、过于依赖人的现状．提出BIT的智能设计实现方法并给出基于BIT技术的导弹测试方案．对BIT体系结构和智能BIT故障诊断进行详细设计,实现导弹测试的快速、高效、准确。研究结果表明该方案有效可行．对在导弹测试中的应用给予了展望。     

基于BIT的导弹测试技术研究

针对现在导弹测试中存在的自动化程度不高、过于依赖人的现状,提出BIT的智能设计实现方法并给出基于BIT技术的导弹测试方案,对BIT体系结构和智能BIT故障诊断进行详细设计,实现导弹测试的快速、高效、准确。研究结果表明该方案有效可行,对在导弹测试中的应用给予了展望。     

一个PASCAL自动驱动工具PADT的设计

程序自动驱动工具是一个重要的软件测试辅助工具，它能够有铲地辅助软件测试人员测试程序，从而提高软件测试效率。本文讨论了我们设计的一个PASCAL程序自动驱动工具PADT，PADT能够使自底向上渐增式的软件测试过程自动化－－辅助用户选择一个可测模块，并为该模块生成 一个测试程序TEST，通过运行TEST来达到测试该模块的目的。本文详细讨论了PADT的设计思想和实现方法。     

某武器系统测试设备嵌入式软件设计

介绍了基于嵌入式开发平台Windows CE对某武器系统测试设备软件的设计过程，论述了系统软件组成及系统测试模块设计方法，针对如何进行程序模块化设计，以提高程序韵可扩展性、可移植性及可维护性等设计难点进行了详细的说明，该武器系统测试设备软件利用开发工具Embedded Visual C＋＋进行开发，软件设计遵循操作界面图形化、程序设计模块化原则，实现了测试软件的标准化，同时满足了实时性、开放性和可靠性等方面的要求，为某武器系统的测试提供了有力的保障。     

基于图元的测试信息描述技术研究

本文分析可视化自动测试系统中测试信息描述的方法,简单介绍基于图元的可视化测试平台的组成结构。然后,针对测试设计过程中硬件测试环境设计、测试软件的流程设计、输入输出数据设计这三个步骤,使用XML模式分别定义了相应的描述语言。为可视化界面信息的描述设计了图描述语言,为测试信息的描述设计了测试描述语言。测试设计与生成的测试程序之间通过XML脚本文件松耦合,不仅便于与其它系统交换数据,而且便于系统本身扩展和更新。     

基于LabWindows/CVI的机载武器测试系统程序设计

自动测试程序应用于基于VXI总线的综合测试系统,检测某型飞机机载武器发射控制系统的完好性;采用LabWindows/CVI技术开发平台,进行软件模块化和可视化设计,通过控制综合测试系统,自动测试程序实现了对机载武器发射控制系统的数据采集、信息处理、故障诊断;实际应用表明,该程序在稳定性、可靠性、维护性等方面性能优越,满足机载武器系统测试的需求。