基于数据挖掘和决策树的测试用例重用技术研究

通过应用数据挖掘和决策树算法，将测试专家分类重用测试用例的思想固化，并可以根据新采集的可重用的测试用例，不断扩充分类规则，使测试用例重用库具有不断自扩充和自完善的能力。通过使用测试用例重用库中可重用的测试用例和测试思想，可以提高测试人员对被测软件需求规格说明中功能和性能等指标的测试全面性和有效性，提高工作效率，减少工作量，并提高测试质量。     

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

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

机载嵌入式实时操作系统时间性能测试

在机载嵌入式实时操作系统中,时间性能是一个非常重要的参数.为了评估机载嵌入式实时操作系统的实时性,同时为用户提供操作系统的时间性能参数,本文介绍了支持分区的机载嵌入式实时操作系统中特有的影响时间性能的关键因素--错误响应时间,分区间数据交换时间,进程上下文切换时间,分区上下文切换时间;给出了操作系统时间性能测试的方法,着重分析了计时工具,测试用例的设计,测试点的选取,以及排除影响测试准确行的因素.     

实时软件测试用例构造的充要策略研究

机空与国防领域正呈现实时软件密集的趋势。这些软件可靠性要求高且通常规模较大，测试是一项艰巨的工作。如何使测试做到充分且必要是十分重要的研究课题。本文在分材实时软件特征的基础上，针对程序正确性测试，从任务组合等价类划分两个主要环节，探讨了测试用例构造的充要策略，并举出一具体实例。     

基于VXI总线的某嵌入式计算机测试系统实现

简单分析了某嵌入式计算机主要技术指标,介绍了其测试系统的设计,测试系统采用基于VXI总线技术的标准模块配置,软件采用LabWindows/CVI工具编写。该测试系统工作稳定,满足某嵌入式计算机对模拟前端一致性测试、模拟前端隔离度测试、AD转换精度测试、DA转换精度测试、离散量测试等多项特殊测试要求。     

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

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

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

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

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

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

嵌入式实时操作系统μC/OS-Ⅱ在DSP上的移植

介绍了嵌入式实时操作系统μC/OS-Ⅱ的特点,详细论述了μC/OS-Ⅱ在DSPTMS320C6416上移植的实现过程,指出μC/OS-Ⅱ移植的重点和难点,并对移植后的系统进行了内核测试及裁剪.在移植平台下的多任务运行结果表明:移植程序稳定可靠,性能指标满足嵌入式开发的基本需求.     

大型光电经纬仪多微机控制的系统设计

本文根据大型光电经纬仪的实时跟踪及多任务特点,采用了多微机处理、主从式指挥、寄存器——寄存器通讯方式、中断或外同步控制的方案。此外,还介绍了系统接口设置、硬软件协调及实时控制总软件的编制等问题。     

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

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

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

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

基于ARM下VxWorks的嵌入式车载图形系统设计

为了实现嵌入式车载系统设计,采用软硬件协同设计技术路线。研究了基于ARM9的S3C2410处理器为核心的嵌入式车载软件的运行机制,包括系统硬件初始化,VxWorks操作系统内核的配置与装载,Vxworks下的LCD显示技术和触摸屏控制技术的应用实现车载仪表信息的显示与交换功能,并通过VxWorks多任务的进行控制。通过实验测试,系统随时进行车载娱乐、自主导航、信息查询等功能。方案实时性好,操作方便。     

嵌入式微处理器NCS多任务管理单元MTU的研究

确立了多任务管理单元 MTU的设计方案,探讨了多任务管理的定义、数据结构,给出了微处理器多任务切换算法,提出了多任务管理单元 MTU细胞群结构。细胞群结构由细胞组成,每个细胞可进行一种测试并输出测试的布尔值给微程序控制器来控制微程序的转移。多任务管理单元 MTU的 RTL级 VHDL描述经 EDA工具 MENTOR GRAPHICS的综合与仿真验证了多任务管理单元 RTL级 VHDL描述的正确性与有效性。     

在实时嵌入式环境下利用电子盘实现大容量数据记录的软件设计研究

嵌入式环境和实时操作系统目前广泛应用于航空领域。本文在介绍嵌入式系统的基础上,重点对实时多任务环境下大容量数据记录的实现方式进行了研究和利用,最后展望了电子盘实时多任务系统中记录大容量数据的前景。     

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

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

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

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

软件评测技术研究与实践

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

基于Petri网多通道火控系统的建模与分析

多通道火控系统是一个实时多任务系统,具有实时、并发、异步、分布、不确定性等特点。Petri网是描述异步并发现象的一种有效工具。文章以Petri网为工具建立某多通道火控系统的模型,对其结构性能、功能、任务忙闲程度、死锁进行了定性分析,并给出从模型到程序自动转换方法,可有效分析与评价多通道火控系统。     

FMC软件测试与可靠性

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