一种API自动化测试工具的设计与实现

给出一种API自动化测试工具的设计和实现方案，实现了被测API信息的自动提取、API测试数据和测试用例辅助生成以及测试执行过程驱动与监控的自动化。介绍了使用该工具对一个实际的被测程序进行测试的过程和结果。     

面向云测试的并行测试用例自动生成方法

为实现云计算环境下的高效软件测试,提出一种Web 应用系统功能测试的并行测试用例自动生成方法。该方法首先根据场景流图采用深度优先遍历算法生成并行测试路径,录制组合产生并行测试脚本,并进行参数化处理;然后,使用基于搜索的软件测试(SBST)方法自动生成可经过目标路径的有效测试数据集,脚本与数据耦合形成大量可并行部署的自动化测试用例。为验证方法的有效性设计了自动化云测试原型系统。实验结果表明,该并行测试用例自动生成方法可以高效地为云平台提供测试用例输入,提高测试效率。     

基于PICT的API测试用例设计应用

API是软件工程中的一个重要组成部分,需要设计大量的测试用例来进行充分测试。借助PICT工具利用组合测试原理可产生比手动生成更高效的测试用例。本文介绍了PICT的工作原理及使用方法,分析了API测试用例的设计思路,并通过一个API测试用例设计实例详细说明了如何通过PICT工具对API进行测试用例进行设计。     

单元测试自动化工具的研究与实现

软件测试的自动化技术是软件测试技术研究的重点问题,对于提高软件测试的客观性和效率有着非常重要的意义.实现了一个可以自动生成、执行测试用例的工具,该工具针对软件测试过程中的单元测试,以容易发生异常例外的条件语句为中心,对其进行覆盖检查,实现了单元测试的自动化.     

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

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

一种C++单元测试支持工具的研究与设计

单元测试是针对单个功能模块的测试,能尽早发现缺陷,降低滞后纠错的高成本。当今面向对象软件开发强调迭代和增量式的开发方法,单元测试为其提供了质量保证支持。在单元测试实践的基础上提出了一种单元测试支持工具的设计方法,该工具提供了一个灵活有效的单元测试框架和基于该框架的测试用例管理和优化方法。     

基于不变量探测的JUnit测试用例自动生成的实现

实现了一种在动态不变量探测工具Daikon帮助下,为Java类自动生成JUnit测试用例的方法.它以待测代码以及少量使该待测代码正确运行的代码为输入,以Daikon导出的程序运行模型为基础,全自动地生成了包含测试断言的JUnit测试用例.该方法主要解决了传统方法在生成单元测试用例时无法自动插入测试断言的不足.     

基于事件流图的GUI自动化测试系统的开发

针对目前GUI自动化测试方法中存在着一定程度的手工依赖性以及对测试用例和测试覆盖率缺乏系统管理等问题,本文结合Microsoft UI Automation框架开发了一个基于事件流图的GUI自动化测试系统。该系统先对被测标准GUI进行逆向工程以得到GUI的事件流图和期望的结果,然后分别采用基于蚁群算法的日常冒烟测试用例生成算法和基于宽度优
先搜索的深度回归测试用例生成算法生成测试用例,并用这些生成的测试用例来测试新的GUI。测试结果表明,该GUI自动化测试模型是切实可用的,为在Windows环境下提高GUI测试的自动化程度提供了一种更为有效的途径。     

基于不变量探测的JUnit测试用例自动生成的实现

实现了一种在动态不变量探测工具Daikon帮助下，为Java类自动生成JUnit测试用例的方法。它以待测代码以及少量使该待测代码正确运行的代码为输入，以Daikon导出的程序运行模型为基础，全自动地生成了包含测试断言的JUnit测试用例。该方法主要解决了传统方法在生成单元测试用例时无法自动插入测试断言的不足。     

一种用于测试编译优化的程序控制结构生成算法

代码优化是编译器的重要阶段,是编译技术的研究重点。优化算法复杂度高,需要有效地测试用例生成方法对其进行充分的测试。提出了一种测试用例自动生成方法,能直观简单地生成具有可优化成分的程序,有针对性地对编译优化进行有效测试。重点介绍了该方法的基础、程序控制结构生成算法,并介绍了基于本方法实现的一个编译器自动测试工具。     

面向对象测试代码复用算法与工具

本文主要研究面向对象软件系统的自动化测试代码的复用问题。复用测试代码是基于建立的方法测试用例。当创建了一个方法的测试用例之后,可以发现这个用例可在其他相 关方法的测试过程中起到多种作用。这个生成的测试用例可以作为另一个方法测试输入的对象参数,或者作为一个主测试对象以调用其方法。我们设计了一个可自动生成复用用测试代码的算法,并应用于一个微软平台上的对象测试自动化工具的研发过程中。     

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

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

软件测试入门浅谈

文中结合自己软件测试入门阶段的体会介绍了识别测试需求、设计测试用例和执行测试用例,其中识别测试需求重点介绍主动获取需求、确认需求的优先级两方面,设计测试用例着重介绍了测试用例的基本格式、加强测试用例的评审和定义测试用例的执行顺序,执行测试用例主要介绍搭建软件测试环境,执行测试用例和更新测试用例几个方面。     

面向嵌入式软件测试的仿真建模

论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。     

软件测试用例生成中的前置条件分析

在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例.结果表明对前置条件的研究能够促进测试用例的自动化生成过程.     

A novel strategy for automatic test data generation using soft computing technique

Software testing is one of the most crucial and analytical aspect to assure that developed software meets prescribed quality standards. Software development process invests at least 50% of the total cost in software testing process. Optimum and efficacious test data design of software is an important and challenging activity due to the nonlinear structure of software. Moreover, test case type and scope determines the quality of test data. To address this issue, software testing tools should employ intelligence based soft computing techniques like particle swarm optimization (PSO) and genetic algorithm (GA) to generate smart and efficient test data automatically. This paper presents a hybrid PSO and GA based heuristic for automatic generation of test suites. In this paper, we described the design and implementation of the proposed strategy and evaluated our model by performing experiments with ten container classes from the Java standard library. We analyzed our algorithm statistically with test adequacy criterion as branch coverage. The performance adequacy criterion is taken as percentage coverage per unit time and percentage of faults detected by the generated test data. We have compared our work with the heuristic based upon GA, PSO, existing hybrid strategies based on GA and PSO and memetic algorithm. The results showed that the test case generation is efficient in our work.     

软件测试自动化静态分析研究

为了加快软件测试的速度,减少人力投入,可以采用测试自动机对软件进行自动测试。测试自动化静态分析工具是一种软件,可以利用它对程序的源代码进行分析,自动测试应用系统的很多方面。在软件测试中,静态分析工具并不执行所测试的程序,只是扫描所测试程序的正文,对程序的源代码进行分析,它类似于编译程序中的词法分析和语法分析,但工作量远不止于此。     

基于MDA的软件测试用例生成

将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML/OCL模型出发,采用缺陷测试理论、变异分析技术,结合约束处理规则,开发一个可以自动生成单元测试用例的框架,提高软件测试的自动化程度,从整体上提高软件的开发效率。