星载设备嵌入式软件可靠性仿真测试系统设计

在分析了嵌入式软件可靠性仿真测试环境的功能需求和组成结构的基础上,设计了一种嵌入式软件可靠性仿真测试系统,专用于星载设备嵌入式软件的可靠性测试.阐述了星载嵌入式软件可靠性仿真测试系统的设计实现目标,设计了系统的组成结构,详细介绍了各个部分的具体实现.系统的实现采用了现代微机的高性能、多线程以及USB技术.最后通过一个星载设备嵌入式软件的可靠性仿真测试验证了所设计的仿真测试系统对于嵌入式软件可靠性仿真测试是适用的,并且是完善、灵活并极具实用价值的.     

嵌入式软件GUI自动化测试平台研究

为实现嵌入式软件的GUI自动化测试,对嵌入式软件GUI自动化测试现状深入分析,提出了一种无侵入式的GUI自动化测试框架,利用图像采集与信息识别技术实现测试用例结果判断;利用键盘鼠标模拟技术模拟测试用例执行的人机交互;利用脚本语言嵌入技术实现用例编辑与转换、利用嵌入式软件GUI测试自动化控制技术实现用例的自动驱动与执行;在此基础上,设计并研发了嵌入式软件GUI自动化测试平台,能够方便、有效地实现无侵入式的嵌入式GUI自动化测试.     

嵌入式系统代码静态分析与测试方法探讨

随着嵌入式系统硬件可靠性水平的不断提高和嵌入式软件的日益复杂化,软件的可靠性在嵌入式系统整体可靠性中所占的比重也越来越大.在探讨了代码静态分析技术中关键步骤的基础上,制定了编码标准,并且选择了合适的静态分析工具;同时,介绍了自行开发的代码测试框架和测试用例设计方法,并将其运用到某智能仪表软件的测试中,得到了良好的测试效果.     

基于SOA架构的嵌入式软件测试平台

随着嵌入式软件的性能越来越复杂,软件的质量对嵌入式产品的最终质量起到了决定性的作用.嵌入式软件测试是保证软件质量及嵌入式系统质量的重要技术手段,而嵌入式软件测试平台正是为提高测试效率、降低测试费用而提供的操作平台.论文介绍了面向服务的体系结构(Stervice-oriented,简称SOA)的概念及结构模型,着重阐述了如何采用SOA对DSTE(Distributed Simulation Testing Environment)进行架构,并解决了测试中各部分之间信息的传递问题,较好适应了嵌入式软件的交叉测试过程和嵌入式系统资源有限的特点.     

嵌入式软件测试工程化研究与实践

随着嵌入式系统在各行各业应用的迅速发展,其核心控制软件也变得日益庞大和复杂,实行有效的嵌入式软件测试显得越来越重要.首先分析了嵌入式软件的特点及嵌入式软件测试的重要性,接着阐述了一种有效的嵌入式软件测试工程化方法,并结合一个实际测试项目验证了该方法的有效性.     

基本路径覆盖测试探针插桩技术研究

为实现C语言开发的嵌入式软件自动路径覆盖测试,提出了基本路径覆盖(Z路径优化)测试探针插桩技术.初始化时确定探针算法、分配内存空间,插桩策略解决了插桩位置及方法,采用消息队列机制完成测试数据采集,使用模式匹配删除探针恢复现场.通过模拟测试XSBase 255嵌入式系统上的C语言计算器模块(callbacks.c),从覆盖率看出取得了一定的效果,为测试和维护工作提供了底层数据支持.     

基于Bootloader的可靠嵌入式软件远程更新机制

嵌入式软件的远程自动更新技术能够显著的降低嵌入式系统的维护成本,而更新过程的可靠性直接影响着远程更新的质量.本文针对基于bootloader的嵌入式系统,提出了一种高可靠的嵌入式软件远程自动更新机制,并以采用ARM微处理器、嵌入式Linux操作系统和无线网络接口的嵌入式平台为例给出了更新机制的软硬件实现方案.最后在实际系统中对更新机制的性能进行了测试.测试结果表明,本更新机制具有良好的抗干扰能力,能有效地提高嵌入式软件远程更新的可靠性.     

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

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

嵌入式软件系统开发技术及测试技术探讨

