Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测

嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位.

基于需求的航空嵌入式软件测试技术研究

针对航空机载软件的特点,提出了一个基于需求的航空嵌入式软件测试模型,并对该模型中主要部分的功能及其相互关系进行了阐述,最后,介绍了该模型在实际工程项目中的应用情况。

面向安全性分析的嵌入式软件测试方法研究

在软件开发的整个周期内,软件测试对项目的正常运行起着关键作用,计算机软件安全性测试是软件测试的一部分,但又有其特别的测试技术和测试方法。嵌入式软件的安全性测试可以分为功能性安全测试和漏洞性安全测试,功能性安全测试通常与普通的功能性测试一起进行,其测试技术和测试方法也基本相同。在此重点挖掘一些嵌入式软件安全测试的共性部分,主要研究安全测试在软件开发周期中的各种方法策略和技术。并借鉴一般应用软件安全测试的管理规范,结合嵌入式软件的具体特点分析改进,试图形成针对嵌入式软件较为通用的、工程化的安全测试解决方案。

基于ADS2的嵌入式软件测试仿真建模方法研究

嵌入式软件通常运行于特定的物理环境中,外部设备接口种类多,功能差异大,实时性强,在进行测试时需要花费大量人力、物力来构建测试环境。针对这一问题,采用半实物仿真技术,利用ADS2测试工具对外部设备进行仿真建模,构建一个逼真的模拟环境来进行嵌入式软件测试。ADS2能够满足嵌入式软件仿真测试的通用化和实时性要求,可以有效支持数据源、交联设备等多种仿真模型的设计开发。测试实例表明,利用ADS2进行嵌入式软件半实物仿真测试,能够加快测试环境构建过程,降低测试成本,拓宽测试范围,提高嵌入式软件测试的质量和效率。

基于虚拟机的嵌入式软件测试环境

嵌入式软件的系统测试需要系统测试环境的支持,而当前使用最多的专用测试环境,因为可移植性较差,极大的限制了测试用例的可重用性。文中提出了一种全新的基于测试虚拟机的软件测试环境,并且详细介绍了测试虚拟机的原理以及利用微内核模式对测试虚拟机的体系结构进行设计。

VI仿真环境下嵌入式软件测试研究与应用

嵌入式软件测试与通用软件测试有相通之处,也有很大差异,嵌入式系统测试与系统软硬件平台关系密切且对测试环境、测试方法都有特殊要求。测试用例设计是软件测试的核心,决定了软件测试的最终效果。在软件测试环境能更方便地进行测试用例注入,且软件测试环境直接影响着软件测试的效率。本文论述了嵌入式软件测试技术,分析了采用UML生成测试用例的方法,论述了采用VI技术搭建仿真测试环境的原理。采用所述方法实现了某型号分系统嵌入式软件测试。

一种基于仿真器的嵌入式软件测试方法

本文给出了一种基于仿真器的嵌入式软件测试方法,首先通过对源程序编译生成的目标文件进行分析和链接,得到符号表、内存映像和行号信息;然后将内存映像加载到仿真器上运行,结合符号表和行号信息实现嵌入式软件动态测试.该方法具有结果准确、支持单元测试等优点.文中着重介绍了链接目标文件、生成和加载内存映像的过程,并简要介绍了使用该方法开发的AD2106X DSP处理器嵌入式软件仿真测试工具Sim2106xTest的主要功能.

火炮火控系统嵌入式软件测试平台研究

嵌入式软件测试平台可以为测试人员提供自动化的测试操作环境。从火炮火控系统嵌入式软件测试的需求出发,在借鉴通用嵌入式软件测试技术的基础上,充分考虑火炮火控系统鉴定的具体要求,设计实现了一个测试平台,有效满足了测试人员对火炮火控系统嵌入式软件测试的需求。应用表明,该平台具有很好的针对性和适用性。

基于模型设计的嵌入式软件测试技术研究

