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

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

随机测试与划分测试的比较

软件测试在软件工程中的地位和作用是非常重要的,本文简述了软件工程中的随机测试和划分测试。从测试评判标准出发,比较了这两种测试方法,给出了各自的适用情况,分析了各自的不足,给出了有意义的结论。     

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

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

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

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

机载计算机软件的测试

测试是保证机载软件质量可靠性的关键工作,但由于其复杂性和特殊性,机载软件的测试存在许多特殊的困难。本文对机载软件的特点进行归纳并分析其对软件测试的影响,针对机载软件的特点提出了相应的测试策略,特别地对机载软件可靠性测试的关键技术进行了讨论,提出了机载软件可靠性测试的完整方案。     

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

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

飞针在线测试技术在电子模块测试中的应用

重点讨论了飞针在线测试技术在电子模块测试中的应用,并分别介绍了模拟器件和数字器件的测试方法。此技术能测试被测电子模块上各器件之间的物理连接,能测试模拟器件的值,同时也能测试数字器件的逻辑关系。此技术采用了基于PC机软件编程方法,使得测试程序化,并采用隔离技术将被测器件分离,提高测试精确度。灵活的软件编写也使得调试方式多样化。飞针测技术的使用能准确定位故障点,缩短调试周期,对小批量生产的电子模块调试有重要作用。     

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

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

边界扫描技术在电子控制器测试中的应用

航空发动机电子控制器向更高性能和更高集成度的方向发展,使得传统测试方法难以满足需要.提出了通过边界扫描技术来解决电子控制器核心电路的测试问题.设计了边界扫描测试技术验证平台,主要包括边界扫描测试适配器和被测电路.对被测电路开展了基于边界扫描的测试试验,完成了主要指令的测试.同时通过扫描链实现了对被测电路的故障注入,通过这种方法注入故障可对航空发动机电子控制器的机内测试(BIT)能力进行验证.      

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

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

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

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

嵌入式软件测试研究

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

灰盒测试方法在软件可靠性测试中的应用

 阐述了软件可靠性测试的概念和灰盒测试方法在软件可靠性测试中生成测试数据方面的应用,给出了方法用于可靠性测试中的工作流程,分析了其与传统的可靠性测试方法相比的优越性以及尚未解决的局限性,展望了未来的研究方向。     

Bayesian图模型的化简及在软件测试中的应用

介绍了一种基于贝叶斯图模型的软件测试新方法,该方法为具有不确定性的软件测试问题的逻辑结构提供了形式化机制。分析了该方法的优点和不足,并进行了改进。提出了简化模型,给出了测试过程,通过实例介绍了该模型。表明通过基于贝叶斯图模型的测试方法所构造的模型可以作为软件测试的动态表示,并用于驱动测试设计,为测试者提供决策支持。     

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

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

航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。     

军用飞机状态估计与参数辨识软件包研制

在对最优输入设计、数据协调和数据分析分别进行研究的基础上,应用软件工程化方法研制出相应的软件,再通过管理软件进行统~管理,集成了~个完整的军用飞机状态估计与参数辨识软件包MASEPI。最后,通过仿真测试和实测数据处理,该软件包的有效性和实用性得到了验证和确认。现已应用于实际工程试验与试飞数据处理。     

一种针对交互式软件的功能测试方法

交互式软件的功能是通过复杂的人机交互完成的,目前的功能测试常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致测试巾随意性较大,测试过程难以有序进行。针对这种情况,文章提出了一种基于数据流图的功能测试方法,依据交互式软件的需求规约和用户界面,以数据的流向来组织功能测试过程。