基于结构模型的测试性设计与分析技术研究

为了解决因系统信息获取困难导致装备早期测试性设计和维修诊断工作难度增加的问题,提出了一种基于系统结构模型的测试性设计与分析方法。该方法借助图论的数学工具对系统进行数学建模,通过定量分析完成系统的模块划分;在此基础上,建立测试相关性矩阵,以最小测试代价为优化目标函数,应用Huffman信息编码方法生成系统的故障诊断树。与其他方法相比,该方法不仅结果更加优化,而且对系统的内部信息依赖相对较少,可以有效应用于设备的早期测试性设计以及使用过程中的维修诊断工作。     

基于扩展的关联模型的测试性分析技术研究

关联模型由信息流图和故障-测试关联矩阵两部分构成,该模型广泛应用于系统级的测试性分析与设计。为了便于分析反馈环路、故障传播的层次性、解析冗余测试等测试性参数,文章在故障-测试关联矩阵的基础上,构建了故障-故障关联矩阵和测试-测试关联矩阵,得到扩展的关联模型,并基于扩展的关联模型建立了模糊组、反馈环路、解析冗余测试、隐含故障、伪故障等测试性参数的数学模型,最后利用案例演示了扩展关联建模和测试性分析过程。     

基于多信号模型的雷达测试性设计分析

针对过去测试性分析方法计算繁琐、周期长、效率低等缺点,基于模型的方法成为目前测试性设计分析技术的趋势,以多信号模型为基础,结合工作实际提出了一种测试性知识的获取方法。以TEAMS软件为平台,介绍了基于多信号模型的雷达测试性建模和测试性设计分析的原理、过程和结果,为雷达或其他电子装备的测试性设计分析提供了一套有效的方法。     

基于设计特性覆盖的测试性定量分析方法

针对目前测试性分析基于故障分析的现状,提出了一种基于系统结构、性能、功能的测试性定量分析方法。定义了系统设计特性覆盖测试模型,系统结构、功能、性能及测试关联模型,性能覆盖率、功能覆盖率、结构覆盖率的定量计算模型。建立了基于设计特性覆盖的测试性定量分析流程,主要包括系统基本信息建立、信息间直接关联关系生成,测试覆盖率定量计算及测试未覆盖项分析。以某飞机舵机系统为例进行了应用,结果验证了方法的可行性和有效性。     

基于Agent的卫星体系作战分析仿真框架研究

分析了开展卫星体系作战分析仿真研究的重要性,基于Agent方法进行了卫星体系作战分析仿真建模,把仿真实体高度抽象为Agent实体、设备实体和环境实体三种类型,建立了Agent实体的物理层、信息层和认知层模型。提出了作战分析仿真的实现方案。最后总结了这种仿真框架的特点和长处。     

探索性分析框架EAF的设计

实现了一个探索性分析框架原型系统EAF，使得问题的分析与相关模型独立开来，因而更具柔性。探蠹陛分析框架是由初始输入，问题探索求解控制，输出数据综合分析等三个模块组成。其中初始输入模块主要完成分析问题背景的初始化设置，探索空间的确定，分析决策目标的确定等等功能。问题探索求解控制模块主要完成基于静态或动态优化控制机制，控制探索过程，以减少探索空间规模的工作。输出数据的综合分析模块完成收集探索计算的结果，综合分析数据，为分析人员提供决策支持，并辅助生成分析报告。     

基于统计覆盖测试技术的软件测试充分性研究

研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准.在此基础上,进一步研究了统计测试技术与软件可靠性技术指标中的软件失效率之间的联系,给出了基于统计测试技术的软件失效率的度量方法.     

基于SMP2的仿真模型测试方法研究

仿真模型的有效性评估一直是建模与仿真领域研究的重要课题。在工程大系统的仿真模型集成过程中,由于传统仿真模型的验证方法受到建模方法和建模语言的多样性以及模型重用语境变化的影响,使工程总体难以确定导致系统行为产生偏差的模型单元。从测试的角度以SMP2（仿真模型可移植性规范）为基础提出层次化语境驱动的仿真模型测试方法论,从测试框架的描述机制、测试框架的分解机制以及面向测试的仿真模型验证方法等三个方面讨论方法论的具体内容,为基于SMP2的仿真模型提出可测试性设计方法。     

基于Agent的建模与仿真概念化框架

