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

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

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

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

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

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

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

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

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

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

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

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

规范化嵌入式软件自测试方法

根据嵌入式软件特点,提出了集文档审查、含编码规则扫描的静态分析、代码审查、动态单元测试、部件测试和配置项测试的规范化自测试模型,并重点阐述了可定制编码规则的静态分析、基于宿主机的动态单元测试、部分增量的部件测试及基于故障注入的配置项测试等关键技术.该方法测试级别、测试类型全面,统计数据表明其有效减少了冗余测试工作时间,提高了测试效率,并在不同层次上消除了软件缺陷.     

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

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

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

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

使用IBM Rational Test RealTime进行嵌入式软件测试

介绍IBM Rational Test RealTime测试工具,并以单元测试为重点说明其在嵌入式软件测试中的应用。     

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

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

嵌入式软件语句覆盖率测试插桩技术

针对基于宿主机的嵌入式软件测试,提出一种单元测试中通用的语句覆盖率测试方法,通过插桩技术,采用向源代码插桩实现语句覆盖率测试。设计了测试代码的实现算法,通过测试代码可以自动完成向被测代码插桩。这些方法被成功地应用到笔者所在项目组开发的嵌入式软件仿真测试平台ARMtest上。利用这些方法,在嵌入式硬件系统未完成开发之前,可通过宿主机环境和仿真环境及时发现嵌入式软件开发初期的一些不足并加以完善。     

一种基于赋时Petri网和ZBDD的装配序列规划方法

机载航空电子系统设计采用综合化系统体系结构,可实现计算系统及其计算资源和计算设施的"物理集成";以及机载嵌入式软件系统的"功能集成";提供对系统计算功能的动态配置管理和实时动态冗余,以期得到较高的计算性能和保障系统的高可靠性。基于软件系统架构的层次关系研究了复杂嵌入式计算任务的运行模态表示方法,分析了嵌入式软件系统任务模态的迁移关系,提出了基于AADL软件体系结构的嵌入式软件模态划分方法,制定了系统动态重构蓝图,并设计了基于模态的嵌入式软件动态重构实施方法。基于软件架构的模态分析及其动态重构,有助于提高复杂嵌入式软件系统的可靠性、安全性和重用性。     

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

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

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

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

基于改进遗传算法的嵌入式软件时序测试数据自动生成方法

为了提高嵌入式软件时序测试数据自动检测和生成的精度、加快其收敛性,提出基于改进遗传算法的嵌入式软件时序测试数据自动生成方法。构建嵌入式软件时序测试数据的结构参数分析模型,采用动态编译和输出稳定性测试的方法,进行嵌入式软件时序测试数据检测和跟踪识别,通过混合属性数据特征和数据层次聚类分析的方法,建立嵌入式软件时序测试数据的遗传进化学习模型,得到静态软件源文件用例集,通过嵌入式软件时序测试数据知识图谱的分类和层次性架构的方法,建立嵌入式软件时序测试数据的特征图谱,采用改进的自适应遗传算法,提高选中最优解的概率;构建嵌入式软件时序测试数据的特征分布集,结合概率密度特征分布,实现对嵌入式软件时序测试数据自动生成。测试表明,该方法进行嵌入式软件时序测试数据生成的数据表达能力较好,实现数据快速建模和特征分析,提高软件测试能力。     

基于符号执行的单元测试研究与应用

近年来随着测试的复杂性和重要性不断增加,软件测试技术逐渐成为软件领域研究的热点.符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用.重点描述运用符号执行技术进行参数化单元测试的实现过程,并选择运用动态符号执行技术实现的参数化单元测试软件Pex进行实验,从而更好地验证符号执行技术在自动化单元测试中的优势.     

实用软件测试方法研究

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

异步软总线在嵌入式开发环境中的应用

根据嵌入式软件集成开发环境中各个工具模块的集成、通信与功能交互的要求,提出一种基于异步通信机制的软总线通信框架,阐述其设计与实现原理.通过典型功能的运行机制,说明总线内部的工作流程.结合国产嵌入式软件集成开发环境给出远程调试工具、动态加卸载工具、系统监视/诊断工具的应用实例,结果证明,该软总线适用于嵌入式软件开发工具的...     

WCSD动态检测方法

嵌入式软件最大堆栈深度(worst-case-stack depth,WCSD)是指导硬件设计和软件开发的重要指标,然而它的测量却极其困难.通过详细分析堆栈使用原因及其相互关系,建立多层中断叠加模型并提出一种WCSD动态检测方法,以检测嵌入式软件堆栈深度上限.同时,基于嵌入式软件全数字仿真平台完成实验以验证该模型和方法的可行性.实验结果表明,该模型和方法可测得较准确的WCSD结果,有助于在降低内存开铕,保证嵌入式系统的堆栈安全以及提高嵌入式软件的可靠性.