Linux下自动化测试执行管理工具的设计与实现

测试自动化是提高软件测试效率的重要途径。尽管各种测试工具具有强大的执行功能,但没有对测试过程和测试资源进行有效的管理。设计并实现了一个Linux下的自动化测试执行管理工具,侧重于测试执行管理和测试资源管理,并详细阐述了其总体构架、模块设计和关键技术。     

WEB应用测试执行引擎的设计与实现

基于模型的测试以系统的抽象模型为依据,自动生成可执行的测试用例,自动地执行测试并自动评价测试结果,实现测试过程的自动化.论文主要研究测试执行自动化技术,设计实现一个自动化测试执行工具.工具的核心是设计基于XML的自动化测试脚本并实现了一个测试执行引擎.脚本拥有良好的结构定义,便于编辑和扩展,由自动化测试工具自动生成.引擎使用多线程技术模拟多用户的并行使用,解决了数据驱动测试执行方式和线程并行操作时的同步问题.     

Web应用自动化测试的研究

针对目前Web应用"捕捉/回放"式测试脚本复用率不高的问题,根据Web应用的特性给出了一种基于数据驱动的Web测试框架,并设计了基于XML语言的自动化测试脚本.该测试脚本描述了Web应用行为的多请求/响应的迁移模型,并清晰地定义了外部测试数据避免了数据"硬编码"的缺陷,可对Web应用不同方面(例如功能、性能)上进行测试.开发了一个测试执行的原型工具,它以测试脚本为输入并自动化执行测试用例并生成测试结果.     

基于模型的Web应用测试

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、...     

TTCN-3测试系统的设计与实现

TTCN-3是一种新的标准化测试语言,文章提出了基于TTCN-3的协议一致性测试系统的设计方法,它使用可执行对象树表示TTCN-3可执行测试套,提供了灵活的并发测试组件调度方式和解释执行机制,并描述了依据该方法实现的TTCN3Runner的系统结构。     

嵌入式软件测试系统执行框架研究

为提高测试系统开发的可复用度、降低开发成本,研究并设计了一种嵌入式软件测试系统的软件框架。首先给出嵌入式软件测试环境的领域模型,然后在领域模型基础上给出其执行框架,该执行框架利用面向对象技术,定义了一组系统类和一组支持类,并可进行扩展以实现特定应用。设计的框架提供了较为通用的测试执行系统基础设施实现方案,能够支持各种体系结构的测试环境设计。     

模型驱动的分布式测试执行自动化研究与实现

随着分布式应用在商业领域中的普及,对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。本文提出了一种模型驱动的自动化测试方法,并将其应用于分布式测试中。为了能够支持分布式测试执行,本文提供了部署和调度两个测试模型,其中,部署模型描述了测试执行环境和脚本分发的情况,调度模型描述了远程测试执行机的调度运行顺序;为了能够实现测试执行的自动化,我们设计了一个分布式测试执行框架。最后,通过Web 应用测试的实例验证了该方法能有效减少测试时间。     

软件可靠性测试流程设计及其应用

科学、合理的软件可靠性测试流程有助于测试工作有条不紊地展开,而现有的可靠性测试流程普遍存在可靠性分配方法不明确、过程不完善等问题,针对此问题展开了软件可靠性测试流程的研究;在分析软件可靠性测试与软件测试的区别、并借鉴现有软件可靠性测试流程的基础上,提出了一个由可靠性测试准备、可靠性测试执行和可靠性测试结果分析三大部分构成的比较全面的可靠性测试流程,并详细阐述了流程中的每一步具体操作;在该流程的指导下进行"虚拟维修训练系统"可靠性测试,充分验证了该流程的可行性和实用性.     

并发TTCN测试执行机的设计与实现

提出了一种通用并发TTCN测试执行机的设计方法.在测试并发协议实现时,采用FIFO调度算法解决了并发测试例的执行问题,并在借鉴抽象I/O队列思想的基础上提出了PTI(packet transmitting interface)部分,使得执行机与特定的协议实现无关,而且提供了可视化的测试执行跟踪界面,使错误定位变得更加容易.实现的执行机在附加上相应的PTI部分之后就可以进行测试,目前已投入使用.     

一种形式化的基于TTCN的测试执行方法

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段.     

路由协议的符号化测试生成

协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了行为之间的关系以及一致性测试关系;给出了基于on-the-fly策略符号测试生成与符号动态执行的算法,在符号动态执行中,使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用.     

一种数据模型驱动的软件自动化测试框架

