一种模型驱动的协议测试故障注入引擎设计

故障注入是一种测试协议实现容错能力的有效方法,而基于模型的故障描述方法能够提高测试的可视性和有效性。提出一种面向协议测试的故障注入引擎,并采用模型驱动的方法,通过测试模型指导故障注入活动,具有移植性强、简便高效等特点。     

基于脆弱点分析的故障注入技术

针对分布式系统规模愈发庞大的现状,提出故障搜索策略--脆弱点辅助识别算法,结合常见故障模式的故障注入模型,研究基于脆弱点分析的故障注入技术,用于搜索指定故障范围内的故障组合,从而能够快速、有效地进行故障注入,提升测试效率。     

指控系统体系架构的信息质量评估方法

随着指控系统愈发庞大和复杂,架构在系统的整个生命周期中也愈发重要。因此,指控系统体系架构的效能评估对于提高架构设计阶段的整个系统能力来说是非常必要的。本文提出一种指控系统体系架构的信息质量评估方法。首先提出信息质量模型,包括信息质量的评估和权重分配方法以及综合评估。其次,提供系统地进行体系架构信息质量评估的框架。最后,在框架的基础上,进行一个实验来验证所提出的信息质量评估方法。实验结果表明,本文提出的方法可以基于指控系统体系结构模型有效地评估信息质量,有助于在指控系统体系结构设计阶段识别影响信息质量的关键因素,进而提高系统能力。     

面向军事信息系统的自动化软件部署算法

当前大型军事信息系统部署是一个关键问题，现有的自动部署软件如Jenkins、apt、Docker等软件无法满足大型信息系统软件种类繁多、软件依赖关系复杂、跨平台部署等需求，因此本文首先提出一套规范化的软件部署模型，并且通过文档架构描述（以下简称XSD）进行描述，其次在依赖冲突检测算法的基础上，通过改进深度优先遍历算法（DSP），提出软件部署序列生成算法，并对该算法进行实验验证。     

面向TTCN-3性能测试的负载生成方法

TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用TTCN-3产生性能测试的负...     

Inf-ProA信息活动过程模型相似性度量方法

随着全军顶层设计工作的开展和推进,在使用Inf-ProA框架及其配套的工具开展军事领域的架构设计工作中逐步积累并形成了一定数量的架构设计模型资产。在架构师进行模型设计时,存在着广泛地参考已有相似模型的需求。然而,现有的架构方法和工具还无法对有参考价值的相似模型进行度量和推荐。本文基于信息活动模型（IAV-1a）的基本架构设计要素,通过对可扩展语言文档以及统一建模语言模型相似性度量的研究,提出一种可用于衡量Inf-ProA信息活动过程模型相似度的方法。对信息活动过程模型的内容和结构方面进行相似性的衡量,并考虑接近模型最终设计结果上的设计相似性,利用架构设计实践经验,使得到的相似性度量结果更具有合理性。该相似性度量的结果可以用于对正在设计的模型提供一个最大化的相似匹配,对推荐给架构师来完成辅助设计具有重要意义。实验结果表明,本文提出的方法可以有效地对信息活动过程模型的相似性进行度量。     

面向TTCN-3分布式测试执行平台的测试适配器框架的研究与设计

 由于分布式系统具有物理分布、并发访问、时序敏感、平台异构等特点,所以分布式测试系统必须适应上述特点.TTCN-3分布式测试执行平台能够满足分布式测试的要求,但TTCN-3测试系统静态绑定测试适配器的特点导致测试系统在单个测试执行节点上不具备同时和多种被测系统交互的能力,因此本文提出测试适配器框架的概念.该框架支持TTCN-3标准接口规范,在具备基本测试适配功能的基础上,整合面向多种被测系统的测试适配器,并在测试执行过程中根据测试脚本和被测系统的不同动态选择并调用适合的测试适配器,满足了TTCN-3分布式测试执行平台的需求,同时也增强了TTCN-3在分布式测试领域的应用能力.     

信息活动视角模型一致性检查方法

体系结构建模在大型信息系统架构设计中起到至关重要的作用,而模型一致性检查是保证建模质量的关键。针对网络信息体系架构(Net-Info centric System,NICSs)中的信息活动视角,文中提出一种面向对应关系规则与对应关系的模型一致性检查方法。首先,对系统与软件工程-架构说明(ISO/IEC/IEEE 42010)进行扩展,构建了用于表达一致性规则的概念模型。然后,对信息活动视角(Information Activity Viewpoint,IAV)进行分析,给出一致性规则的形式化描述。最后,通过实验验证了该模型一致性检查方法对于信息活动视角的有效性。该方法针对其他视角模型具有较强的普适性,为模型一致性检查提供了新的思路。     

仿真体系结构发展现状与趋势研究

随着信息技术的飞速发展,特别是cyber空间、cyber对抗等新概念、新技术的提出,要求仿真体系结构能够适应网络化、通用化、服务化、集成化的发展趋势,具有高可重用性、可扩展性、可组合性与互操作性,这对目前我军广泛采用的仿真体系结构带来了严峻挑战。美军是目前主流仿真体系结构相关标准的制定者,代表了世界的先进水平,因此,对美军目前广泛采用的多个仿真体系结构进行了深入调研,着重分析了各个体系结构的技术特点、存在的问题,研究了美军用于指导未来仿真体系结构发展的路线图。在此基础上,提出了我军新一代仿真体系结构发展的建议。