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

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

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

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

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

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

非接触式智能卡协议测试系统的设计与实现

针对智能卡协议测试存在的自动化和标准化程度低、脚本复用性差等问题,提出了一种非接触式智能卡协议测试系统Proxi CPTS(Protocol Test System of Proximity Card)。系统采用分层结构和模块化设计的思想,通过硬件抽象层屏蔽测试设备的不一致,构建功能函数库以实现代码隔离,采用工程化方法管理测试用例,支持系统扩展。实际应用表明,该系统能够提高测试效率,且系统结构清晰,具有较高的可维护性,可以满足自动化测试的应用需求。     

基于数据操作的自动化测试技术研究与应用

首先分析了数据驱动实时软件自动化测试中存在的问题,提出了基于数据操作的改进关键字驱动脚本自动化测试方法,并在此基础上实现了航天测控软件系统的自动化测试平台。     

编队信息融合软件测试

介绍了依据软件测试技术理论,结合编队信息融合软件的具体情况,对其进行自动化测试系统设计,尤其是新开发了一套规范的而向对象的想定描述语言和可以独立于测试系统的测试用例,最后对测试的实施作了介绍.     

嵌入式实时控制多任务软件的测试设计与实现

软件测试是软件工程中主要的研究领域之一，尤其是实时控制多任务软件的测试，尚无成熟而通用的工具。本文工作以机载航空电子通信与控制管理软件为背景和应用对象，探讨了嵌入式实时控制多任务软件的测试方法和实现技术；根据被测软件的特点，采用了路径遍历，对输入多数集按合法、边界、非法划分等价类的原则构造测试用例，设计了二度式测试用例生成程序、嵌入式测试驱动与记录程序等工具，使本文具有明显的特色，并对同类应用软件的测试工作，具有一定的参考价值     

ARINC661服务器软件自动化测试的研究与实现

针对ARINC 661服务器软件测试的规模庞大、维护困难等问题,结合ARINC 661服务器软件标准部件库特点,本文提出了一种自动化测试方法,研究了自动化测试的关键技术,并完成了自动化测试工具的开发。实际测试结果表明,自动化测试方法以及自动化测试工具可以显著提高软件的测试水平,减少测试的成本。     

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

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

基于遗传算法的航空机载软件测试用例优先级技术研究

为了提高航空机载软件回归测试效率、降低回归测试成本,提出应用遗传算法实现测试用例优先级排序的方法。该方法将统一建模语言(UML)活动图转化为控制流图(CFG),对控制流图中各判定节点进行二进制编码生成初始种群,并通过选择、交叉和突变等操作搜索适应度最高的个体进行优先测试。以某型飞机机载环控系统综合控制器软件货舱供气旁路调节阀控制率计算功能为案例,证明该方法能够实现测试用例的优先级排序,可用于基于模型的机载软件自动化测试。     

软件测试的控制论方法

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

基于GJB 9433的FPGA软件测试环境平台研究与应用

针对FPGA测试方法不规范、测试流程不统一的问题,提出构建一种基于GJB9433的软件测试环境平台,通过对FPGA软件测试环境平台的需求分析,设计了基于GJB9433的软件测试环境平台的架构及组成,实现了FPGA软件的自动化测试,并在实际项目应用中对设计架构进行了验证,可为标准在工程项目中的落实提供高效的环境支撑。     

组件技术在虚拟试验仿真软件开发平台的应用

针对虚拟试验领域仿真软件可复用性差、维护难度高、开发周期长等缺点,利用组件技术设计并实现了一个仿真软件开发平台。平台基于“框架＋插件”的体系结构,设计了一套完整的组件接口规范和组件间的通信机制,并综合利用了工厂方法、发布订阅、单例、模板等多种设计模式,降低了模块之间耦合性,提高了代码的复用性。使用平台开发的仿真软件具有开发周期短、成本低、扩展性强、易升级维护等特点。     

基于DAQ和FPGA开发星务软件测试平台

针对航天软件自动化测试和测试通用性要求的不断提高,提出基于DAQ（数据采集）和FPGA（现场可编程门阵列）的星务软件测试平台构建方案,在PXI（PCI eXtensions for Instrumentation,外设部件互联标准在仪器领域的扩展）系统环境下应用NI（美国国家仪器公司）的DAQ板卡和FPGA板卡实现星务软件外围数据的仿真模拟,应用Lab-VIEW编程实现信号的解析和良好的人机交互界面。在实际测试中,它能够很好地完成一系列星务软件的自动化动态测试、故障模拟测试等,大大缩短了测试周期,提高了测试效率。此平台完全满足航天软件现代化测试的要求,具有开发周期短、使用效率高、通用性强等优点。     

基于LDRA Testbed的飞机中央维护系统覆盖测试

基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。     

软件测试—提高软件可靠性的关键手段

本文介绍了提高软件可靠性的关键手段，即软件测试。详细论述了软件测试管理系统、测试用例的自动生成以及一些软件测试工具。     

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

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

嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

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

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

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

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