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

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

软件测试过程的基本模型POCERM

软件测试过程包含着测试计划的制定，测试大纲的编制，测试用例的生成，测试的实施，测试结果与问题的分析和报告，以及软件测试的管理等项工作。     

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

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

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

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

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

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

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

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

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.      

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

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

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

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

对象状态测试

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

基于BP神经网络的飞行绩效评价模型

为实现飞行绩效的客观评价,利用眼动数据,建立了拓扑结构为6-14-3型的BP(Back Propagation)神经网络模型.已有的实验数据和随机插值法得到的数据作为建模的数据来源,数据分为训练集和测试集并归一化.基于Matlab的神经网络工具箱,利用经验公式和实验比较法确定了BP网络模型的隐含层节点数;对BP算法的各种改进算法进行了优化选择;将训练集数据和测试集数据先后输入网络模型进行学习训练和仿真测试;对3个技术水平的飞行员的飞行绩效进行了预测和评价.研究表明,眼动数据的BP神经网络模型可以较为准确地评价飞行绩效,评价方法可以为飞行训练提供参考.     

一种嵌入式系统软件的非干涉测试方法

传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"可以将这种影响消除,从而得到精确的测试结果,是一种准确反映被测试目标系统真实运行状态的测试方法.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的.通过分析非干涉测试方法的基本特征,提出了该方法的应用模型.在这个模型中,有3个组成部分是必需的,包括静态分析模块,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统.静态分析模块对被测试软件静态特征进行分析,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据.在整个测试周期,"非干涉测试方法"不需要在目标软件中驻留任何仅用于测试的可执行代码.      

基于无关变量分离的EFSM测试数据进化生成

扩展有限状态机（EFSM）相比于有限状态机（FSM）能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触发目标测试路径的测试数据是近年来的一个研究热点。为进一步提高搜索效率,在遗传算法（GA）的基础上提出一种自动分离测试路径中无关输入变量的方法,该方法通过分析模型中变量与迁移间的关系,判定不影响子路径中谓词条件的无关输入变量,进而从个体中将其分离以实现搜索空间的自动缩减,提升测试数据生成效率。对几种具有不同复杂度的基准EFSM模型进行实验后的结果表明,该方法生成有效测试数据的成功率均达到98.2%以上,且与未分离输入变量的遗传算法相比,所需平均迭代次数减少44.7%~85.9%,平均运行时间减少24.1%~85.5%。      

多阶段任务系统通用可靠性仿真模型

归纳了当前多阶段任务系统(PMS,Phased Mission Systems)可靠性建模的基本假设,指出了解析模型描述和求解能力的不足以及仿真模型存在的难以转换的缺点.应用着色Petri网(CPN,Colored Petri Net) Tools建立PMS的多层通用仿真模型:顶层控制模型将PMS各阶段的故障树参数化,作为CPN通用仿真模型的输入;单阶段处理模型根据顶层控制模型的输入判别该阶段顶事件是否发生;底事件处理模型通过比较随机数和故障发生概率的大小产生故障.通用仿真模型可以保持模型结构的稳定,同时又简化了仿真模型的生成.案例对比了CPN仿真模型与二元决策图(BDD,Binary Decision Diagrams)算法的可靠性计算结果,证明了模型的正确性;具有动态变化参数的PMS仿真则说明了模型的适用性.      

卫星通信全代理同态可信传输机制研究

卫星通信及应用已经成为当前社会生活的重要组成部分。为了解决卫星通信数据安全传输、信息隐私保护、接收端信息依赖等问题，基于低轨卫星气象数据传输的典型应用场景，提出了一套全代理同态加密传输模型（FPRM），并依据卫星通信系统架构将其实例化，从而设计卫星通信全代理同态可信传输系统与运行机制。该机制增加系统的通信安全和隐私保护，实现密文的可计算和传输全代理，有效融合卫星、商业数据中心以及互联网资源，降低运行成本，提高资源利用率，具有重要的实际意义和应用价值。最后，通过试验证明该模型的性能和数据扩展性具有可行性。     

基于多路数据采集系统的继电器开关矩阵检测研究

继电器开关矩阵能在不改变硬件的情况下,通过软件灵活设置,实现多路分时等不同方式的数据采集而被广泛应用于各型号的自动测试系统中。继电器开关矩阵功能的好坏将直接影响测试的结果。针对目前人工手动无法进行继电器矩阵开关状态检测的问题,介绍了继电器开关矩阵功能的检测方法,搭建了继电器开关矩阵功能检测系统,采用计算机软件控制自动进行分析判断,完成了继电器短路故障、继电器开路故障和继电器焊点的自动检测,实现了测试的覆盖性和可靠性要求,大大提高了测试效率。     

基于故障行为的惯导产品贮存寿命试验设计

以典型惯导产品加速度计贮存寿命评估为例,提出了一种基于故障行为模型的加速退化试验设计方法,解决了缺乏预试验数据情况下试验应力水平设计的问题。在通过对产品特性和主机理分析基础上,确定表征产品贮存寿命特征参数及试验应力,构建了考虑材料等分散性的加速度计故障行为模型,用以描述参数加速时变规律的特性。在试验应力最高水平确定的情况下,基于给定置信度和故障行为模型,以高应力水平下退化量的置信下限与低应力水平下退化量的置信上限不交叉为原则,采用基于仿真的加速退化试验设计方法,优化确定低应力和中间应力水平,从而设计给出试验剖面,并给出了加速退化试验方案优选流程,最终从备选方案集中确定加速度计试验最优方案。通过实际案例分析,验证了该方法的有效性。