随着嵌入式系统在生活中不断普及,对相关产品的质量性、可靠性等要求也越来越高,特别是在汽车电控系统领域,功能安全已成为衡量产品的一项重要内容。汽车电控系统属于嵌入式系统的一种,本文以嵌入式软件测试为出发点,着重对采用新型开发模式,基于模型设计的汽车电控系统嵌入式软件层面进行测试技术研究。

基于全数字仿真的嵌入式软件测试技术研究

嵌入式软件的广泛应用决定了其质量的重要程度。本文介绍了全数字仿真技术的特点,利用CRESTS/TESS构建了全数字仿真测试环境,针对嵌入式软件测试的重点和难点提出了综合解决方案,这对于提高嵌入式软件的质量具有一定的借鉴意义。

面向火炮火控系统的嵌入式软件测试平台

火炮火控系统属于软件密集型装备,其嵌入式软件对其性能有着重要影响,而软件测试是保障其效能的重要途径。从火炮火控系统鉴定的需求出发,在借鉴通用嵌入式软件测试技术的基础上,充分考虑其测试具体要求,设计了功能测试和性能评价的方法,并设计实现了一个测试平台。平台采用模块化结构交付所需的功能部件,通过从火控系统总线注入数据并采集结果的方式实施测试,有效满足了测试人员对火炮火控系统嵌入式软件鉴定的要求。应用表明,该平台具有很好的针对性和适用性。

CuttleISE在雷达嵌入式软件测试领域的应用

首先介绍Cuttle ISE测试工具的基本原理和工作模块,在此基础上详细介绍了Cuttle ISE在嵌入式软件测试中的应用,该工具已运用到多部雷达软件测试中并取得良好的效果。

面向目标路径的嵌入式软件测试数据生成

针对嵌入式软件结构化测试,以路径覆盖为目标,提出一种基于改进的遗传算法的测试数据生成模型,该模型通过采用自适应的遗传操作算子和引入爬山法,克服简单遗传算法的固有缺陷,以提高生成覆盖目标路径测试数据的效率,为解决嵌入式软件结构化测试的难题之一提供了一种思路.

通用嵌入式软件测试环境在武器装备软件测试中的应用

阐述了武器装备嵌入式软件的系统测试的重要性,论述了利用通用嵌入式软件测试环境(GESTE)对武器装备嵌入式软件进行系统测试的方法和过程,最后给出了一个实例应用。

嵌入式软件测试方法与策略研究

在信息技术迅速发展的今天,嵌入式系统的应用日趋复杂,开发技术日新月异,硬件发展的日益稳定,而软件故障却日益突出,其质量引起人们的重视,对嵌入式系统的测试研究显得尤为重要。嵌入式软件测试由于其自身的特点使得测试较为困难。在嵌入式软件测试中,采用正确的测试方法和策略,可以提高嵌入式软件测试效率,避免目标系统的瓶颈。

嵌入式软件测试工具中间结构的设计与实现

实现一种实时嵌入式软件测试工具的中间结构,描述中间结构的生成、存储、转换过程,给出生成类继承图、生成控制流图的实现代码。设计一个针对C/C++的解析器,对源码进行预处理,以实现由源码生成中间结构,并利用XSLT技术实现中间结构为后端应用提供的接口。

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

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

面向嵌入式软件测试的脚本语言CATScript

提出了一种基于仿真构件、面向嵌入式软件测试的脚本语言CATScript,介绍了脚本解释器体系结构,并将它们应用到计算机辅助测试系统中,取得了显著的效果,达到了预期的目标。

基于ADS2的嵌入式软件测试仿真程序设计方法研究

随着嵌入式系统的广泛应用,如何对其进行仿真测试成为当前研究的热点。ADS2是一套用于在嵌入式实时系统设计、原型开发和集成过程中进行仿真和测试的工具。本文首先介绍了ADS2的工作原理,之后详细说明了如何利用SST、TCL、C语言来进行仿真程序的设计,并分析了这些方法的各自特点。

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

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