嵌入式软件测试研究

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

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

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

弹载专用计算机工作软件测试分析

弹载专用计算机软件是影响导弹飞行的关键软件,在研制单位进行软件测试后,应由监造单位组织第三方独立的测试。文中介绍了软件测试的体会,强调对飞行控制软件的测试需要一定的理论支持和丰富的实践经验,在软件测试中,对软件设计提出了修改意见,以加强软件研制的质量监督。     

缩减软件测试工作量的途径

本文从软件自身的结构、软件测试模型、软件测试用例选择及软件测试工具等四个方面进行了探讨,力图据此达到缩减软件测试工作量的目的。     

嵌入式软件测试技术在机电综合管理系统中的应用

软件测试已在各领域越来越受到重视。为了使直升机机电综合管理系统得到更好的发展,介绍了机电综合管理系统,对软件测试技术的重要性进行分析,并简要阐述了软件测试技术。文章中介绍的嵌入式软件测试技术已经在直升机机电综合管理系统软件开发中得到了应用。     

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

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

软件测试的控制论方法

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

基于CMMI的软件测试项目过程管理

针对独立的第三方软件测试项目特点,运用基于CMM I的软件项目管理方法,将需求管理、测试项目策划、项目监督与控制、质量保证和配置管理要求贯彻在软件测试过程中,给出了软件测试项目过程管理解决方案。该方案保证了软件测试项目的质量,提高了测试项目的技术水平和管理水平。     

软件测试及其在某重点型号中的实施

本文简要介绍了软件测试的定义和方法，以及某重点型号中软件测试的组织和实施。     

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

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

重视软件测试,提高软件的质量和可靠性水平

从提高软件质量的重要性出发,简要介绍了软件测试的目的和原则,分析了当前智能设备应用软件在开发、管理和测试方面存在的主要问题以及重视软件测试,提高软件质量和可靠性水平应采取的措施。     

面向实时嵌入式机载软件的测试技术研究

对实时嵌入式机载软件的测试方法进行了研究，针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点提出一个适用于实时嵌入式机载系统的REAST软件测试模型，并对该模型实现中的四个核心技术进行了简要的阐明．最后，介绍了以上软件测试方法在实际工程项目中的应用情况．     

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

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

遥测数据仿真系统的设计和实现

针对遥测数据种类的多样性和处理方法的复杂性给软件测试带来的问题,对遥测系统基本工作原理、遥测格式、遥测处理方法进行了深入研究,设计和实现了一个适合不同遥测系统评测的遥测数据仿真模型。该模型的设计和实现使测试软件具备良好的可扩展性和可重用性,缩短了软件测试周期。     

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

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

灰盒测试方法的实践与研究

从测试是否针对系统的内部结构和具体实现的角度来看,软件测试可分为白盒测试和黑盒测试。而灰盒测试是近年来提出的一种新的软件测试方法,它兼顾了白盒测试和黑盒测试方法的优点。本文在实践的基础上,对灰盒测试方法进行了研究,介绍了灰盒测试基本知识和一种灰盒测试方法的实现过程。     

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

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

故障模式判决软件测试用例设计

本文阐述了运用故障树分析原理进行故障模式判决软件测试用例设计的新方法，在此方法基础上，综合等价类划分方法，完成了软件测试用例辅助生成软件的设计。     

复杂航空软件工程化管理研究

针对航空型号软件规模、复杂程度日益增加及大量承研单位间合作协调的问题,提出了复杂航空软件工程化的综合管理框架,对软件测试质量评价和软件研制工具管理两个方面进行了重点研究,提出了合格性评价加上模糊评价的软件测试质量评价方法,提出了适合我国航空型号研制现状的软件研制工具管理方法,并给出了软件工程化实施方案。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。