随着科技时代的快速发展,嵌入式软件系统应用发展也是非常迅速的,然而在硬件技术发展越来越稳定时,嵌入式软件系统稳定性却越来越差,因此嵌入式系统测试技术也应运而生了。本文通过对嵌入式软件系统特点的分析和研究,从而对其测试提出相应的方法。     

一种AADL模型测试仿真引擎的设计与实现

随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软硬构件结构及属性规约,成为嵌入式软件分析方法研究的重点。为解决以上问题,提出了一种基于模型的嵌入式系统实时性测试方法,设计并实现了面向AADL模型的仿真测试引擎(AMSE)。仿真引擎基于SystemC和POSIX技术,通过任务封装、任务调度、时钟管理、中断管理和信号控制等实现模拟内核功能,可以动态执行AADL模型实例,从而对嵌入式系统的实时性开展模型测试。同时,以汽车控制系统为应用实例,基于AADL模型测试引擎AMSE进行了应用测试分析,获得了较好的测试结果。     

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

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

基于形式化方法的因特网路由协议的一致性测试

并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构,然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计.     

最小测试用例集生成方法改进及应用

软件测试是保证软件质量和可靠性的重要手段,如何对软件进行全面且高效的测试一直是备受关注的问题。分析了白盒测试与黑盒测试的优缺点;具体分析了最小测试用例生成算法,接着对生成最小测试用例集的方法提出改进：首先消除掉测试需求中存在的冗余,再对由该测试需求生成的测试用例集使用简化算法,得到一组无冗余的测试用例集。这种先对测试需求进行精简的方法,使得测试用例集中测试用例的数量大为减少,提高了简化算法的使用效率。将上述最小测试用例集生成方法运用到Apla到delphi生成器系统的测试中,提高了测试效率。     

基于协议集成测试系统的IP v4协议一致性测试

TCP/IP协议实现的一致性测试是保证Internet网络设备之间互连与互操作的基础.该文基于协议集成测试环境进行了IP（Internet protocol）协议一致性测试研究和实际测试,并针对IP端系统和中继系统分别采用了分布式和远程横断式测试法,设计生成了IP一致性测试集.并且已将IP协议的一致性测试应用到路由器的开发和研制过程中.     

基于覆盖与故障注入的飞控软件测试技术研究

无人机飞控软件是典型的实时嵌入式软件系统,其可靠性、安全性测试与评估是军用软件保障工作与无人机技术发展中的重点与难点。针对飞控软件的特点,介绍基于覆盖与故障注入的测试方法．分析其测试与可靠性评估中的关键技术,并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法。实践证明对安全关键软件严格的测试与评估可大大降低错误隐藏数,减少不必要的经济损失与灾难性事件发生。     

软件可靠性测试中最小测试量的确定方法

分析了软件可靠性测试中确定最小测试量的重要意义,阐述了基于操作剖面的软件可靠性测试数据生成方法和软件可靠性测试数据统计特征原理下的确定最小测试量的理论依据和具体方法,提出了该理论指导下的测试数据生成流程,通过实例给出了方法的具体应用过程.     

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.     

通用嵌入式系统软件测试平台的设计

仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,探讨了通过在PC机上仿真模拟ARM嵌入式系统,对嵌入式系统软件进行仿真测试的通用测试平台的设计。该平台可以在不做大幅度修改的情况下对不同的嵌入式系统软件进行各种测试。重点介绍了仿真模拟器、测试管理器和测试平台专用工具链的设计,提出了一种测试管理器的实现模型,并进行了详细的描述。     

面向适航标准的机载软件测试验证方法综述

机载软件测试是指机载系统中嵌入式软件执行的测试验证过程,目的是为了挖掘出软件缺陷从而提高机载系统的可靠性。随着机载嵌入式系统功能的多样化需求,软件的规模和复杂程度不断增加,同时因为其实时性、嵌入性、高可靠性等特殊性,因此对机载软件进行充分测试成为当前的一个挑战。为了满足要求,机载系统的测试需要遵循最新的适航标准DO-178C,针对机载软件生命周期过程提出了一系列目标要求和设计考虑。为此,简介了机载软件适航认证标准的发展及其测试环境;根据DO-178C对机载软件测试的各个过程从基于需求、基于模型、基于安全性分析以及软件验证的测试研究机载软件的测试验证方法,并进行小结;对相关领域的发展进行总结和展望。     

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.