某机载计算机系统测试性分析与研究

系统测试性已从系统维修性中分离出来,逐渐形成一套完整的体系,成为一种独立的系统特性.在计算机系统设计中应同步考虑该系统的测试性设计,系统设计是否满足设计要求可以通过系统测试进行证明,因此完整、有效性的系统测试性是设计实现的基本保证.本文通过软件及硬件分析介绍了某系统组成结构,重点阐述了系统测试的设计原理和实现方法,对系统测试性实现进行了数据分析,为计算机系统设计、测试性设计提供了借鉴和参考.     

航空装备复杂软件系统测试技术研究

针对航空装备复杂软件系统交互复杂、强实时性、高可靠性/安全性要求和任务场景复杂的特点,研究了此类软件系统测试技术实现。结合军用软件测试过程,从系统测试需求分析、系统测试环境构建、测试用例设计等测试关键技术的解决入手,提出了系统接口交互、任务场景、可靠性/安全性等需求的提取方法和执行条件要求以及测试覆盖策略,并在某型显控系统软件进行初步验证,有效解决航空装备复杂软件系统测试中存在的不充分、不贴近实战问题。     

机载系统测试性设计体系研究

军用飞机在外场表现出诊断能力不足的现象,严重影响飞机再次出动的效率。从军用飞机故障诊断 的实际使用需求出发,深入分析机载系统在设计、试验过程中存在的测试性设计问题;针对军用飞机整个研制 与使用过程,明确设计目标,提供设计、验证和评估方法,将原来相互孤立的设计工作进行整合,提出一套完整 的机载系统测试性设计体系,并对测试性设计过程中的诊断能力设计、测试性试验等关键环节进行深入剖析; 同时,在工作方法、专业定位和制度保障方面提出改进建议,能够有效促进测试性设计有机地融入机载系统的 设计过程,提升机载系统测试性水平,提高飞机综合诊断能力。     

小子样复杂装备系统测试性评估中的验前参数值确定方法

针对当前小子样测试性评估中对验前信息处理不规范、结果可信度差的问题,研究了由专家经验信息、子系统试验信息和虚拟仿真信息确定系统测试性验前参数值的方法.根据不同来源的测试性验前信息,分别提出了模糊不确定性加权、分系统数据折合和基于相似度量的Dempster-Shafer(D-S)证据融合方法估计系统测试性验前参数值.实例分析表明:该方法计算测试性评估中的验前参数值比其他文献方法的计算结果低约0.8%.     

基于PDCA循环的系统测试性设计方法

采用PDCA的核心思想，结合某型综合显示控制系统研发过程工程实际，提出了一套系统测试性设计的技术方法。通过将系统测试性设计过程按照“策划-实施-评估-改进”的戴明环循环思路，以测试性需求实现和验证为出发点，聚焦测试性设计技术状态风险管控，提出了测试性设计工作的关键技术路径，落实测试性设计过程闭环，可有效指导系统测试性设计。     

系统测试性建模及验证方法

通过研究系统级测试性建模的基本原理,主要包括数学模型和图示模型,从结构、故障和测试三个方面给出了系统测试性建模的流程,最后给出了系统级测试性模型的验证方法,包括模型整体有效性验证、基于测试性分析报告的测试性模型验证等。     

航空机电系统测试性建模与分析新方法

针对航空机电系统测试性设计(DFT)需求,提出基于面向对象的贝叶斯网络(OOBN)与状态-测试关联灵敏度指标的系统测试性建模与分析的新方法。该建模方法能清晰地刻画系统故障与测试间的关联程度,反映复杂系统的层次结构关系。基于信息论的交叉熵原理提出状态-测试关联灵敏度指标,并给出计算方法。该指标反映复杂机电系统测试中的不确定性影响,克服了基于香农熵的测点评判分析方法的缺点,结合测试性建模获得的模型信息进行推理计算,可用于测试性的定量分析。运用该综合分析方法对飞机燃油系统进行测试性建模与分析,结果表明所提出的方法与指标在航空机电系统DFT中具有实用性。     

复杂航空软件工程化管理研究

针对航空型号软件规模、复杂程度日益增加及大量承研单位间合作协调的问题,提出了复杂航空软件工程化的综合管理框架,对软件测试质量评价和软件研制工具管理两个方面进行了重点研究,提出了合格性评价加上模糊评价的软件测试质量评价方法,提出了适合我国航空型号研制现状的软件研制工具管理方法,并给出了软件工程化实施方案。     

脚本技术在航电子系统软件模拟器中的应用

子系统软件模拟器在综合化航空电子系统研制过程中发挥着巨大的作用,一方面它可以部分代替真实子系统完成单边或多边联试,另一方面还可以完成一些常规操作无法实现的系统测试功能。软件模拟器的修改非常频繁,为更加便捷地进行修改,本文提出了引入微型C语言编译器(TCC)使航电子系统软件模拟器设计脚本化的解决方案。经过某型号的实际应用表明,该方法非常实用,不但使软件模拟器屏蔽了硬件层,而且修改不依赖软件集成开发环境,既便利又具有很好的通用性。     

基于安全性的航空发动机控制软件测试技术

针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况。     

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

嵌入式软件测试研究

简要介绍了软件测试的基本概念和理论;阐述了软件测试在产品研发过程中的地位与作用;结合嵌入式系统开发的经验和从事软件测试的体会,探讨了软件测试的策略以及如何进行软件测试的设计,并提出了针对我国企业软件测试现状的软件测试解决方案。     

航空电子软件仿真测试环境软件体系结构研究

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计.基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述.应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术.据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中.     

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

软件复用在航空嵌入式软件测试中的应用研究

伴随航空嵌入式软件市场近些年不断动荡与激烈竞争的局面,商业化的第三方软件测试正面临质量、进度、开发效率等急待解决的问题,而软件复用技术是解决这些问题的有效手段。首先对软件复用的概念、理论和方法进行了论述,而后对航空嵌入式软件测试领域进行了深入分析,指出了其中复用的可行性。在此基础上,提出了面向航空嵌入式软件测试的过程复用、产品复用、测试程序产品线方法。最后,结合具体工程实践指出所提出方法在使用中的剪裁及推广。     

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

软件可靠性增长测试的研究

研究、探讨了软件可靠性增长测试的基本概念及其实施过程中的若干问题,按照实际运行剖面选取测试用例、软件可靠性增长预计,以及正确收集故障数据的问题。     

基于故障注入的实时嵌入式软件仿真测试技术研究

由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。     

一种嵌入式软件覆盖和分析测试方法

如何进行嵌入式软件的覆盖测试和性能测试,是嵌入式软件测试工程师较为关心的热点问题之一。介绍了一种基于PowerPc755目标板的嵌入式软件覆盖和分析测试方法。方法借助于嵌入式软件测试工具TestBed和实时硬件数据采集工具RTInsight,搭建了嵌入式软件动态测试平台,并在该嵌入式软件动态测试平台上进行了覆盖测试和性能测试,同时给出了相关的覆盖率测试和时间性能测试的测试结果。