修正的条件/判定覆盖相关的问题

通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC。同时指出汇编语言程序同样需要考虑MC/-DC问题,提出MC/DC分析发现问题的方式,以及对问题的处理建议。     

SCADE 在航空发动机FADEC 软件开发中的应用

为了探索SCADE开发环境在基于模型设计（MBD）的软件开发中的优势,理解其建模和自动代码生成机制,研究其在基于模型的测试和覆盖率分析中的实现方法,基于某型航空发动机FADEC系统的健康管理软件开发,应用了SCADE开发环境的建模、仿真、测试及覆盖率分析、代码生成与集成的全流程的MBD开发方法,并进行了完整的系统测试,测试用例全部通过。系统测试的结果验证了基于SCADE开发环境进行FADEC软件开发的正确性和可靠性,为SCADE开发环境在航空发动机FADEC软件开发中的应用提供了技术指导和工程借鉴。     

基于T-VEC 的需求模型建立和用例设计验证

在需求和设计层面上介绍了基于T-VEC 的建模与分析方法,生成的测试向量达到路径、决策和条件 的全测试覆盖,保证了每个需求功能点得到充分的测试。本文以调光控制系统为例,针对自动调光算法提出并 建立了迟滞环控制模型,通过模型分析识别需求中的缺陷、生成测试向量和测试驱动、编译和执行测试驱动、 执行结果分析。验证结果表明了该方法在航空嵌入式软件测试中的有效性和实用性。     

基于MC/DC最小测试用例集设计方法研究

动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。     

软件测试用例生成与约简算法研究

对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。     

基于模型驱动的四余度信号表决系统设计

利用一种基于SCADE模型驱动的嵌入式软件开发方法,研究四余度信号表决系统的设计和实现,方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高,并在很大程度上实现了软件开发的自动化.通过测试和仿真,四余度信号表决系统软件模型设计合理可行,生成代码可嵌入到实时软件中使用.     

基于模型的自动驾驶仪软件开发

针对传统自动驾驶仪软件开发效率低、周期长、成本高及难度高的缺点,提出基于模型的自动驾驶仪软件开发方法。详细介绍了利用MatLab/Simulink自动代码生成技术进行自动驾驶仪软件开发的完整过程,对自动生成的代码进行了分析及整合,最后利用嵌入式平台MSP430进行功能性验证具有一定的工程应用价值。     

基于统一方法架构的软件开发过程模型辅助系统

介绍了基于统一方法架构的软件开发过程模型辅助系统,它是对RUP的裁减和定制,以满足航空电子软件开发的特殊性。还介绍了软件开发过程模型辅助系统在型号项目以及新员工中的应用案例及应用结果。     

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

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

一种新型直流固态功率控制器行为模型

 提出一种适用于大型飞机电气系统数字仿真的直流(DC)固态功率控制器(SSPC)的行为模型.利用受控电压源控制SSPC两端电压按照线性规律变化以模拟SSPC的慢开通和慢关断特性.分析了该行为模型在稳态导通和稳态关断时的工作状态,考虑了实际直流SSPC的漏电流,对该模型进行了改进.分析该模型带各种负载的开通关断过程.在Saber软件中实现该行为模型,并通过仿真和实验验证其与各种性质负载的兼容性.快速性测试结果表明,相比基于真实结构和器件模型,该行为模型能够显著提高仿真速度和收敛性能.     

一种基于组合覆盖的黑盒测试用例自动生成方法

给出了一种黑盒测试用例的自动生成方法,该方法基于组合覆盖测试,能够在保证测试质量的同时有效地减少测试用例的数目和测试成本,提高测试效率。本文给出了这种用例生成方法的算法,说明了其有效性,并介绍了该方法软件原型的实现。     

导航计算机测试软件的架构设计

为解决多种型号被测产品、在不同测试设备上的测试软件开发的问题，尽可能地缩短开发和调试时间，并确保软件的开发质量，提出了一种针对导航计算机测试这一特定领域，以提高扩展性和重用性为目标的软件架构。该架构提供了统一的测试软件设计和开发方法，规范了软件的实现过程，为测试软件的开发提供了一致性的解决方案。采用组件化的开发方法，将具有复用价值的内容封装为组件，为测试软件开发和运行提供了共享的基础平台；提供了开放式的体系结构，规定了内部的组织结构、组件类别与职责、接口规范、交互方式、组件开发方法，便于软件的扩展和修改。经过工程项目的验证，该架构满足在各种专用测试设备上、针对不同型号被测产品的测试软件快速、高质量开发的需要。     

基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

Linux下无人机软件故障注入系统研究与设计

基于linux系统的软件故障注入方法,设计了一个软件故障注入系统UAVFI_L,采用硬件覆盖和故障模型的方法,模拟无人机系统的硬件故障,并着重讨论了在总线上注入故障的试验策略。最后用一台工控机和飞控计算机通讯,注入故障。故障注入试验结果表明了这种方案的正确性和可行性。     

Next generation functional test program development system

While superior-quality functional board test has been a goal for most high reliability electronics manufacturers, the time and effort for generating such test programs using today's tools and processes makes this difficult to achieve in a cost effective manner. This paper will introduce a revolutionary approach to functional board test program development that combines the comprehensiveness of software-based simulation with the speed and simplicity of hardware emulation. The result is a functional Test Program Set development system that can produce high fault coverage, diagnostic test programs in a fraction of the time it takes using traditional techniques, and at a lower unit cost. In this paper we will first provide a brief background on the strengths and weaknesses of current software and hardware TPS development techniques-simulation hot mock-up. Next, the new approach is described in detail and contrasted against the existing techniques. Finally, actual experience to date using a prototyped system is presented     

面向复用的航天测控软件测试用例建模研究

首先阐述了测试复用的基本原理,在对航天测控软件测试可复用资源和复用层次进行分析的基础上,利用现有测试资源,提出了基于用例包的测试用例可复用结构改造技术、基于行业领域主题词的检索技术和测试用例的复用策略,给出了对应的测试用例复用模型,实现了用例有效复用及管理。按该模型构建的航天测控软件测试用例复用库系统对提高测试效率和测试质量具有一定的借鉴意义。     

基于运行场景模型的测试用例生成和排序方法

大型民用飞机研制是一项多系统、多学科交联的复杂系统工程,民用飞机主制造商应在早期设计过程中进行需求的确认和验证工作,以找出设计中的缺陷,减少后续迭代设计成本,缩短设计周期,提高产品的竞争力。通过引入软件工程领域基于场景测试的方法,利用场景作为工具,以飞机在进近过程中触发TAWS模式1告警为实例,采用SysML活动图构建民机运行场景模型,基于场景模型生成测试用例,同时引入测试用例重要度对测试用例进行排序,用于指导后续的测试工作,为实现基于场景的需求确认和验证提供了支撑。     

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

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