软件可靠性测试加速方法分析

阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以及提高置信水平3个方面进行了可靠性测试加速方法机理分析,得出基于改变剖面概率的方法只能起到部分加速作用,而其它两类方法可以起到整体加速作用,最后讨论了软件可靠性测试加速方法未来有前景的研究方向。

软件工程基于剖面映射的软硬件可靠性综合试验方法研究

为真实反映产品的实际使用情况,准确验证软硬件综合系统的可靠性,将软件可靠性测试以及硬件可靠性试验进行了综合,提出一种基于剖面映射的软硬件可靠性综合试验方法.该方法首先确定软件测试剖面以及综合环境应力剖面,然后利用剖面映射将软件测试剖面与综合环境应力剖面结合起来,形成软硬件可靠性综合试验剖面;该综合试验剖面真实反映了软件运行和外部环境条件变化之间的关联,避免了软件可靠性测试和硬件可靠性试验分别进行所带来的试验风险和资源浪费,在减少测试代价的同时实现了一次试验即验证产品的可靠性.实验结果表明了该方法的可行性、合理性和有效性.

软硬件可靠性综合评价方法研究

首先阐述了软硬件可靠性综合评价方法 ,并对现有综合评价方法进行深入分析和总结,将现有方法分为基于故障数据融合的方法、基于多模型综合的方法和基于系统结构分解的方法三类并进行比较。在此基础上,分别从失效过程融合、评价结果融合以及微观结构融合三个方面进行了综合评价方法机理分析,得出基于评价结果融合的方法未能有效解决软硬件失效机理不同对综合评价的影响从而造成评价准确性较差,而其他两类方法则在较大程度上考虑了软硬件失效机理不同,因此评价准确性高,最后讨论了软硬件综合评价方法未来有前景的研究方向。

基于混合测试的软件可靠性加速测试方法研究

为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高.

基于体系结构的软件可靠性指标分配方法研究

为提高软件可靠性分配的合理性和工程实用性,对现有的各种软件可靠性分配技术与方法进行深入分析和总结,提出了基于体系结构的软件可靠性指标分配方法。该方法利用离散马尔科夫链状态模型(DTMC)表示软件系统可靠性与各构件可靠性之间的关系,从而建立了考虑体系结构的软件可靠性分配模型;利用灵敏度分析各构件对系统可靠性指标的影响程度。实验结果表明了该方法较传统分配方法更有效。

美军软件适航标准分析

本文梳理了美军与软件相关的适航文件,介绍了美军适航性政策性文件、军用航空器软件适航相关要求,并对美军采用的软件适航性标准内容进行对比分析,给出美军典型飞机软件适航采标情况,对美军军用航空器软件适航工作进行总结,以便为我国军用航空器软件适航建设工作提供借鉴。

一种基于输入域的非参数软件可靠性评估模型

通过分析输入域软件可靠性模型和时间域软件可靠性模型的特点,建立一种基于输入域的非参数软件可靠性评估模型,从而克服一般输入域模型评估精度较差、无法预测的缺点.同时提出了基于非参数统计的方法来估计缺陷数和软件失效概率,从而为利用普通软件测试所获得测试数据进行软件可靠性评估提供了一种解决途径,实例验证表明了该评估模型可以较好地对软件可靠性进行评估,给出缺陷数和软件可靠性的合理估计,其估计精度不低于较好的时间域模型.

IEEE软件可靠性系列标准分析

对IEEE软件可靠性系列标准进行分析,总结了IEEE制定软件可靠性标准的经验,以软件可靠性发展趋势。同时,结合我国软件可靠性标准化工作现状,提出软件可靠性标准的制定及关标准修订的可借鉴之处。

基于虚拟设备的数据记录软件测试环境研究

当前机载数据记录类软件测试过程中,对软件输出的存储接口进行测试时,因大量重复的下载过程或大量改动源程序而造成测试效率低下、测试结果可信度低等问题.本文以通用自动化测试平台为基础,提出了一种基于虚拟设备的测试结果输出机制,通过替代并模拟真实的物理存储设备,将写入存储设备的数据实时转发至测试监控终端,从而解决下载查看和程序插装测试方法带来的效率和可信度问题.最后通过搭建基于虚拟设备的数据记录软件测试环境原型工具验证了该方法的可行性.

