一种“白黑白”盒混合型航天器软件单元测试技术

软件测试是软件质量保障的基础,而单元测试是软件测试中不可或缺的重要环节.充分的单元测试对发现和排除软件中的缺陷非常有效,并且花费成本较小.基于航天器软件其较高的软件可靠性、健壮度等设计要求特点,归纳总结航天器软件单元测试的常见典型问题.结合航天器软件单元测试的具体实践,提出了"白-黑-白"盒混合的单元测试方法,旨在提高单元测试的质量与效率,从而保证航天器软件可靠性.     

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

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

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

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

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

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

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

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

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

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

嵌入式软件仿真测试平台构件化技术研究

软件测试在航天嵌入式软件研制过程中占有极为重要的地位,使用全数字仿真测试平台进行软件测试是行之有效的方法.对仿真测试平台进行层次化构件分解和构件设计,研究航天软件仿真测试平台构件化开发方法,并给出应用实例,证明了该方法可大幅提高平台开发效率.     

基于黑盒测试环境的交会对接软件时序分析技术及应用

航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用.     

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

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

遗传算法在软件测试数据生成中的应用

测试数据生成是软件测试中的关键环节,它的实现对于软件测试过程的自动化具有重要意义.本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,其中讨论了编码策略、评价函数构造及插装等问题的解决方案,并重点说明了如何对遗传算子进行改进,使算法在解决本问题时更加有效.实验数据证明该方法是高效的.     

校准实验室通用软件开发平台设计技术

从无线电计量测试工作特点出发 ,在深入研究、分析各无线电参数计量测试业务工作普遍规律的基础上 ,全面阐述运用专业化的软件设计技术 ,开发校准实验室通用软件开发平台工具软件的过程。该软件能够最大限度地提高校准实验室检定测试软件的开发效率及开发质量 ,实现检定业务流程自动化及计量测试信息的全面管理     

基于文档状态的软件质量保证过程管理

软件文档贯穿于整个软件生存周期,是软件产品的重要组成部分,它们的质量直接影响着软件的质量.通过对软件文档过程的深入研究,提出了文档状态的概念,详细介绍了基于文档状态的文档角色、文档活动、文档版本和文档间依赖关系,以及如何利用它们对软件文档的过程进行控制、跟踪和管理,进而达到对软件质量保证过程的管理.      

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。     

机载设备自动测试系统通用开发平台

针对当前自动测试系统(ATS,Automatic Test System)开发技术存在的不足,构建了一个ATS通用开发平台.该平台对ATS软硬件进行联合设计,用户只需通过接口输入被测设备信息及测试策略流程,平台即可自动完成大部分软硬件设计工作,包括仪器选型、适配器设计、测试程序生成等.设计结果会传递到平台提供的ATS运行环境,供用户进行被测设备的测试、故障诊断.经实例验证,ATS软硬件联合自动设计技术可缩短开发周期,降低开发成本,提高设计的标准化、通用化程度.      

软件标准符合性测试

叙述了软件标准符合性测试方法，提供了断言类型判定，测试级别，测试套集，测试工具等关键技术的解决方案，对软件标准测试，软件质量保证均有一定的指导作用。     

软件自动测试的研究与程序实现

从介绍软件系统测试的现状及所采用的测试过程，测试方法入手，对软件自动测试的生命周期，适用范围，实现机制进行了研究，讨论了一种可行的，实用的自动测试的开发过程及方法，并且在此基础上介绍一个基于该方法的自动测试程序的实现。     

软件可靠性预计方法研究及实现

软件可靠性评估可以估计和预计软件可靠性水平.为了解决软件可靠性预计过程中存在的问题,提出了一种软件可靠性预计方法.该方法通过分析和改进模型的预计质量来选择模型进行预计,对模型预计质量的分析使用了U图、Y图和对数PLR图,再标定法和组合法被用于改进模型的预计质量.在该方法的基础上开发了软件可靠性分析工具,此工具可以进行多种软件可靠性模型的原始预计、预计质量分析和改进原始模型的预计质量.     

个体软件过程实验研究

为确定个体软件过程PSP(Personal Software Process)在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在1997年进行了PSP的应用实验.本文首先简要介绍了PSP的原理和方法,然后给出PSP实验的结果数据,对该数据从差错率和生产效率2个方面进行了统计和分析.分析结果显示,PSP的应用对于提高软件开发效率、改善软件产品的质量有重要的意义.讨论了PSP应用过程中可能遇到的问题,指出了今后进一步的工作.