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

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

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

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

基于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,可以用于模型存储以及模型转换的测试.      

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

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

基于MDP的诊断策略构建方法

针对传统方法忽略测试通过的不确定性因素,缺乏长周期寻优机制,难以在复杂测试系统中生成全局最优诊断策略的问题,提出了一种基于马尔可夫决策过程(MDP)的诊断策略构建方法。该方法将故障检测、隔离的过程表述为系统故障状态的马尔可夫过程,通过引入折扣因子与目标权重,构造了综合效用准则函数的无限折扣模型,并利用策略迭代算法求解出全局平稳最优诊断策略。实例表明,该方法充分考虑了测试通过的不确定性,可实现全局平稳策略寻优,能够有效地指导测试系统实现快速故障检测和隔离。      

区间多目标线性优化的功效系数求解方法

针对工程领域中普遍存在的具有不确定参数的多目标优化问题,提出了一种基于功效系数的区间优化模型及求解方法.通过引入增补变量,将含有区间参数的目标函数化为参数确定的形式.建立以功效系数为基础的评价函数,将原多目标优化问题转化为单目标优化问题,然后分别在区间约束条件的最好情况和最差情况下求解,得到设计变量的最优解区间和目标函数的最优值区间.通过工程算例,与传统概率方法的优化结果相比较,验证了所提出优化模型及方法的有效性.     

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

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

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

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

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

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

航天器供配电测试系统通用化设计

供配电测试系统的主要用途是在航天器测试全过程中,为航天器提供电源、向航天器发送有线指令、接收和测量航天器下行有线遥测信号。以往主流的供配电测试系统均为定制型,其研发成本较高、研制周期较长、可靠性较低。以主机-总线-板卡形式的通用供配电测试系统,实现了设备的定型和批量化生产,解决了不同型号需求定义不统一的问题,同时降低了研发成本、缩短了研制周期、提高了产品的可靠性。目前,该系统已成功应用在多个航天器的测试工作中,随着型谱的不断丰富和航天器型号的深入应用,将有着更广阔的应用前景。     

一种网络环境中的故障诊断模型

结合故障诊断的需求和存在的问题,提出了一种以故障症状、故障假设、诊断操作和观测操作节点为基本元素,并具有网络结构的诊断模型.在该模型基础之上,遵循诊断过程独立的假设,解决实际诊断过程中操作依赖关系的问题,提出了一种基于诊断贝叶斯网络DBN(Diagnosis Bayesian Network)的故障诊断算法.同时通过引入观测操作,加快诊断的速度并且降低诊断代价.试验表明,与P/C更新算法比较,该算法能更有效地降低诊断代价,实现快速故障诊断,较好解决了操作依赖的复杂故障诊断问题.      

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

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

基于量化分析的软件测试过程的控制技术

论述了软件测试的基本过程以及涉及的文档、角色和活动.在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术.为保证被测系统的质量、提高效率、降低成本和改善测试过程提供支持和帮助.      

航空电子设备NSEE试验评价方法

本文定义了航空电子设备大气中子单粒子效应(NSEE)硬失效、硬错误与软错误等大气中子辐射可靠性表征参数,提出了一套航空电子设备抗大气中子单粒子效应危害能力的试验评价方法,包括试验应力终止条件与起始条件的确定方法、M_NSEE预估方法、试验程序、试验评价方法等,并通过某航空用卫星导航接收机试验案例证明了该方法在工程应用中的可操作性与有效性,通过掌握数字信号处理(DSP)、静态随机存储器(SRAM)、现场可编程门阵列(FPGA)的NSEE敏感特性,可为航空用卫星导航接收机NSEE危害防控提供针对性的技术支持.本文为我国航空电子产品大气中子单粒子效应试验评价奠定了理论与应用基础,同时也为其他电子信息产品在大气中子单粒子效应试验评价方面提供了重要依据和参考.      

对象状态测试

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