一种无人机飞行控制管理软件回归测试方法

针对大型嵌入式软件测试的难题,提出了基于系统快照的自动化回归测试方法,并以无人机飞行控制管理软件为研究案例进行了关键技术解析、测试系统设计及分析.利用系统快照技术实现了彼此之间关系繁杂的测试用例的解耦,将复杂的系统测试转化为灵活的单元测试.结合CPPUnit的测试框架,建立了自动化回归测试的系统结构,并深入分析了各部分的功能和执行过程.进而设计出基于系统快照的自动化回归测试执行流程和测试用例的编制流程.给出了某型无人机飞行控制管理软件在不同方法下的测试结果,通过数据对比验证了测试系统的高有效性.      

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

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

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

基于程序变异的Simulink模型测试方法

为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.      

基于OWL-S的测试用例生成

提出了一种基于OWL-S(OWL Web Ontology Language for Services)需求模型的测试用例自动生成方法,针对被测系统需求特性产生测试用例,以提高Web服务系统交互测试的自动化程度和效率.测试用例的生成通过3个步骤完成:①对需求特性进行分析,获取与需求特性相关的具体事件集的集合;②对OWL-S描述的应用流程进行搜索,寻找所有与需求特性相关的测试路径;③对测试路径上相关原子过程的IOPE(Inputs,Outputs,Preconditions and Effects)属性及路径条件进行分析,产生相应的测试用例.以金融行业ATM(Automated Teller Machine)示例系统为例对本方法进行了验证,结果表明本方法按要求产生了与需求特性相关的测试用例,覆盖了所有给定的需求特性公式,并有效的检测出被测系统中存在的错误.      

基于JUnit和元模型的模型存储测试设计与实现

在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过分析不同数量级的测试用例对执行效率的影响以及不同测试覆盖准则和相应的JUnit测试代码规模之间的关系,为测试元模型的设计与存储提供了实践指导,并表明JUnit框架可以用于基于元模型的测试.提出了一个基于JUnit和元模型的自动测试框架——JMetamodel,可以用于模型存储以及模型转换的测试.      

航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

对象状态测试

阐述了面向对象软件测试中对象状态测试的重要性，提出了对象状态测试模型，介绍了从Ｃ＋＋源程序构造模型的方法，最后给出了基于ＯＳＤ的面向对象状态测试的测试策略，测试标准和测试用例的生成方法。     

基于UML模型的嵌入式软件测试用例生成方法

软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采用广度优先搜索满足状态、迁移覆盖准则,由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性.     

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

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

两种混合型软件单元的测试方法

软件测试是保证软件质量和可靠性的重要手段之一,软件单元测试是软件测试中的一个非常重要的阶段.充分的单元测试对发现和排除软件中的缺陷非常有效,并且所花费的成本也小.本文结合航天器嵌入式软件的单元测试具体实践,介绍了白盒技术与黑盒技术相结合的两种混合型的软件单元测试方法,旨在分析如何提高单元测试阶段发现错误的能力而提高单元测试的效率和效果.     

多元回归分析在光纤陀螺标定中的应用

全面系统地介绍了多元回归分析理论,给出了相应的计算公式,并将其成功应用在光纤陀螺标定中。以光纤陀螺标定为例,检验了拟合方程的正确性以及各个因素对测量的显著性,为提高惯性器件测量准确度、组合导航精度打下基础。     

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

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

基于回归模型的液体火箭发动机试验数据的验证与重构

由于传感器设计、制造水平和工作环境等原因,传感器工作异常、出现故障或失效现象时有发生,影响了试验的完成和试验数据的使用。在研究液体火箭发动机地面试验各测点参数相关性的基础上,建立了传感器验证网络,利用测点参数间的线性回归模型对传感器数据进行验证和重构。经过实例验证表明,利用线性回归模型建立传感器验证网络,验证与重构发动机试验数据是可行的、有效的。     

基于滑动多项式回归分析的区间估计和飞行数据异常值处理

针对飞行数据中的异常值给出了一种处理算法,对其进行识别、剔除与补正。根据飞行数据的特点建立了滑动二次多项式回归模型,并变换为正交多项式计算回归系数。在给定的置信概率下求下一个点的置信区间,判断实测数据是否为异常值。将已判定的异常值剔除并用拉格朗日法补正。在某型共轴式直升机的动力学特性研究工作中,利用这一方法对多次外场试飞数据进行了异常值处理,得到了比较满意的结果。     

氧-乙炔烧蚀试验中热流密度的计算

通过氧-乙炔烧蚀试验中改变氧气与乙炔气流量比值的一系列试验,研究了热流密度随其变化的规律,并利用一元线性回归方法,分区间拟合得到了热流密度与两种气体流量比值的数学关系式,经检验该关系式适用性较好,为防热复合材料在氧-乙炔烧蚀试验中热流密度的变化提供了可靠的计算依据.     

200N·m·s控制力矩陀螺用圆柱型导电环寿命试验

导电环用于200N·m·s控制力矩陀螺高速转子电信号的传输,其使用寿命直接决定了200N·m·s控制力矩陀螺整机寿命,因此需要对200N·m·s控制力矩陀螺用导电环进行加速寿命试验.对试验目的、试验对象、加速因子、试验环境、试验系统组成、失效判据进行了详细描述,对导电环寿命试验期间的电噪声、摩擦力矩、绝缘性能等测试结果进行的分析表明,在进行了4×106转的寿命试验后,导电环的各项性能指标仍能够满足200N·m·s控制力矩陀螺的使用需求.     

特种风洞试验中气动伺服弹性失稳故障分析

在某带飞行控制系统的特种风洞试验中,试验模型在闭环大增益情况下出现了振动发散现象。为分析故障原因,对试验数据进行了频谱分析并检验了无风情况下伺服稳定性;同时,将风洞试验动力学系统简化为数学模型,并建立相应的运动微分方程进行分析,得到以下结论:加入支持结构后整个系统的弹性影响较大,并与控制及气动力发生耦合出现气动伺服弹性失稳。进一步针对以上简化模型,进行数值仿真,其结果验证了以上机理。为解决此失稳问题,对控制系统提出了2种改进方案:增加结构陷波器或更改操纵面偏转比例参数,2种方案亦得到仿真验证。最后,将增加结构陷波器的改进方案应用到试验中,达到了预期的效果。