FPGA软件半实物仿真测试环境研究与框架设计

针对当前FPGA软件测试工作中,仿真测试和实物测试存在的效率低、覆盖率无法保障、充分性差等问题,提出了一种新的测试环境框架用于FPGA软件测试,采用真实的FPGA芯片运行被测FPGA软件,同时构建执行器FPGA模拟被测FPGA的外部设备与接口环境,构建被测FPGA软件的外设行为仿真模型,将原来仅用于仿真测试的Testbench测试脚本解析为测试数据,将仿真模型和测试数据移植到执行器FPGA中,从而实现了FPGA软件的半实物仿真测试.最后基于该框架开发了原型验证系统,并在测试项目中取得了较好的效果.

基于安全性的航空发动机控制软件测试技术

针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况。

基于Testbench的FPGA实物自动化测试环境设计

针对FPGA软件测试过程中仿真测试和实物测试的不足,提出了一种基于仿真测试用例的实物自动化测试环境,将用于仿真测试的Testbench进行解析处理,形成能够用于FPGA实物测试的传输信号,通过执行器将此信号转换为作用于被测FPGA芯片的实际信号,并采集被测FPGA芯片的响应,实现对FPGA的实物自动化测试。采用实物自动化测试环境验证平台对设计架构进行了验证,取得了良好的效果。

软件故障数据库构建研究与应用

随着软件技术的广泛应用,软件质量对航空装备系统的影响程度极高,为提高装备软件的质量,必须减少软件故障和错误的发生。通过对软件故障数据库进行需求分析,将数据内容和范围作为输入,设计构建软件故障数据库的概念结构模型、逻辑结构模型和物理结构模型,构建软件故障数据库。应用构建好的软件故障数据库,形成结构化和非结构化的软件故障数据,可以方便地对故障数据进行数据分析,在装备软件研制的不同的阶段都能科学、系统、完整地利用故障数据,减少已知软件故障的再次出现,显著提升软件开发和测试工作效率,有效提高装备软件的安全性和可靠性。

基于GJB 5000A验证与确认开展航空装备FPGA软件测试的研究

针对GJB 5000A-2008验证与确认工作域对航空装备FPGA产品规定不具体的现状,凝练总结了航空装备FPGA软件特点,结合GJB 5000A-2008验证与确认工作域对软件测试的要求,开展了航空装备FPGA软件测试的研究,可为航空装备FPGA软件测试过程供规范统一的实践要求。

基于有限状态机模型的飞控软件测试方法浅析

对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴。

航空装备机载安全关键软件安全性测试需求获取方法研究

针对安全关键软件提出了一种基于安全性要求的软件安全性测试需求获取方法,包括安全性需求的分类、安全性测试需求的分解和采集,目的是为得到较为完善的软件安全性测试需求,保证软件安全性测试的充分性。最后,将软件安全性测试需求获取方法应用至某型号发动机数控系统控制软件的安全性测试中,验证了方法的有效性。

基于GJB 9433的FPGA软件测试环境平台研究与应用

针对FPGA测试方法不规范、测试流程不统一的问题,提出构建一种基于GJB9433的软件测试环境平台,通过对FPGA软件测试环境平台的需求分析,设计了基于GJB9433的软件测试环境平台的架构及组成,实现了FPGA软件的自动化测试,并在实际项目应用中对设计架构进行了验证,可为标准在工程项目中的落实提供高效的环境支撑。

基于模式的软件安全性需求研究

软件安全性是适航性要求中的重要环节,而软件安全性需求的获取是保障软件安全性工作开展的基础。基于模式对软件安全性需求进行有效的组织和描述,能够利用已有经验高效指导软件安全性需求获取。给出了软件安全性需求模式的定义和描述方式,以及软件安全性需求模式的分类和构建流程。通过实例应用,验证了模式对软件安全性需求获取的有效性。

基于UML Testing Profile的软件测试过程浅析

对软件测试过程的现状进行了分析,并对对象管理组织(Object Management Group,OMG)提出的测试建模标准(UMLTesting Profile,UTP)进行了简要介绍,对UTP的建模特点进行了分析,最后结合实例对UTP进行测试建模的有效性进行了说明。