一种软件测试过程的博弈模型

为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.      

星载软件可测试性设计方法

随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段。文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程。可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效。     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

基于AMEsim的双压力柱塞泵的 数字建模与热分析

利用AMESim仿真软件对双压力液压系统进行了建模与仿真.建立了轴向柱塞泵运动方程、流量方程和配油盘的仿真模型,进行了相应的仿真计算.建立了双压力泵控制阀的仿真模型,着重分析了双压泵在高、低2种压力下的流量特性和压力切换时的动态特性.建立了一套完整的液压系统,分析比较了恒压变量泵液压系统和双压力液压系统在相同负载、散热环境和运行时间下的温升情况.结果表明双压力泵的动态特性与理论分析基本相符,在需要2种压力的系统中,双压力泵源在工作效率上明显优于恒压泵源.      

智能测量系统的模块实现

设计智能测量系统主要用于动静态角度的自动连续测量,包含两个主要功能模块:一是基于CPLD,实现对AD的控制,将被测信号数字化处理,同时负责向工控机传送数据;另一个是基于PC104工控机,设计智能测量系统数据处理软件,利用工控机计算被测信号的频率、幅值、失真度和输入信号相位差,实现了测量系统数据处理的自动化。     

一种相机总线数据仿真系统改进研究

针对以51单片机为核心的航空机载设备总线数据仿真系统存在的问题，提出并设计了基于PC104嵌入式系统为核心的总线数据仿真系统。该系统利用ZHHK429-PC104-Plus板卡和自研的ARINC407接口卡，结合25.4cm(10 in)工业级触控彩色显示屏对原系统进行了改进设计，基于Windows Embedded XP操作系统结合LabVIEW实现图形化软件开发，实现了机载惯导和大气机数据仿真输出，使相机在工作房内即可完成全状态通电检测。经测试，该总线数据仿真系统，在原有系统的基础上，各项性能都有明显提升。     

对象驱动的软件测试性度量

为了使用统一的方式度量各种软件的测试性,降低测试性度量的难度和费用,提出一种对象驱动的软件测试性度量方法. 方法基于一个由测试性度量、易测试特性度量、测试性因素度量及其关系构成的软件测试性度量框架,首先分析度量的对象,确定对象的类型、对象所属软件的类型和测试情况;然后根据软件的类型和测试情况,从度量框架中选取匹配的元素,构造一个专用的软件测试性度量框架;最后根据度量对象的类型,使用专用软件测试性度量框架中的元素计算测试性因素、易测试特性或测试性. 应用表明方法能够得到软件测试性的定量结果,预计测试资源,为软件测试提供帮助.      

飞行控制软件测试中的插桩技术

插桩技术是软件测试中常用的关键技术之一.插桩技术应用在飞行控制软件测试中所遇到的一个严重的问题是其带来的额外开销将导致原程序的实时性下降甚至软件的失效.针对该问题,提出了一种基于布尔型存储数组的新的插桩方法.与传统方法相比,该方法优化了插桩的内容,降低了插桩对程序实时性的影响.搭建了一个仿真测试平台并以某型飞行控制软件为实验对象验证了该方法的有效性.实验结果表明该方法大大减少了插桩后程序的运行时间,保证了飞控软件的实时性要求.     

基于PCI04的失真度测量仪设计与实现

介绍了基于PC104的失真度测量仪的数字化测量原理、硬件设计方案和软件流程。根据被测信号的不同特点,文中提出了基于准同步法、曲线拟合法和数字陷波滤波法的失真度测量方案,以提高失真度的测量准确度。     

两种混合型软件单元的测试方法

软件测试是保证软件质量和可靠性的重要手段之一,软件单元测试是软件测试中的一个非常重要的阶段.充分的单元测试对发现和排除软件中的缺陷非常有效,并且所花费的成本也小.本文结合航天器嵌入式软件的单元测试具体实践,介绍了白盒技术与黑盒技术相结合的两种混合型的软件单元测试方法,旨在分析如何提高单元测试阶段发现错误的能力而提高单元测试的效率和效果.     

计量测试软件验证方法研究

在分析计量测试软件的软件测评与计量验证区别的基础上,应用软件测试的基本原理,提出了计量测试软件的计量验证方法。应用提出的方法对铂、铜热电阻自动检定软件系统进行了计量验证,并对存在的问题进行了讨论。     

基于PLC的电池组性能测试系统软件设计

针对电池组性能测试系统的特点与要求,在STEP 7环境下开发电池组性能测试系统软件。给出了系统原理和程序实现方法、流程。该软件已运用到实际工作中,测试数据量大,实用性强,提高了测量速度和效率。     

一种间断照射雷达信号的调制参数测试方法研究

针对间断照射雷达信号调制参数测量问题,提出了基于FSW频谱分析仪和软件无线电技术测量的方法。通过分析间断照射雷达信号的特性,给出间断照射雷达信号调制参数测试方案,解决现场调制参数、编码特性等快速测试问题。     

旋转跟踪模块测试系统设计

简单介绍了旋转跟踪模块测试系统的研发需求背景,阐述了测试系统的组成结构及工作原理;详细介NTN试系统的主要组成单元,最后对测试系统的软件设计要求、程序流程和关键参数测量进行了说明。     

等离子体诊断中扫描电压源的研制

详细叙述了扫描电压源的硬件和软件组成,并通过采用PCI-6251数据采集卡、PA93功率放大电路和虚拟仪器软件LabVIEW及工控机相结合, 突破了关键技术,成功研制了一套扫描电压源并应用于等离子体诊断,使整个测试过程非常快, 可以在秒级的时间内完成, 相对于手动测试,该实验得到的数据更为精确, 实时获得了等离子体的伏安(I-V)特性曲线和数据处理结果。     

虚拟仪器一仪器的新概念

从仪器的结构和性能特点方面，对虚拟仪器和传统仪器作了较详尽的比较，提出了“软件就是仪器”的新概念。为进一步阐明虚拟仪器的基本概念，列举并分析了ＶＸＩ总线虚拟仪器的软件框架。     

高速缓存影响的航天器控制软件调度设计方法

针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考.     

星上数据管理中的实时多任务操作系统设计

参照欧空局的软件工程规范,研制了为星上数据管理任务服务的实时多任务操作系统ＲＴ８６,它的硬件环境是两个互为冷配份的主控单元,通过１５５３Ｂ串行数据总线与多个远置单元联接,完成星上遥测、遥控及星上多项数据库管理任务。文章介绍了其设计要点,做到了系统设计思路简单清晰,程序易于修改维护,可靠性高,它为星上应用软件开发提供了通用设计平台。     

The Planetary Laboratory for Image Analysis (PLIA)

The observation, characterization, and understanding of planetary atmospheres are key components of Solar System exploration. Their study requires, among other observations, the use of image data acquired from spacecrafts. The basic tasks that are generally used to work with planetary image data are: image navigation, projection, image processing, limb-darkening correction, composition of multiwavelength images and mosaicing. We illustrate the mathematical techniques required for the study of planetary images obtained from spacecrafts using as an example our own software package (PLIA). We present examples of analysis of Galileo SSI, Cassini ISS and Venus Express VIRTIS observations covering a large range of image peculiarities. The paper is organized as a guide for anyone willing to replicate one or several of the capabilities incorporated in the PLIA software. An open source version of PLIA for astronomical image processing is available.     

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.