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

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

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

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

利用改进遗传算法的软件故障定位辅助测试用例生成方法

在软件故障自动化定位过程中,如果在给定的测试用例集合情况下故障在故障疑似度列表种排名不高,比较有效的方法为补充新的测试用例。如何在较小的代价下提升故障的可疑度排名是一项具有挑战的工作。提出一种基于改进遗传算法(IGA)的测试用例生成方法,利用软件故障定位的疑似故障排名,来辅助生成软件故障定位过程中的测试用例。依次对所提方法进行阐述和分析,在6个C程序和2个Python程序上开展实验,实验结果表明：所提方法自动生成的测试用例能够有效地帮助提高故障定位的效率。     

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

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

软件回归测试用例选取方法研究

介绍了软件回归测试的概念和进行回归测试的基本步骤,提出了一种回归测试用例选择的数学模型及用例集优化约简算法,并且用实例证明了该方法能有效缩减回归测试用例个数,降低回归测试成本．     

一种基于渐进增长对抗生成网络的火星样本生成方法

对抗生成网络的发展为图像生成等传统领域带来了很大进步,通过使用较少样本训练对抗生成网络,可以学习到特定图像类别的特征,进而能够增广样本应用于场景测试、其他网络训练等多种任务.本工作探索了在较少量的火星训练样本的基础上,针对直接使用GAN生成样本存在特征因平均化而不明显且类别较少的模式崩塌问题,基于渐进增长对抗生成网络,提出了一种聚类-训练-生成协同的火星样本生成方法.实验结果表明,与直接利用渐进增长对抗生成网络的基线方法相比,本工作生成效果得到了提升.     

基于QoS真实性与工作流模型的Web服务选择

基于服务质量的Web服务选择方法往往假定服务提供者与使用者提供的质量数据均为真实可靠,而这一假设在实际中很难保证.为此,提出一种同时基于服务质量数据真实性与工作流模型的服务选择方法.对服务提供者发布的质量数据,根据服务运行数据的统计结果重新计算其客观质量值;对来自服务使用者的主观评价,通过工作流组织模型计算使用者间的信任度,并结合信任度计算当前用户的服务评价值.通过服务质量模型的建立,结合两种数据选出最优Web服务.实验证明该方法能够有效改善不可靠的质量数据对Web服务选择造成的影响,使服务选择结果更加准确.      

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

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

基于模板的工程图生成

为解决工程图样式多样化带来的效率低下的问题,提出了一种基于模板的工程图生成方法。把工程图抽象为一个复杂的表格,利用表格模板技术,完成工程图模板方案的设计;根据不同数据特点,设计了由3种方式构成的数据录入策略;数据和模板通过参数名字符串建立数据接口。从工程图的样式抽象出模板,根据给定的数据和视图生成相应的工程图。在CATIA上利用基于组件应用架构(CAA)的定制开发包,开发了一套工程图快速生成的软件,对本文设计的工程图生成方法的有效性进行了验证,满足了工程图多样性样式的同时,提高了效率。      

基于遗传算法的软件结构测试数据生成技术研究

首先介绍了软件结构测试数据生成的研究现状，然后探讨了用遗传算法解决该问题的方法和技术，在上述研究成果的基础上，已开发了一个用遗传算法实现最优搜索，生成测试数据的工具原形，初步实验表明该方法是有效的可行的。     

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

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

基于Web服务的E-Police系统架构

传统电子警察系统由于过分依赖单一服务器,在系统运算、网络传输以及存储容量上难以满足海量数据的需求.将Web Service技术应用到电子警察系统,设计了各前端节点对等的集群式服务器加单一后端客户处理机模式的E-Police电子警察系统架构,提出了计算服务、存储服务和查询服务;松散耦合的E-Police系统以3种服务的实现为核心,系统依靠大量前端节点承担主要工作,提高了资源利用率;通过Web服务的准备、发布和建立3步流程,实现了一套完整的任务、资源和数据流管理方案,解决了传统系统计算性能、存储容量与图像质量三者难以平衡的问题.      

基于本体映射的产品概念设计方案生成新方法

将本体与本体映射引入产品概念设计方案生成领域,提出了一种基于本体映射的产品概念设计方案生成新方法,有助于解决传统概念设计方案生成算法中由于知识描述不一致而导致的产品设计知识重用困难,以及设计方案生成准确性低的问题.该方法使用本体知识表示方法建立产品设计知识库;使用本体映射算法自动地搜索产品设计知识库中符合设计需求的产品概念设计方案.通过起重机起升机构驱动装置设计实例,验证了基于本体映射的产品概念设计方案生成新方法的正确性和有效性.     

基于结构件实例库的飞机机体结构快速建模

为充分利用和借鉴已有的飞机结构件设计方案实例信息,研究了面向对象的参数化结构件实例描述方法,提出了飞机结构件实例库的总体框架并开发了系统的原型.研究了基于实例库的飞机机体结构设计措施及建模方法,提出了翼面结构和机身结构的参数化描述和模型构建方法,并在一个开放式的飞机总体设计环境中完成了基于实例库的飞机结构快速设计功能.最后通过应用示例说明了该系统和方法的有效性.     

基于多应力加速试验方法的智能电表寿命评估

如何准确地分析、评估多应力-多参数下智能电表的可靠性和寿命是当前热点.首先分析了在温度、湿度、电应力、振动和磁场等条件下智能电表的性能参数内涵,通过失效机理分析提炼了关键参数及其敏感应力,然后通过强化试验探索了关键参数应力极限条件,设计了加速寿命试验方案并实施,对试验数据进行退化轨迹建模、多应力加速模型研究,综合评估了智能电表可靠性和寿命水平.本文成果能为改善智能电表可靠性和寿命提供方法.      

基于相关性分析的结构可靠性加严试验方法

针对传统结构可靠性试验的验证多是基于载荷应力和结构强度相互独立的假设问题,从应力和强度数据的相关性分析与度量出发,在二者均为正态随机变量的前提下,建立了一种基于Copula函数相关应力-强度干涉模型的结构可靠性加严试验验证方案设计方法。该方法结合Copula函数和应力-强度干涉模型实现相关条件下原可靠性指标与加严条件下可靠性指标的转化,适用于小样本情况下基于传统成败型试验方法评估其可靠性。研究结果表明:相比独立假设,应力和强度呈负相关时,会增加试验样本量且样本量随负相关程度减弱而减少;呈正相关时,会减少试验样本量且样本量随正相关程度增强而减少。