针对当前GUI程序自动化测试过程中存在的问题,设计实现一种基于RFT工具、由数据模型驱动并且支持分布式多平台网络环境的可复用软件自动化测试框架。该框架分离了测试对象、用例数据、用例逻辑和执行控制,实施该框架能够增强测试用例的可复用性,降低测试用例的维护成本,提高测试执行的自动化程度,改善软件回归测试的过程。     

基于内存建模的复杂结构类型测试数据自动生成方法

针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件;最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统——UATS,通过实验证明了该方法的可行件.     

基于任务的舰船装备软件测试技术研究

针对基于任务的舰船装备软件进行测试时,缺乏任务需求的系统化分析与描述手段、难以从任务执行层面有效生成测试用例、不支持跨平台测试的自动化执行等问题,对舰船装备软件任务分析与建模、基于任务模型的舰船装备软件测试用例生成及舰船装备软件测试自动化执行等三方面关键技术进行了研究,研制了配套的软件测试工具,形成了一整套基于任务的舰船装备软件测试技术,以满足基于任务的舰船装备软件测试的需要。在此基础上,开展了基于任务的舰船装备软件测试技术实例应用,验证了该技术的工程适用性和配套工具的有效性,并形成了典型应用实例,为该技术的推广提供支撑。     

SDT：一个面向场景规约的运行时测试工具

利用设计模型信息，提高测试自动化程度是测试领域的重要课题。UML顺序图是广泛使用的场景规约语言。本文研究了面向场案规约的运行时测试方法，并应用该方法实现了一个基于UML顺序图场景规约的测试工具SDT；它从Ration Rose的规约文件中提取顺序图信息，生成表示预期行为属性的事件有向无环图，对代码进行插装，并利用随机测试用例执行代码，最后将反向工程得到的运行时轨迹与有向无环图进行比较，对实现和设计的一致性进行自动化验证。     

FADEC可靠性试验HIL仿真自动化技术研究

针对航空发动机全权限数字电子控制(FADEC)系统电子控制器可靠性试验中硬件在环(HIL)仿真测试的执行过程,开展了测试自动化技术研究,提出按名义执行时间设计脚本的分层封装方法,实现脚本模块执行时间误差受控,提高了脚本的模块化程度,有利于各层脚本执行时间的精确调试和顶层测试任务脚本的开发。设计了外部辅助脚本的自动流程整合方式,实现非自动化软件工具的快速整合,提高了自动运行流程的构建效率。经过某型电子控制器1000 h可靠性摸底试验验证,测试流程自动化运行流畅,报表输出完整,任务脚本执行时间误差稳定受控,满足试验过程的自动化需求。     

面向Web服务测试的单线执行序列生成方法

测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web服务的可测试性。     

基于全系统模拟的OP-TEE内核模糊测试方法

OP-TEE (Open Portable Trusted Execution Environment)是运行于基于TrustZone的可信执行环境(Trusted Execution Environment,TEE)中的开源可信操作系统。OP-TEE虽然运行于TEE侧,但仍存在漏洞从而遭受来自于富执行环境(Rich ExecutionEnvironment,REE)的攻击。模糊测试是一种常用的漏洞发现方法,但由于TEE与REE的高度隔离,REE侧的模糊测试工具难以直接测试OP-TEE,且现有基于OP-TEE源码插桩的模糊测试方法存在依赖源码和专业领域知识且崩溃容忍度低的问题。本文基于全系统模拟,模拟OP-TEE依赖的环境,提出了对OP-TEE内核模糊测试的方法。该方法将OP-TEE托管在模拟环境中并追踪其执行过程,模糊测试工具在模拟环境外观测执行过程并以此生成测试用例。该方法通过设计实现模拟环境内外通信组件,将模拟环境内OP-TEE的系统调用暴露给模拟环境外的模糊测试工具,使得模糊测试工具能够对OP-TEE内核进行模糊测试。同时针对模糊测试过程中单个用例测试耗时较长的问题,设计实现了预翻译优化机制以减少测试过程中的耗时。实验验证了方案可行性,评测了预翻译优化的效果,并评估了方案的漏洞发现能力,同时对比现有方案OP-TEE Fuzzer进行了性能测试。实验结果表明,本文方案具有检出崩溃以及发现潜在漏洞的能力,预翻译优化机制能平均减少19.05%执行耗时,且实际性能优于OP-TEE Fuzzer,其中吞吐量与OP-TEE Fuzzer相比提高了104%。