基于XML的API自动化测试工具设计与实现

在研究应用编程接口(API)测试特点的基础上,运用软件测试技术与方法对API进行了正确性测试,设计了API自动化测试框架,采用XML语言进行API自动化测试工具的设计和实现方案。使用该工具可在API信息提取、测试用例生成及测试用例执行、测试报告生成等方面实现自动化。该工具主要用于验证第三方提供的API,由于单元测试中较多地使用了API测试,因此也可运用于软件的单元测试。     

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

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

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

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

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

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

用于GUI软件的测试工具

为提高GUI软件测试的效率、降低软件成本,提出一种针对GUI软件的测试工具.该工具由测试配置设定模块、测试用例设计模块和测试用例执行模块组成.首先根据测试需求进行测试配置设定生成INI文件,然后根据INI文件内容将测试对象窗体中需要测试的控件及属性设定到测试用例设计界面中,在界面中进行测试用例设计,并将设计数据保存到XML文件中,测试用例执行模块通过读取XML文件中的数据完成测试用例的自动执行,同时进行测试结果判断,最后生成测试报告.测试人员只需输入数据,不用编写测试脚就能实现测试用例的自动执行,能减轻测试人员负担,提高软件测试效率.     

基于Charles录制会话的HTTP接口自动化测试框架设计与实现

传统的HTTP接口测试步骤繁琐,工作量巨大,且现有的接口测试工具功能单一、可扩展性差。为了提高接口测试效率、弥补现有工具的不足,提出一种基于Charles录制会话的HTTP接口自动化测试框架。从客户端出发,录制HTTP会话过程,以此构建测试用例池;将测试用例通过特定的中间件服务嵌入至单元测试框架,持续集成平台持续调用测试框架并生成测试报告;框架集成报告发送功能,方便远程查看。通过实验验证,该框架可快速构建测试用例,持续测试接口,测试结果查看方便,测试效率提高。     

基于场景模式的嵌入式软件测试用例设计

将场景和模式方法用于嵌入式软件测试用例的设计与生成,通过对被测软件系统需求进行分析建模,将建立的场景模型划分到不同的场景模式中,依据场景模式构建测试场景的状态图,遍历场景状态图以获取测试执行路径,确定相关的测试数据,设计并生成测试用例。实验结果证明,该方法可以较快地设计和生成测试用例,提高测试用例的可重用性,实现对嵌入式软件的有效测试。     

基于LabVIEW的嵌入式软件黑盒测试系统的研究

为提高嵌入式软件测试的效率,介绍了一种用LabVIEW开发嵌入式软件黑盒测试系统的设计方案,阐述嵌入式软件仿真测试平台的特点及其实现方法。详细说明了本设计方案的测试用例的设计和编排方法,提出了一个解决使用LabVIEW软件产生的实时性问题的方法。     

基于UML的面向对象软件测试系统

设计和实现了一个基于UML的C 测试集成开发环境CppTestlDE.它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置.同时,对源代码插装,以便度量代码覆盖率.在此基础上,编译测试装置和源代码,生成测试装置执行文件.最后,驱动测试装置执行文件,分析测试结果,生成测试报告.     

AFDX网络测试技术研究

航空电子全双工交换式以太网络是一种新型的机载网络,对该网络的测试主要是为了保证数据传输的确定性和可靠性;对AFDX网络的特点进行了分析,提出了AFDX网络的测试需求,涵盖端系统和交换机全部功能和性能的测试;设计了一种命令/响应型测试策略,对测试用例进行设计,并给出了测试方法和步骤;建立起了AFDX网络测试平台,该平台是一个综合化、自动化的平台,可以对测试进程进行管理,自动生成测试报告;文中提出的测试技术已成功应用于工程实践中,可实现自动化测试,节约了时间,提高了效率。     

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.     

嵌入式软件全数字仿真测试环境设计

嵌入式软件所具有的实时性、嵌入性特点,使得仿真测试成为保证嵌入式软件质量的一种重要测试方法.首先分析了当前仿真测试方法现状及存在的问题,然后提出了一种基于宿主机的嵌入式软件全数字仿真测试环境设计方案,用软件来仿真嵌入式软件运行所需的目标机硬件及外部设备,能够在不具备目标硬件系统情况下,进行非干涉、实时的嵌入式软件闭环测试,最后提出了通过建立仿真构件库实现快速建立全数字仿真测试环境的方法.     

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

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

基于嵌入式系统的Motif图形界面开发技术研究

针对应用于国防领域的国内某特种车辆对显控系统的具体功能需求,讨论了在嵌入式实时操作系统vxWorks的基础上利用Motif库作为工具开发图形用户界面的相关技术。从建立基于Tornado的嵌入式应用软件交叉开发环境入手,总结出了X Window／Motif程序接口及其代码的调试框架,研究了在嵌入式图形用户界面实际开发过程中所遇到的具体技术难题,并通过解决这些技术问题,最终实现了对VxWorks在图形用户界面开发方面的功能扩展。     

基于NIOSⅡ软核处理器的嵌入式测试系统软硬件设计研究

介绍了利用NIOSⅡ软核处理器设计嵌入式测试系统的两类系统架构,详细讲述了基于NIOSⅡ软核处理器的嵌入式测试系统软硬件设计方法;最后结合EP2C8Q-208C8型FPGA芯片,利用Verilog语言描述A/D芯片的工作时序逻辑,利用NIOSⅡ软核处理器设计串口处理单元,将A/D采集的数据通过串口发送到计算机显示。实践表明,利用NIOS II软核处理器设计嵌入式测试系统,具有开发周期短,系统集成度高,功能灵活多样等特点,与传统利用单片机设计嵌入式测试系统相比,具有时钟频率高、运行速度快、调试方便等特点,是一种值得推广的嵌入式测试系统设计方法。     

基于虚拟微处理器的嵌入式软件开发与系统验证环境

嵌入式系统设计过程中软件与硬件集成验证的滞后，已成为制约整个系统开发进程的重要因素．虚拟微处理器是指在嵌入式系统硬件原型形成之前构造的可仿真原型，通过对微处理器的仿真支持软件嵌入式软件开发．介绍了基于虚拟微处理器技术的嵌入式软件开发环境的设计和实现，利用该环境，设计者可在设计早期进行系统集成验证，减少设计错误并缩短设计周期．该环境已经在嵌入式系统开发过程中得到成功应用．     

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

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

基于SPARC V8的星载嵌入式软件全数字仿真平台设计与实现

为了提高星载嵌入式软件的可靠性和安全性,解决硬件测试环境构建困难、成本昂贵以及运行状态难以监控的局限性,提出了一种基于SPARC V8的星载嵌入式软件全数字仿真平台设计和实现方法。介绍了全数字仿真平台实现的关键技术,包括CPU指令集仿真、寄存器仿真、存储器仿真、中断控制器仿真、串口仿真、定时器仿真、虚拟外设模型仿真以及设备管理器和平台时序设计。全数字仿真平台与基于硬件的测试平台相比具有可重用性强、可快速搭建、成本低廉、高可控性、调试和测试手段丰富、支持故障注入等优点。该全数字仿真平台已在星载嵌入式软件型号研制中得到了应用,基于此平台可快速搭建虚拟目标机和虚拟外设环境,进行星载嵌入式软件运行仿真、调试验证等工作。     

基于VxWorks的随动监控系统

分析了嵌入式实时操作系统VxWorks及其开发环境Tornado的结构和特点。应用其强实时性和多任务调度、任务间通信的机制，提出了一种基于VxWorks的随动监控系统设计实现方案。