军用嵌入式软件测试技术研究

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面仍然存在一些问题,软件测试工作形势依然严峻,急需得到改进和加强。本文主要分析了军用软件测试现状、存在的问题和原因,并综合设计体系结构提出对策措施,为整体推进软件测试工作提供了可行的解决方案。     

软件测试典型案例的研究及思考

软件测试是软件能力成熟度模型集成的重要活动,通过对软件测试典型问题的分析和研究,提出了解决方法,对软件质量的提升具有实际意义。     

基于LDRA Testbed的软件单元测试

通过对LDRA Testbed的分析及采用LDRA Testbed进行软件单元测试,表明LDRA Testhed是一个可以有效应用于软件开发和测试阶段的软件测试工具,使用LDRA Testbed进行软件单元测试可以有效提高软件质量.     

浅析机载软件测试策略

归纳、分析了机载软件所特有的实时性、反应性、嵌入式、高度的可靠性及安全性的特点,并依据其特点提出了机载软件的测试策略。在综合分析讨论的基础上,总结得出了进行机载软件测试的原则和方法,对保证机载软件质量,提高其稳定性、可靠性、安全性具有指导意义。     

基于有限状态机模型的飞控软件测试方法浅析

对有限状态机模型(FSM)在飞控软件测试中的应用进行探索。在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴。     

浅析自动校准软件的测试

测试是自动校准软件开发的重要内容,也是保证自动校准软件质量的重要手段.运用软件工程的思想并结合国内校准实验室实际状况,着重介绍了自动校准软件测试的组织管理工作、方法和测试的一些原则.     

机载计算机软件的测试

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

关于HB6466—90《软件质量保证计划编制规定》的几点说明

软件质量问题是“软件危机”的主要症结之一,也是软件工程研究的核心。严密制定、切实执行一个适当的软件质量保证计划,不仅能保证和提高软件开发的质量,而且有助于提高软件的可维护性,减少返工,降低成本,提高软件的开发效率。为此我部参照采用ANSI/IEEE std730—1984《软件质量保证计划》,参考MIL-S-52779A《软件质量保证大纲》,并吸取我国军标以及各专业部门有关软件质量标准和计划的执     

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

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

软件质量需求的描述与捕获

介绍了一种计算机软件质量需求描述方法与质量需求捕获方法。该方法的简化描述模式可更准确地描述软件质量需求,从而明确软件质量需求的验证要求,完全描述模式则有助于更完整有效地获取软件质量需求,并提供了一些模板。该方法对解决当前在软件质量需求方面存在的问题有直接的帮助,经实践验证可明显提高软件产品的质量。     

软件需求的可否证性研究

系统测试是提高型号软件质量和可靠性的有效方法。以某型运动控制组件为对象,描述了系统测试的实现方法及遇到的问题,探讨了型号软件需求的可测试性问题,指出了软件需求条目编制的关键在于其是否有＂可否证性＂。     

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

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

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径。从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。     

嵌入式软件测试研究

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

航空电子软件仿真测试环境软件体系结构研究

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计.基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述.应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术.据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中.     

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

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

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

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

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

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。