基于全数字仿真的嵌入式软件测试技术

为了对实时嵌入式软件进行更好的测试,提出了一种基于全数字仿真的整体仿真技术.该项技术解决了现有软件测试环境中的两大功能性问题:通过将仿真时钟作为基准时间解决了断点影响实时信号处理的问题;通过提出的“动态桩”方法解决了单元测试时缺乏必要支持函数的问题.利用无损压缩原理对整个仿真测试平台进行优化,改变了仿真平台的低效问题,使这一技术走向实用化.整体仿真技术支持从单元测试到集成测试的整个软件测试过程,增强了在单元测试期间发现异常实时信号处理等方面软件问题的能力,显著提升集成测试的效率,并且实现了测试脚本的复用.该平台已经在某型号系列飞控软件的测试中得到应用.      

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

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

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

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

软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.      

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

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

星载TDI CCD相机成像仿真系统的实现

以VC++ 6.0为开发环境, 基于航天TDI (Time Delay and Integration) CCD相机地物点与像点的映射模型, 开发了TDI CCD相机成像仿真软件系统, 建立了由卫星单轴气浮姿态控制仿真台和地面星载TDI CCD相机成像仿真软件系统构成的实时航天TDI CCD相机成像仿真平台, 可动态模拟航天TDI CCD相机在进行标称偏流角调节后卫星姿态角速度误差对航天TDI CCD相机成像的影响, 仿真结果与实际成像结果基本一致.      

航天嵌入式软件动力学仿真环境的通用软件架构

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求.     

嵌入式软件可靠性测试平台仿真器分系统研究

研究了嵌入式软件可靠性测试平台中仿真器分系统的实现问题.首先介绍了软件可靠性仿真测试平台的功能及组成框架,然后以通用性和可扩展性为前提,对实现仿真器分系统的关键技术进行了探讨,着重对任务调度功能的实现进行了深入研究,提出了一种新的图型任务链的调度方法.实验结果表明,仿真器分系统的这些实现方法具有较高的可靠性、易扩展性和实用性.      

基于三维场路协同方法的静电损伤仿真测试平台

静电放电已经逐渐成为导致各类电子设备故障的主要原因之一,在电子产品研制过程中通常采用实物测试方式检验产品抗静电能力,但该方式耗费资金过大、可重复性差同时易损伤受试设备。在这种情况下,建立基于三维场路协同方法的静电损伤仿真测试平台有效地解决了上述问题。该平台以电脑仿真技术（CST）软件为基础,通过构建静电放电枪模块,结合受试设备模块和仿真参数设置模块,以时域有限积分法求解器进行仿真,并利用数据输出和处理模块得出结果。利用建立好的仿真测试平台对一台数据传输设备进行8 kV接触放电,观察其表面电流和磁场分布,并对其造成的传导干扰和辐射干扰进行分析。通过建立静电损伤仿真测试平台,实现了静电放电测试的可重复以及无损伤的目的,具有较强的工程指导意义。      

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

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

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

车载惯导校准装置仿真测试系统的设计与研究

为了提高车载惯导校准装置系统的通用性和易扩展性,使该平台能够对不同型号的惯导系统进行测试,研究与设计了一套仿真测试系统软件。介绍了该系统的整体结构,并按功能将设计分为测试系统和仿真系统两部分,详细说明了这两部分的实现方法。实施结果表明,通过这种软件平台搭建的系统,具有实时性强、算法运行可靠、结构紧凑、操作简单的特点。     

基础软件平台集成测试组合选择方法

针对基础软件平台集成测试组合爆炸的问题,研究了组合设计方法,提出了一种基于组合设计选择基础软件平台集成测试组合的方法.该方法将基础软件平台看作是一个多因素的系统,组成平台的每类基础软件用一个对应的因素变量来表示,每类基础软件的不同品牌产品表示为各因素变量的多种取值,构建相应的正交表或基于正交表的覆盖表,采用正交表或覆盖表来选择集成测试组合,按照选择的集成测试组合进行基础软件平台集成测试.应用实例表明该方法保证了集成测试组合对基础软件间两两交互的全覆盖,并有效地降低了集成测试组合数.     

基于CDD函数的ICT系统设计技术

工业计算机层析成像(ICT,Industrial Computed Tomography)是一种先进的非接触式无损 检测技术,具有复杂精密、非通用和高成本的特点,需要根据用户的具体检测需求进行定制 开发,以降低系统研发风险和成本.为此,提出并研究了一种基于对比度-细节-剂量(CDD ,Contrast-Detail-Dose)函数的ICT系统设计技术框架.据此,推导了扇束三代二维ICT 系统基于CDD函数的设计平台,并完成了软件开发.该项技术包括基于CDD函数的计算机辅助 设计(CAD,Computer Aided Design)模块、扇束三代二维ICT成像数字仿真模块和CT图像 性能评定模块3部分.其输入参数是表征用户检测需求的初始设计参数,输出参数是满足用户 检测需求的最优解.初始设计参数首先进入CAD模块完成性能考核;如果满足要求,再进入仿 真模块完成仿真考核;最后,对仿真结果进行量化评定,得到设计参数对应的系统性能指标 .计算机仿真和工程系统开发结果验证了该设计技术的有效性.      

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

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