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

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

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

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

软件单元测试实战

单元测试（unit testing）是软件测试的基础,实战证明,单元测试做得好与坏将直接影响到软件后期的测试和整个产品的质量。     

面向PLC产品的自动化测试系统平台设计与实现

为了提高可编程逻辑控制器(PLC)产品的测试效率以及降低维护成本,设计、开发了一套自动化测试系统平台,实现了PLC产品的自动化测试。测试对象根据PLC系统构成划分为3个部分：PLC编程软件、PLC嵌入式软件和PLC硬件。PLC编程软件的自动化测试通过Python语言编程,实现对UI控件的识别和操作。PLC嵌入式软件的自动化测试通过使用PLC编程软件组态自动化测试工程+Python语言编程,实现对自动化测试工程的操作。PLC硬件测试通过LabVIEW实现的界面+NI板卡硬件完成。系统整体测试流程的自动化通过Jenkins实现,将自动安装升级、自动化测试、发送测试报告等流程串接起来,过程中完全不需要人工介入。该自动化测试系统平台的应用覆盖了测试工作中的每日构建测试、单元测试和集成测试的应用场景。该自动化测试系统平台成功探索了在工控行业中自动化测试实现的可能性。经过此自动化测试系统平台测试的产品会更加稳定、可靠。     

方面单元测试框架的设计与实现

缺乏成熟的方面测试和方面冲突检测技术是阻碍面向方面软件编程大规模应用的瓶颈性问题。针对方面单元测试,提出了无需与基模块编织的方面单元的独立测试框架AJUnit。该框架运用Java注释和源码与字节码映射等技术实现编译细节的透明化。基于控制流和数据流分析,AJUnit综合运用随机测试数据生成、相对测试充分性准则的优化和指定路径的测试数据生成等技术实现测试过程的自动化。文中也介绍了以AJUnit为基础的方面单元测试工具的设计和实现。     

嵌入式软件与硬件的集成测试过程研究

嵌入式软件自身软硬件结合的复杂性及其质量的重要性,造成其软件测试的特殊性,就是在执行正常软件测试的单元测试、集成测试、系统测试的过程中,还要考虑到软件与硬件的兼容问题,即需要进行软硬件集成测试。本文首先介绍了嵌入式软件与硬件集成测试的相关概念,然后归纳提出了软硬件集成测试过程,结合当前软件测试理论前沿知识,把该测试过程进行重组和改进,并给出了测试模型。     

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

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

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

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

测试工具在军用嵌入式软件测试中的应用

阐述了对军用嵌入式软件进行单元测试、静态测试、动态测试时的基本测试方法,以及如何将一些测试工具与测试工作进行有机地结合,从而使测试工作更加高效。     

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

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

Automatic testing environment for multi-core embedded software—ATEMES

Software testing during the development process of embedded software is not only complex, but also the heart of quality control. Multi-core embedded software testing faces even more challenges. Major issues include: (1) how demanding efforts and repetitive tedious actions can be reduced; (2) how resource restraints of embedded system platform such as temporal and memory capacity can be tackled; (3) how embedded software parallelism degree can be controlled to empower multi-core CPU computing capacity; (4) how analysis is exercised to ensure sufficient coverage test of embedded software; (5) how to do data synchronization to address issues such as race conditions in the interrupt driven multi-core embedded system; (6) high level reliability testing to ensure customer satisfaction. To address these issues, this study develops an automatic testing environment for multi-core embedded software (ATEMES). Based on the automatic mechanism, the system can parse source code, instrument source code, generate testing programs for test case and test driver, support generating primitive, structure and object types of test input data, multi-round cross-testing, and visualize testing results. To both reduce test engineer's burden and enhance his efficiency when embedded software testing is in process, this system developed automatic testing functions including unit testing, coverage testing, multi-core performance monitoring. Moreover, ATEMES can perform automatic multi-round cross-testing benchmark testing on multi-core embedded platform for parallel programs adopting Intel TBB library to recommend optimized parallel parameters such as pipeline tokens. Using ATEMES on the ARM11 multi-core platform to conduct testing experiments, the results show that our constructed testing environment is effective, and can reduce burdens of test engineer, and can enhance efficiency of testing task.     

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

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

