电子电器产品嵌入式软件单元测试技术研究

电子电器产品中嵌入式软件的故障和失效已是产品质量出现问题的重要原因之一,软件测试是保证软件质量的重要手段,单元测试作为软件测试过程的第一阶段,高质量的测试效果是确保整个测试的必要条件。通过对典型嵌入式软件测试工具RTRT(Rational Test RealTime)的分析及利用RTRT进行实际电器产品软件单元测试的试验,结果表明RTRT是一个可以有效得应用于电子电器产品嵌入式软件开发和测试阶段的自动化测试工具,利用RTRT进行软件单元测试可以减少测试工作量,加快测试进度和提高软件测试质量。     

嵌入式汇编语言软件单元测试方法

单元测试是在整个软件开发过程中的一个重要环节,单元是软件的构成基础,因此单元的质量是整个软件质量的保证。嵌入式软件由于与CPu密切相关,多采用汇编语言编程,使得其测试一直是个难点,特别是单元测试。针对嵌入式软件的特点,本文根据软件单元测试的理论,介绍一种使用旋极AsmTester对嵌入式汇编语言编程的软件进行单元测试的方法。     

浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

实用软件测试方法研究

分别讲述了实施GJB5000A二级软件管理过程中,软件单元测试、集成测试、合格性测试的管理过程和测试方法,并结合相应的测试工具,设计了使用C++test进行单元测试中动态测试的方法,使用Klocwork进行单元测试中静态测试的方法,使用Testbed进行集成测试的方法,使用QTP进行合格性测试的方法。实践证明,这些方法大大提高软件代码的规范性、稳定性、可靠性等,在提高软件验证、测试水平及软件产品质量等方面具有明显的优势。     

嵌入式软件单元测试方法研究

嵌入式软件通常采用交叉开发的方式,尽早进行软件测试可以及时发现软件开发初期的不足。单元测试是嵌入式软件开发过程中最基础级别的测试活动。本文对嵌入式软件的单元测试进行了分析,主要包括测试工具的选择、测试内容的梳理和测试过程的优化,重点阐述了注意事项及原则。通过总结分析,提出了适宜操作的嵌入式软件单元测试方法。实践证明,该方法大大提高了软件测试水平和软件产品代码的质量。     

基于测试内容及覆盖率的嵌入式软件单元测试工具比对分析

从对单元测试内容和要求出发,明确了单元测试过程及形成的文档要求,并结合实际工作经验,梳理了单元测试的测试类型的要求,以及对不同重要度等级的软件单元测试覆盖率的要求.从支持的平台、对覆盖率要求的满足情况、实际使用过程3个方面对LDRA TestBed 9.4和C++Test 9.2两款单元测试工具进行了详细的比对分析,并以表格对比的形式,详细的描述了两款测试工具的比对分析结果和数据.     

基于Testbed的C++单元测试(动态测试)方法

自动化单元测试是保障通信类软件质量的重要手段,业界没有什么普适性方法。但通常是借助于第三方工具。本文介绍的Testbed测试工具套件是通第三方认证公司认可的安全软件测试工具,能够支持多种语言的自动化测试．本文主要介绍了如何使用TESTBED测试工具对C＋＋代码进行单元测试,对测试方法进行介绍,并从工程实践的角度,进行了测试步骤分解,最后从软件开发和项目管理的角度对单元测试的组织给出了建议。     

分布式自动化软件测试平台研究——测试工具集成策略研究

随着软件的规模和复杂度日益增大,传统的软件开发过程从集中式的软件开发过程向全球化分布式软件开发过程过渡,传统的集中式软件测试方式受到时间、空间、测试成本的限制,导致测试效果不够理想。基于分布式自动化测试平台(DSAPT),对现有的测试工具集成策略进行研究。以测试即为服务(TAAS)思想为基础,提出一个基于SOA的测试工具集成框架,实现对各类测试工具松耦合的功能集成、数据集成和用户界面集成;最后通过FindBugs和Selenium的工具集成实验,对测试工具集成框架的有效性和可行性进行了验证。     

TBrun在单元测试中的应用

TBrun提供完全自动的单元测试解决方案,它可以使开发人员和测试人员在单元级应用LDRA工具套件强大的源码分析器。本文用实际例子阐述了TBrun在单元测试中的应用,介绍了三种技术管理测试用例的创建、四种常用例子的解析以及使用TBrun来计算三种覆盖率(SC、DC、MC/DC)。     

嵌入式软件动态单元测试方法研究

针对嵌入式软件的特性及其动态单元测试问题,本文从动态单元测试理论、测试方法、测试工具使用、动态单元测试用例设计准则及测试执行过程与工程实践中动态单元测试经验总结五个方面,探讨了嵌入式软件动态单元测试方法。     