基于Agent的建模与仿真(ABMS)是面向复杂系统的建模与仿真方法学。提出了基于Agent的建模与仿真概念化框架,重点对该框架中Agent模型的概念及模型转化、ABMS综合环境以及模型校核与验证等相关研究内容进行了阐述。结合该框架,对Agent、消息、复杂系统及基于Agent的仿真进行了形式化描述。最后,提出了一个基于Agent的建模与分布式仿真软件框架,介绍了该框架的主要组成部件,并对实现该框架的相关技术以及正在开展的工作进行了介绍。     

基于中心度的中国航空客流网络抗毁性分析

以中国航空客流为样本,运用复杂网络理论,构建中国航空客流网络,并论证其系统结构特性。从点度中心度、中间中心度和接近中心度角度确定网络的关键节点,采取基于3个中心度的蓄意攻击方式,根据网络整体效能和簇系数两项指标及其下降率的变化情况,对网络的抗毁性进行了实证分析。在可视化视角下,对比分析3种蓄意攻击方式下航空客流网络结构的变化情况。研究表明:目前中国航空客流网络面对3种蓄意攻击时,网络抗毁性较弱,结构呈现出不同的变化,为此应分别从3个中心度角度出发,着重确保网络关键节点的安全,增加更多的功能不同的关键节点,优化航线网络结构。     

Study of testability measurement method for equipment based on Bayesian network model

To analyze and evaluate the testability design of equipment, a testability analysis method based on Bayesian network inference model is proposed in the paper. The model can adequately apply testability information and many uncertainty information of design and maintenance process, so it can analyze testability by and large from Bayesian inference. The detailed procedure to analyze and evaluate testability for equipments by Bayesian network is given in the paper. Its modeling process is simple, its formulation is visual, and the analysis results are more reliable than others. Examples prove that the analysis method based on Bayesian network inference can be applied to testability analysis and evaluation for complex equipments.     

基于GSPN的导弹多层级测试性需求建模与指标评估

针对目前导弹测试性需求建模尚未成熟, 开展测试性需求分析难度较高的问题, 提出一种基于广义随机Petri网(generalized stochastic Petri net, GSPN)的测试性需求建模方法。在分析导弹结构的基础上对导弹测试性需求问题进行了建模, 给出导弹两级GSPN模型, 深入分析其导弹系统的故障检测及维修过程。根据GSPN模型同构于嵌入马尔可夫链(embedded Markov chain, EMC), 以实存状态集和消失状态集表征库所变迁, 采用同构法对测试性指标进行求解。将多层级GSPN模型分解化简, 减少状态空间数量的求解。对导弹的GSPN模型进行定性和定量分析, 求解不同层级测试性指标最后通过仿真计算, 与系统要求可用度误差不超过0.7%, 验证了多层GSPN模型的可行性和分析结果的可信性。     

基于多信号流图的测试性验证试验样本选取方法

为设计优化的测试性验证试验方案,提出了故障样本优选算法.本算法介绍了多信号流图模型的形式化定义和建模步骤,利用其描述故障与测试间因果依赖关系,建立了故障-测试相关矩阵和故障-故障相关矩阵.在考虑充分覆盖的约束条件下,以试验费用小为优化目标,提出了最小故障样本集和每个故障样本数的选取方法.案例验证结果表明,该方法分析设计的试验方案节省了试验费用.     

基于灵敏度的模拟电路测试参数分析

介绍了一种提取电路最佳可测性参数集以诊断电路故障的新方法。利用灵敏度法分析了电路中故障元件和可测性参数之间的关系,推导出由电路可测性参数表示的故障元件容差最大值和最小值的表示式,得到诊断故障元件的最佳可测性参数,最后利用数据优化算法得到电路故障诊断的最佳可测性参数集。利用所介绍方法分析了一个低通滤波器电路,得到诊断该电路故障的最佳参数集。由于只需较少的可测性参数即可完成电路的故障诊断,因此本方法不仅计算简单,而且可有效地缩短测试时间和降低测试成本。     

基于模糊证据推理的突发事件风险分析模型

突发事件发生、发展和演化过程中的风险属性来源复杂,且相关信息具有不确定、不完备的特点.为准确分析这一特点下的突发事件运行风险问题,引入模糊证据推理构建分析模型.首先根据突发事件的结构化描述框架和故障模式影响危害分析(FMECA)方法构建突发事件风险属性识别框架,获取信息作为风险分析证据并对其进行规范化处理;然后以模糊证据推理构建突发事件风险分析的模型,通过计算,给出事件风险程度的合理判断;最后选取CRH某型动车组行车安全事件进行实例分析.分析结果表明,在分析突发事件风险时,针对信息不确定、不完备特点构建的模糊证据推理模型具有可行性与有效性,同时该模型能够为突发事件风险分析和风险应对决策的制定提供辅助参考.