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

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

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

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

模糊判别在软件可靠性加速测试中的应用

从软件可靠性测试的基本特点出发,分析软件可靠性测试用例之间存在的相似性;并利用模糊数学中的一系列原理,对软件可靠性测试用例特征进行处理;对测试用例相似性进行组合模糊判别,若相似性达到一定置信度,则对该测试用例进行不执行而累积测试时间的处理过程,从而加速软件可靠性测试.该方法只对软件可靠性测试用例特征进行分析处理,对软件可靠性评估模型没有影响,因此一定程度上减小了评估误差,同时在软件可靠性加速测试方面进行了新的尝试.     

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

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

试验设计在软件可靠性测试中的应用

为了有效利用资源、优化测试数据,在软件可靠性测试中引入试验设计:在操作剖面开发过程中应用正交试验设计,选择典型操作;在测试数据生成过程中使用组合设计,结合发生概率得到优化测试数据集.完整的软件可靠性测试过程包括确定系统模式剖面,然后根据正交试验设计确定操作剖面,根据组合设计确定运行分类,最后生成可靠性测试数据执行测试.在此基础上开发了测试数据自动生成工具,进行了实例应用.结果表明该方法不仅能为软件生成可靠性测试数据,还能发现更多的软件缺陷.      

基于S型测试工作量函数的软件可靠性增长模型

软件测试工作量随时间的变化情况对于软件可靠性增长曲线的形状具有显著影响,因此将测试工作量函数(TEF,Testing Effort Function)引入软件可靠性增长模型(SRGM,Software Reliability Growth Model)中以提高软件可靠性评估性能.分析了软件结构特征及学习因素对实际测试过程的综合影响,研究增长速率为先增后减的S型增长趋势的TEF,提出两种S型TEF,即延迟S型TEF与变形S型TEF,并提出考虑延迟S型TEF的SRGM(DSTEF-SRGM)以及变形S型TEF的SRGM(ISTEF-SRGM).在两组真实失效数据集上,进行了这两种SRGM与经典SRGM及其它考虑TEF的SRGM的对比研究.结果表明,ISTEF-SRGM的模型拟合效果最优,同时验证了该模型具有优越的软件可靠性评估性能及模型适应性.      

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

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

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

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

考虑多故障的测试性建模改进方法

分析了测试性建模的现有方法及在工程应用中存在的不足.在信号流图方法的基础上,提出了一种测试性建模的改进方法.该方法支持单元的多故障模式设置,能够区分全局故障和局部故障,并允许设置全局故障沿单元特定信号流方向传递.给出了测试性模型的图形定义、隐含属性定义、相关性矩阵定义和相应的测试性分析推理方法.在此基础上,提出了基于高阶相关性分析的相关性矩阵生成改进算法.以某惯导系统为例进行了应用,建立了测试性图形模型并生成改进的相关性矩阵,与现有方法建立的相关性矩阵进行对比,结果验证了测试性建模改进方法的可行性和有效性.     

通断式多态系统扩展测试性建模方法

现有测试性建模方法有一定的约束条件,包括故障判据的一致性、故障传递关系的一致性、测试的逻辑值判据一致性.针对通断式多态系统具有的状态差异性的特点,提出了一种扩展测试性建模方法.在引入状态集合的基础上,对故障、测试、 D 矩阵和诊断树进行了扩展定义,最后定义了扩展测试性模型.介绍了扩展测试性建模分析的算法,主要有模型建立算法、扩展 D 矩阵生成算法、扩展诊断树生成算法.以某液压操纵系统为例进行了应用,结果验证了方法的可行性和有效性.     

软件标准符合性测试

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

基于多种并发机制的卫星电子设备地面测试软件设计方法

在卫星电子设备测试系统中,地面测试软件不仅要访问测试系统硬件,而且需要与用户直接交互,并完成测试数据的存储和管理,并发处理能力是测试系统可靠和正确的关键,传统软件设计采用的串行策略无法适应卫星地面测试软件中的并发处理需求.为解决上述问题,提出多线程、消息机制、共享缓冲区、P-V操作4种并发机制相结合进行程序设计的方法.实际应用表明采用这种基于多种并发机制的程序设计方法能可靠实现卫星地面测试软件,有效解决了软件开发中的并行性问题.     

基于非参数假设检验的程序缺陷定位方法

调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.     

基于仿真器的嵌入式软件单元测试方法

介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而不是嵌入式专用汇编语言设计桩函数和测试用例,降低了测试人员的培训代价.航天某院等单位的应用结果显示,该方法能有效提升嵌入式软件的单元测试效率,有较高的实际推广价值.     

面向RT软件测试数据自动生成的输入变量分析

为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题,提出了约功能的概念,对输入变量按照实时特性和取值特性进行了分类,探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法,建立了描述输入变量的模型,并给出一个实例,展示分析输入变量的方法.     

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

可配置的软件动态测试系统研究

首先简要分析了软件动态测试方法在测试环境开发、测试执行以及测试结果分析等环节上所存在的问题与缺陷。接着提出了一种采用增加配置的方法构建动态测试环境的思路,并以此为基础,实现了一个软件自动化测试原型系统,同时详细描述了该系统的基本框架,阐述了它的关键技术。