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

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

黑盒测试技术方法在大气数据计算机软件测试中的应用

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以大气数据计算机软件测试为例,详细介绍了软件黑盒测试的几种方法,用黑盒测试技术来设计切实可行的测试用例。实践证明,应用黑盒测试技术在大气数据计算机软件测试中设计测试用例,提高了测试效率,发现了软件问题,取得了较好的效果。     

FMC软件测试与可靠性

研究了可靠性测试的规律,针对机载飞行管理计算机的自动测试软件,设计了测试内容、基于覆盖的动态测试模型和测试用例,并给出基于累积失效时间的软件失效仿真试验数据,提高了软件的可靠性。     

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

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

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

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

星载软件测试用例设计方法的研究

主要针对航天型号星载软件,结合三种测试方法的各自特点,归纳整理出测试方法在实际测试用例设计中使用情况以及产生的典型案例。并通过三种测试方法的比较得到每种测试方法的适用情况以及在实际卫星型号星载软件测试工程实践中的运用。目的是通过对三种测试方法的研究和典型案例的分析进一步提高软件评测的技术能力。     

一种任务规划地面站软件自动化测试框架设计

任务规划地面站软件是保障飞机安全飞行的重要软件,为解决该类软件测试时采用传统自动化测试工具测试脚本维护困难、复用率低,手工测试效率低下等问题,本文设计并提出了一种自动化测试框架。框架基于关键字驱动的思想,通过建立控件映射表,定义常用测试关键字,自动生成测试文档等设计,实现了测试用例与测试脚本的分离,使测试用例的设计、维护、复用更加灵活、简便,并能有效提高软件测试效率。     

基于模型的FADEC软件结构覆盖率分析

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性.     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

软件评测技术研究与实践

从软件评测工作实际出发,对软件评测方案进行了介绍,包括评价模型的建立,评价环境、测试用例的设计,测试过程的管理,对软件评测工作具有一定的指导意义。     

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

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

基于某机载视频部件智能检测系统的设计与实现

检测系统是检测产品功能、性能以及产品是否能满足用户需求的重要测试工具,机载计算机技术指标的测试从准确度、覆盖率以及稳定性、可靠性方面对其检测系统提出了更高要求。原始的视频信号检测需使用视频图像和测量工具相结合的方法进行,不易于故障定位及维修。主要阐述了基于某机载视频部件的智能检测系统的设计和实现,突破了原始的视频信号检测方法,检测系统通过对5种不同格式的视频信号进行自动检测,显示出详细全面的测试信息,实现了检测系统对被测件的智能检测,使得检测系统的故障覆盖率、准确度得到保证。该检测系统已成功运用于某机载视频部件,且性能稳定可靠,同样适用于其它机载设备中同类产品的检测。     

机载嵌入式计算机通用化BIT架构设计技术

设计开发了一种通用化BIT软件架构技术,可应用于机载嵌入式计算机.将BIT软件按照功能分为硬件驱动层、测试算法层、测试配置及控制层、应用接口层等,可极大程度实现不同硬件环境、操作系统环境下,BIT软件的可移植性,还定义了一种操作系统启动前实现硬件BIT检测的方法,可有效提高内存、CPU等硬件资源的故障检测率.     

一种基于UML活动图模型的系统测试方法

UML活动图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件系统测试过程中的一个重要的信息来源.提出了一个基于UML活动图的场景测试方法,给出了生成基本流和备选流的原则,对传统场景法进行了改进,避免了测试场景集数量爆炸.最后重点结合一个实例对该方法进行了论述.     

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

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

AFDX网络终端软件测试策略的研究与应用

提出了一种针对航空电子全双工以太网的通信终端软件的测试策略,具体应用于某项测试工作中,实现了测试结果的实时回馈：并扩展了相关测试过程的自动化程度,提高了测试工作的效率。     

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

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