嵌入式软件实时性测试过程研究

根据实时嵌入式软件的特点，设计了一套嵌入式软件实时性测试过程，这个测试过程不仅融合了传统嵌入式软件测试方法：静态时间分析和动态实时检测。提出了自己的测试内容：设计测试、硬件输入测试、软硬件同步测试和抗干扰测试。从而为改善嵌入式软件测试过程提供了帮助。     

基于模块化设计的嵌入式软件测试方法

分析嵌入式软件的特点,综述传统的软件测试方法;针对嵌入式软件的特点,提出嵌入式软件的四级测试流程和集成测试的测试模型,并结合开发数控系统的实例进行分析。     

嵌入式软件测试方法分类分析

通过多年来前人的不断努力,我们已经掌握了一些专门针对嵌入式软件特性的测试方法和技术,经过对现有的这些测试方法和技术的总结和分析,我们可以把嵌入式软件的测试分为软件测试方法、硬件测试方法和软硬件结合的测试方法。由于嵌入式系统资源有限,很难提供软件开发、调试所需要的相关资源和工具,因此嵌入式软件在开发过程中采用宿主机/目标机的交叉开发、调试模式。同样,嵌入式系统的这个特点也限制了嵌入式软件的测试,所以对于嵌入式软件测试来说,也有基于宿主机的测试和基于目标机的测试之分。本文对这些测试方法分别进行详细介绍。     

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

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

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

嵌入式软件测试技术被应用于多种领域,它与一般软件的测试相比有所差异,嵌入式系统具有实时性、通道少、内存小、开发工具昂贵、与硬件联系紧密、种类繁多等显著特点,这些特性极大地增加了软件测试的难度。本文从软件测试的基础着手,阐述了软件测试的目的、技术和嵌入式软件系统的自身特点对软件测试的影响等问题,并介绍了嵌入式软件测试技术在石油开采中的应用。     

嵌入式软件自动化测试系统研究

嵌入式软件系统的测试通常需要对其被控对象或者环境进行仿真,以进行硬件在环的闭环验证,在软件测试中很有必要将被控对象的实时仿真模型与被测系统连接起来进行闭环测试;在总结分析嵌入式测试领域新需求的基础上,提出了一种基于分布式仿真测试环境的嵌入式软件自动化测试系统;该系统具有较强的测试管理能力,以实时仿真机为核心,以及接口的模块化定制,实现了对系统动态特性的半实物仿真软硬件环境,很好地解决了嵌入式系统内存资源较少,与硬件紧密相关等问题。     

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

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

基于故障注入的仿真测试方法过程框架

在嵌入式系统组成特性和嵌入式软件测试抽象分析基础上,提出了一种基于故障注入的嵌入式软件仿真测试方法.结合故障注入试验过程特点,将故障分析、故障建模和故障注入技术有效地应用于嵌入式软件仿真测试过程中,并对该方法的测试过程框架进行了探讨.     

基于嵌入式软件实时运行和测试的仿真环境的研究与设计

测试环境在嵌入式软件测试过程中起着重要作用,一些软件测试人员拥有好的测试软件,却苦于没有好的测试环境来支持。该文提出了一种基于嵌入式软件实时运行的通用仿真测试环境。在测试过程中,主要应用于系统测试,适用于一般嵌入式软件和容错软件的实时测试。采用了总线上的故障注入和数据采集方法。环境的实现利用了现代微机的高性能、多任务多线程,以及FPGA、PCI等技术。     

KTFlow在嵌入式软件测试过程管理中的应用

介绍了KTFlow在嵌入式软件测试过程管理中的具体应用方法,通过5个阶段对测试活动进行全过程管理,实现了协同工作、项目定制、流程裁剪、状态管理和文档自动生成等功能,满足了军方对软件测试的管控要求。     

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

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

嵌入式软件测试的数据获取技术

测试数据获取是嵌入式软件测试的关键技术,其准确性.实时性和可靠性对测试质量有决定性影响.嵌入式软件测试需要根据软件特性和测试要求对数据获取方法进行定制设计.针对侵入式的软件插桩测试技术,着重研究了硬件采集、硬件收发、纯软件方式的插桩实现过程.对非侵入式的边界扫描技术和虚拟仿真技术的数据获取原理进行了分析,并提出了嵌入式开发测试一体化集成应用和全生存周期嵌入式软件开发,测试与管理的思想,指出了嵌入式软件测试的新方向.     

对嵌入式软件进行在线测试和分析提高产品质量

随着嵌入式系统软件的广泛应用 ,迫切需要一种工具可以对嵌入式软件进行测试。本文在分析常用的测试方法优缺点的基础上 ,介绍了硬件辅助软件测试工具在线分析与测试方法的原理。实践证明 ,提出的方法切实可行 ,真正达到了软件测试的目的。     

A distributed development environment for embedded software

The HAGAR project is building a high-performance disk controller. It is an embedded system for which many hundreds of thousands of lines of embedded software will have to be developed concurrently with the development of the hardware. We found existing methods for embedded software development, such as simulation and remote cross development, to be inadequate for us. To meet our special needs, we developed a distributed development environment that combines and extends the capabilities of existing methods while fixing their drawbacks. Our environment is based on a processor-pool architecture, in which multiple hardware sets are pooled and managed systematically. It supports embedded software development for many programmers at different sites. It allows for the emulation of non-existing hardware adaptor cards and for the integration of embedded software testing with hardware simulation. The environment provides a single system image, hiding many hardware and configuration details from its users. From the perspective of the programmers, our environment makes developing embedded software for special hardware systems as easy as developing application programs for a UNIX workstation.     

Coupling-based criteria for integration testing

Integration testing is an important part of the testing process, but few integration testing techniques have been systematically studied or defined. The goal of this research is to develop practical, effective, formalizable, automatable techniques for testing of connections between components during software integration. This paper presents an integration testing technique that is based on couplings between software components. This technique can be used to support integration testing of software components, and satisfies part of the USA's Federal Aviation Authority's requirements for structural coverage analysis of software. The coupling-based testing technique is described, and the coverage criteria for three types of couplings are defined. Techniques and algorithms for developing coverage analysers to measure the extent to which a test set satisfies the criteria are presented, and results from a comparative case study are presented. © 1998 John Wiley & Sons, Ltd.     

嵌入式软件测试数据处理系统的研究

嵌入式软件测试已成为当前测试领域的热点之一,由于嵌入式软件一般具有实时性强、接口数据复杂的特点,使得每次测试都会产生海量的测试数据,如何有效地分析、处理这些测试数据,从而获取有效的数据信息是测试分析工作的难点.给出了海量测试数据处理的关键技术和解决途径,并实现了嵌入式软件测试数据处理系统的开发.最后,通过一个实例应用验证了该系统的正确性和有效性.     

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.     

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

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

无线传感器网络的嵌入式软件测试

介绍了无线传感器网络软件模块的基本组成和其中的数据中转器嵌入式软件部分的功能设计,重点介绍嵌入式软件测试的基本概念、测试方法和关键技术。在此基础上给出了数据中转器的嵌入式软件测试系统的基本框架图和必要的软件测试工具介绍。