基于信息模型的测试性试验样本集充分性研究

建立了产品的故障模式信息模型,包括产品的故障模式、结构单元、功能和测试数据以及这些数据之间的映射关系.根据该信息模型,定义了三种故障模式等价集合,即故障模式单元等价集合、故障模式功能等价集合、故障模式测试等价集合.在这些等价集合的基础上,建立了测试性试验中样本集的三种典型充分性度量和准则,即单元覆盖充分性度量和准则、功能覆盖充分性度量和准则、测试覆盖充分性度量和准则.分析了典型充分性度量和准则的适用范围,并建立了综合充分性度量和准则.使用综合充分性度量可以评价样本集的充分程度,使用综合充分性准则可以确定样本集的构成要求.建立了综合充分性度量和准则的应用方法和流程.通过实例验证了该方法的可行性.     

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

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

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

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

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

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

一种面向嵌入式系统的多模型集中存储方法

随着软件安全性的重要性日益增长，使用模型驱动的方法进行软件开发越来越受到重视。针对目前存在跨域模型的集成障碍，提出了一种基于元建模技术提取多视角模型信息进行存储的方法，并详细阐述了针对AADL、SysML、Simulink三种建模语言设计的建模元素解析、集成描述文件生成的方法框架。实验结果表明:按照所提方法实现的模型仓库能够准确提取出不同视角模型间的集成相关信息，在能够正确存储、查询的条件下，实现的元素数量覆盖率均在90%以上。      

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

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

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

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

通用自动测试系统模型化设计

针对通用测试系统对系统统一模型的迫切需求以及目前ATE(Automatic Test Equipment)模型化设计的不足,基于信号建立了一套完整、有效的ATE系统模型.此模型将ATE系统的硬件资源以及UUT(Unit Under Test)均进行了模型化处理.提出了基于TFF(Test Foundation Framework)的基本信号模型;提出了完全基于信号的仪器驱动模型;提出了基于测试与诊断相结合思想的UUT模型;提出了基于模型间信息共享的思想和路径以逻辑开关描述思想的路径模型.该模型体系为系统资源配置、仪器可互换、测试程序自动生成以及故障诊断提供了强有力的模型基础,从而大大加快了ATE的设计过程,从很大程度上降低了开发成本.     

新的像机观测可靠度模型

针对像机观测方向和观测区域受限的特点,结合人眼感知概率模型,建立了一种基于观测可靠度的像机观测模型.依据Johnson准则,综合考虑了像机距目标的观测距离、观测角度和目标大小等因素,不仅可以确定目标的存在与否,还可以全面描述像机对目标的观测性能,更加符合像机对目标感知的实际情况.在此基础上定义了多个像机对目标的观测可靠度,及像机网络对目标的捕获概率,提出了基于像机观测可靠度模型的多像机网络覆盖优化部署算法.仿真结果表明,利用新的像机观测可靠度模型对网络进行优化,可以在提高多像机网络对观测区域的覆盖程度的同时,优化网络对场景的感知能力,提高对目标的捕获概率.      

项目工程风险评估云判别模型设计

针对工程项目的特点和项目风险定量评估任务,提出了基于云判别模型的风险评估方法.云理论是一种用于处理不确定性和含糊性知识的数学工具,可实现概念与数据之间的相互转换.在云理论的基础上,建立了综合能力模型以及风险评估云模型,提出了基于云理论项目工程风险评估的方法,解决了风险评估中定性语言到定量的转化问题.该方法通过分析项目生命周期中的具体风险与风险因素之间的因果关系,建立项目工程风险评价模型,拓展了在国内经济转轨时期项目工程风险模型的研究思路,并结合应用实例评价该方法对建立工程内部风险评价体系的应用价值.      

Web信息融合系统基础设施的研究

元建模是实现分布异构数据源间互操作的有效途径,元模型框架MMF(Meta Model Framework)是一套元对象和元模型结构的集合,用于信息注册和信息资源库开发中元模型建立.将联邦数据管理系统与软件工程中本体元模型框架结合,建立Web信息融合系统基础设施的体系结构.结合语义Web服务平台和软件代理技术,研究Web信息融合系统基础设施的运行机制.提出本体对象(ontology-object) 建模理论和方法,指导Web信息融合系统基础设施的开发设计,简化设计开发过程.      

基于比例危险-比例优势模型的加速寿命试验设计

