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

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

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

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

AVB网络流量整形帧模型端到端延迟计算

音视频桥接技术(AVB)以传统以太网为基础,通过基于信用量的整形(CBS)算法进行流量整形,提供了音视频流确定性传输的基础保障。在CBS流模型的延迟分析计算基础上,考虑了AVB网络中数据帧实际排队和调度的离散特性,提出了一种改进的CBS帧模型来计算音视频流量的排队传输延迟,并推导了帧模型下最坏延迟计算公式。采用典型的车载网络应用场景对2种模型进行演算验证,结果表明:同流模型相比,CBS帧模型中得到的端到端延迟更小,显示出更好的紧性评估效果,同时这种紧性评估在针对低优先级流量的延迟分析时,差异会更加显著。     

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

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

输入延迟未知的二阶对象的黄金分割控制

研究输入延迟未知对象特征模型的控制问题.采用闭环系统直接求根方法,结果表明:最小方差控制对未知输入延迟不具有鲁棒性,原型黄金分割控制能应对较小的未知输入延迟变化,λ型黄金分割控制能应对较大的未知输入延迟的变化.针对稳定、临界稳定、不稳定以及双积分特征模型,在未知的输入延迟条件下,进一步研究了原型和λ型黄金分割控制器对未知输入延迟的稳定性和性能鲁棒性.对稳定的被控对象,λ型黄金分割控制器,可应对很大的未知输入延迟,且闭环性能基本不变;对非稳定对象的特征模型,λ型黄金分割控制器,可提高应对未知输入延迟的稳定能力,通过优选λ,可优化闭环性能.     

基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.      

传递对准中机翼弹性变形建模与滤波处理

针对机翼弹性变形对传递对准的较大影响,提出采用双激光测距方法对不同挂点弹载子惯导系统的机翼弹性变形进行在线量测,利用AR(n)模型来简化ARMA(p,q)模型进行机翼弹性变形的在线建模.建模中采用递推最小二乘法估计模型参数,利用模型估计残差的F检验法确定模型的阶数.最后,根据机翼弹性变形模型并结合快速对准匹配方法设计了考虑多阶有色观测噪声的传递对准滤波器.仿真试验验证了这种机翼弹性变形在线建模方法和考虑有色观测噪声的对准滤波器的可行性和有效性,为机载导弹提供了一种有效的快速精确传递对准方法.     

开环FOG中PZT调制器的在线研究

从理论上分析了PZT(压电型)光纤相位调制器在开环FOG(光纤陀螺)中的应用特点,研究了它的调制系数和调制相位延迟变化对开环FOG性能的影响;并设计了两种独立的在线测试方法对它们进行了温度特性研究,利用所得数据,用最小二乘多项式拟合的方法分别得到了它们的温度模型.研究表明,在实验温度范围内,开环FOG的相位调制系数K_GP随温度呈线性变化,而调制相位延迟α随温度呈二次的变化.      

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

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

一类非线性时滞系统的采样控制

针对于采样区间具有已知上界的非线性时滞系统,分别考虑了常采样和变采样两种情况下的采样控制问题.目标是设计一个状态反馈采样控制器,使得闭环系统指数稳定,并且满足给定的性能指标.基于输入延迟方法,可以将采样控制系统转化成具有时变延迟的连续系统.引入了新的时间依赖Lyapunov函数,这些Lyapunov函数在下一个采样时间到来之前没有增长.以线性矩阵不等式(LMI, Linear Matrix Inequality)的形式给出了具有时变延迟的非线性扰动系统指数稳定的充分条件.仿真结果说明了所提方法可以提高系统的抗扰能力.     

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

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

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

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

UML在软件可靠性测试数据自动生成中的运用

为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机 制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根 据 这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测 试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.     

一种IC测试系统的可靠性分析与改进设计

美国ＧＲ系列ＩＣ测试系统采用磁带机作为系统程序的输入设备,由于磁带机故障率较高,因此使用中经常发生程序输入失败的现象,严重影响了该测试系统的可靠性,本文在对ＧＲ１７３２Ｍ型测试系统的组成结构进入深入分析的基础上,应用在线仿真器对主处理器进行实时仿真,跟踪了引导程序的执行流程和系统磁带的输入过程,提出了用ＰＣ微机代替磁带机,通过ＲＳ－２３２串行接口传送所有软件,本文详细阐述了改进设计方法,改进成功后     

软件可靠性验证测试最小测试量的必要条件

将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.     

变母体变环境数据的可靠性综合评估模型

在可靠性增长的杜安模型基础上,引入不同试验条件下的环境折合系数,建立了变母体变环境数据的可靠性综合评估模型,提出了环境折合系数的一种工程确定方法,给出了所述方法与模型的一个工程应用实例.     

软件可靠性参数研究

确定软件可靠性的定量要求是软件可靠性工程面临的首要工作内容.本文讨论了软件可靠性定量要求的意义、特点、描述,对一般的软件可靠性参数进行了分析,提出了结合武器装备特点的软件可靠性参数,并给出了软件可靠性参数的选取及其指标确定应考虑的因素.      

航天器控制软件可靠性工程方法研究

当前航天器控制软件的复杂度越来越高,软件的规模十分庞大,对软件可靠性安全性要求极高,因此对航天器控制软件的可靠性设计和度量具有重要意义.介绍和分析适用于航天器控制软件的可靠性设计方法,并结合某型号给出实际的软件设计以及可靠性度量的具体实例.