InRob: An approach for testing interoperability and robustness of real-time embedded software

Advances in digital technologies have contributed for significant reduction in accidents caused by hardware failures. However, the growing complexity of functions performed by embedded software has increased the number of accidents caused by software faults in critical systems. Moreover, due to the highly competitive market, software intensive subsystems are usually developed by different suppliers. Often these subsystems are required to interact with each other in order to provide a collaborative service. Testing approaches for subsystems integration support verification of the quality of service, focusing on the subsystems interfaces. The increasing complexity and tight coupling of real-time subsystems make integration testing unmanageable. The ad-hoc approach for testing is becoming less effective and more expensive. This article presents an integration testing approach denominated InRob, designed to verify the interoperability and robustness related to timing constraints of real-time embedded software. InRob guides the construction of services, based on formal models, aiming at the specifications of interoperability and robustness of test cases related to delays and time-outs of the messages exchanged in the interfaces of interconnected subsystems. The proposed formalism supports automatic test cases generation by verifying the relevant properties in the service behavioral model. As timing constraints are critical properties of aerospace systems, the feasibility of InRob is showed in the integration testing process of a telescope onboard in a satellite. The process is instantiated with existing testing tools and the case study is the software embedded in the telescope.     

航天嵌入式软件隐含需求分析与实践

基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安全性、恢复性、性能、功能等方面给出了航天嵌入式软件典型隐含需求。研究成果不仅可以指导研发过程的需求分析与编码、提升软件研发质量,而且可以指导测试过程的测试需求分析与测试设计,避免因测试疏漏而导致的软件缺陷遗漏,从而有效提升软件质量。     

航天嵌入式软件代码逻辑分析

为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实践经验的总结,提出了场景分析法、时序分析法、假想故障追源法等10种主要的代码逻辑分析方法.开展了代码逻辑分析方法的应用分析、代码审查与其它测试手段之间的对比分析,通过分析,给出了代码审查的工程适用性说明.研究成果已在航天型号软件第三方评测中全面推广应用,实践数据表明,应用效果良好,使代码审查的缺陷发现率由业界公认的30％～70％提升至90％以上.相关分析方法和分析思路对动态测试设计以及软件缺陷自动化检测工具的研发均具有一定的参考作用.     

基于Tornado的嵌入式软件单元测试

根据嵌入式软件特点,提出一种基于Tornado开发环境的嵌入式软件单元测试方法.该测试方法使用Testbed/Tbrun自动测试工具,借助Tbconfig辅助工具完成Tornado环境下的测试配置,保持测试环境和开发环境的一致性;使用黑/白盒结合的隔离单元测试技术提高测试用例设计质量,快速达到结构覆盖率要求;定制测试报告模板,使用TbrunReporter完成测试报告自动生成.该测试方法使测试工作的重心转移到测试用例的设计和执行上,减少代码移植和手动测试报告生成等冗余工作量,极大提高测试效率和测试规范性,已作为一种通用的嵌入式软件单元测试方法在所在测评机构加以推广使用.     

基于模拟器的嵌入式软件动态测试技术

提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方法的有 效性。     

浅谈软件测试和嵌入式软件测试

软件测试是保证软件质量,提高软件可靠性的关键。软件测试过程主要分为四个测试步骤:单元测试、集成测试、系统测试和验收测试。软件测试应该遵守其基本原则,包括尽早和不断地进行软件测试、避免由程序员检查自己的程序等。嵌入式系统是指以嵌入式应用为目的的计算机系统,具有其特殊功能。嵌入式软件测试主要有白盒测试与黑盒测试两种方法,有性能分析工具、内存分析工具等多种分析工具。     

航天嵌入式软件测试用例典型设计缺陷研究

作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷。针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺陷,分别予以分析,并进行缺陷修正。工程实践证明,这些缺陷的发生率高,具有典型性;修正这些缺陷后,可以有效检出软件设计缺陷;与用例执行后的覆盖率统计数据分析相结合,可以有效提高测试充分性。     

基于Keil C51的嵌入式软件外设虚拟化设计与实现

航空航天控制领域嵌入式软件测试主要存在软件运行物理环境受限和软件测试覆盖性不足等问题,为解决以上问题,对嵌入式软件的外部设备进行了研究,构建了数字化测试平台替代实物环境的方案,设计并完成了平台的总线1553B、总线RS422、AD采集、I/O等外部设备;并模拟了平台嵌入式软件真实的运行环境,使测试过程不受实物环境制约,测试激励的注入不受任何限制,保障了测试的充分性;最后,以某电源下位机测试过程为例,实现了故障注入、边界测试,验证了平台在嵌入式软件测试中的有效性和可靠性。