将基于信息的优化方法引入基于非参数模型的加速寿命试验优化设计中,针对恒定应力和步进应力两种应力加载方式,分别给出了基于比例危险-比例优势模型的试验优化设计方法.通过对数似然函数建立Fisher信息矩阵和方差-协方差矩阵,并采用基于信息的优化方法建立最优化问题.这种试验优化设计方法可以有效地提高模型参数评估精度,并且避免了传统的优化方法(即将一个与可靠性相关的函数的渐进方差在一个给定区间内的积分值作为优化目标)当目标函数中给定的积分区间变化时将得到不同优化结果的局限.最后给出了应用该方法进行加速寿命试验优化设计的仿真实例.     

基于POD曲线的预警机雷达检飞概率模型

针对预警机雷达检飞试验中距离取样间隔及检飞航线边界条件的确定问题,以保证发现概率(POD)曲线的覆盖率与精确性为目标,提出基于POD曲线的预警机雷达检飞概率模型.首先,根据POD曲线的覆盖率和精确性要求确定检飞试验拟合曲线所需的采样点数.然后,根据POD曲线的经验分布函数建立检飞试验中最小探测距离和最大探测距离的计算方法,并由此确定检飞航线上距离取样间隔的长度.最后,根据发现概率的统计特性得到距离取样间隔内采样点数以及航次数等试验参数,为雷达检飞试验设计与预警性能评定提供定量依据.      

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

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

基于故障树和快照技术的无人机特情训练方法

针对无人机操作手在执行任务时不能有效地识别与处置特情的难题,提出了一种基于故障树遍历分析和快照技术的无人机特情模拟训练方法,并以样例无人机为研究案例进行了关键技术解析、通用化特情训练系统设计实现和试验.利用故障树理论,建立完备的无人机故障树模型,分析了需重点模拟训练的特情.利用快照技术,实现了不同飞行阶段训练的解耦;结合RTW（Real-Time Workshop）技术、数据库技术和视景仿真技术,完成了通用化无人机特情训练系统的开发,并成功应用于某型无人机的特情训练.给出了样例无人机操作手在不同方法下的训练结果,通过统计数据对比,表明该方法与常规的方法相比,训练效率更高,训练的完备度更好.     

面向天基监视的红外弱小飞行目标识别算法

针对当前红外弱小飞行目标特征不明显、背景干扰大等问题,提出了一种基于深度学习的红外弱小目标识别算法。检测框架以YOLOv4模型为基础,通过使用K-means++算法对训练集的候选框进行聚类处理,在初始大小的选取上放弃随机生成初始点的方式,在样本集里选取某一个样本作为初始中心使锚框（anchor）大小的选取更加合理。在模型结构中引入卷积注意力模块,使算法模型计算资源分配更合理,对红外弱小飞行目标的特征信息更加敏感。改进空间金字塔池化模块,使用平均池化可以更多保留图像的原始信息,降低天基成像中的噪点与坏点的影响。仿真实验表明采用K-means++计算Anchor大小时准确率可以达到80.13%,在加入了SPP和CBAM模块后之后在测试集上算法识别准确率达到了83.3%,经过对模型的修改有效提升了对红外弱小飞行目标识别的准确率。     

轻量级门户单点登录服务机制

信息门户的建设过程中需要容易实施且灵活高效的整合模式.为克服传统单点登录机制无法满足在动态松耦合环境下实现快速整合的缺陷,结合面向服务架构思想,提出一种轻量级门户单点登录服务机制(LSSO-Service,Lightweight Single Sign-on Service),可为门户整合提供结构简单、完善通用、松散耦合、快速机动的单点登录服务.LSSO-Service基于高于对象层的分布式服务集成模式进行功能划分,可实现采用不同技术的应用系统在门户中的快速动态整合.阐述了LSSO-Service的设计思想和工作原理,并通过在国内某大型水利信息门户中的应用实践,说明该研究结果对于门户建设具有较高的理论意义和参考价值.      

故障样本量确定与分配一体化设计方案

针对当前测试性验证领域未能考虑故障样本量确定和样本分配2个环节的相互联系,以及现有样本分配方案对影响因子的选择没有统一的框架,导致确定的故障样本量和样本分配不合理的问题,提出了一种故障样本量确定与分配一体化设计方案。首先,以层次Bayes网络模型为框架,融合各节点测试性指标先验信息得到顶层测试性指标的融合分布,并建立故障样本量确定流程;其次,引入结构重要度作为样本分配影响因子,同时结合故障模式影响及危害性分析（FMECA）信息确定节点和故障模式的样本分配影响因子,提出基于节点和故障模式的二次分配框架实施样本分配;最后,通过实际案例进行对比分析。结果表明:相比其他样本分配方案,所提方案能充分考虑系统结构及其先验信息,进而实现了故障样本量确定和分配一体化方案的设计,保证了所确定的故障样本量和分配的合理性,具备更好的工程适用性。