TBrun在航天嵌入式汇编软件测试中的应用

软件测试是航天型号软件开发过程中一个必不可少的环节.介绍利用TBrun测试工具,开展航天嵌入式汇编软件单元测试执行过程及对异常分支的单元测试优势和TBrun基于迭代技术的组装测试工作特点.利用TBrun测试工具,开展航天嵌入式汇编软件单元、组装测试工作,可以尽早暴露软件设计和编码过程中的问题和缺陷,节省软件开发时间,缩短软件开发周期,提高软件质量和可靠性.     

星载嵌入式软件自动化测试技术研究

作为软件工程学科的一个重要分支,软件测试随着软件技术的发展而不断进步;目前,软件测试技术的研究主要向网络化、大型化和自动化方面发展;由于星载嵌入式软件具备实时性好、环境依赖性强、可靠性高、测试重复性强等特点,其测试也与一般软件的测试有很大不同,需要投入更多的资源;如果采用自动化测试,则可以更好地利用资源,大大地节约测试时间,提高测试质量,保证型号研发进度;文章在分析自动化测试技术的基础上,针对星载嵌入式软件的特点,着重对不同测试阶段的星载嵌入式软件自动化测试技术进行了研讨。     

软件自动化测试实施过程与问题研究

当软件项目测试进展到一定阶段,测试对象达到一定规模,对测试提出更高效的要求时,引入自动化测试成为提升测试效率的必经之路,以大幅减少测试开销,同时提高单位时间内的测试产出.以网络设备嵌入式软件自动化测试实施案例为主要研究对象,从自动化测试目标定位、测试效率、测试质量等角度分析自动化测试存在的问题,从项目管理、认识转变、技...     

A practical model‐based statistical approach for generating functional test cases: application in the automotive industry

With the growing complexity of industrial software applications, industrials are looking for efficient and practical methods to validate the software. This paper develops a model‐based statistical testing approach that automatically generates online and offline test cases for embedded software. It discusses an integrated framework that combines solutions for three major software testing research questions: (i) how to select test inputs; (ii) how to predict the expected results of a test; and (iii) when to stop testing software. The automatic selection of test inputs is based on a stochastic test model that accounts for the main particularity of embedded software: time sensitivity. Software test practitioners may design one or more test models when they generate random, user‐oriented, or fault‐oriented test inputs. A formal framework integrating existing and appropriate specification techniques was developed for the design of automated test oracles (executable software specifications) and the formal measurement of functional coverage. The decision to stop testing software is based on both test coverage objectives and cost constraints. This approach was tested on two representative case studies from the automotive industry. The experiment was performed at unit testing level in a simulated environment on a host personal computer (automatic test execution). The two software functionalities tested had previously been unit tested and validated using the test design approach conventionally used in the industry. Applying the proposed model‐based statistical testing approach to these two case studies, we obtained significant improvements in performing functional unit testing in a real and complex industrial context: more bugs were detected earlier and in a shorter time. Copyright © 2012 John Wiley & Sons, Ltd.     

软件单元测试应用研究及案例分析

单元测试是软件测试过程的第一站,高质量的单元测试是软件质量保证的必要条件,本文就单元测试的概念、测试类型及规程作了简单的阐述,同时就单元测试进行了案例分析。     

面向系统芯片测试的微处理器结构设计

采用内嵌微处理器作为测试控制器来测试系统芯片可以提高测试精度和速度,降低测试成本。提出在微处理器结构上做改进,设计了测试数据接口和测试数据解压单元,可以对SOC测试起支持作用。实验结果表明所增加的硬件在电路面积上可接受,对电路性能没有影响,而且对微处理器的正常功能没有任何影响。