基于接口参数的黑箱测试用例自动生成算法

测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型 ,据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表 .并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点 ,从而可以在提高软件测试质量的同时 ,降低成本 ,提高效率 .最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果 .

基于UML的系统测试用例自动生成

提出了一种新颖的基于UML图自动生成系统测试用例的方法。此方法适用于所有UML建模的系统。用创新性地结合图论知识,对用例图和序列图进行抽象,定义了相应的测试覆盖准则以生成测试用例。通过两级遍历,自动生成系统测试向量,并且达到所提的系统测试覆盖率的要求。能够覆盖所有用例、用例依赖性、以及交互中所有的消息序列。实现最大化的覆盖范围。

基于遗传算法的测试用例自动生成方法综述

基于智能优化算法的测试用例生成是自动化测试领域的研究热点,在目前的群体智能优化算法中遗传算法应用最为广泛。从四个方面总结了遗传算法在用例数据生成中的应用:改进遗传算子、改善适应度函数、融合其他算法以及并行遗传算法。在此基础上,提出了遗传算法在用例生成应用中面临的三个关键问题,为其他智能优化算法的改进提供参考,并对基于遗传算法的测试用例生成问题的未来研究方向做出展望。

基于IFML元模型自动生成RIA用户界面测试用例研究

最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段。然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本。文章给出一种基于IFML元模型自动生成RIA用户界面测试用例的方法。首先,通过Eclipse IFML编辑器建立RIA用户界面的IFML元模型;然后,分别阐述了将IFML元模型转换到测试用例、时间自动机的转换规则,并通过转换引擎生成对应文件;其次,通过UPPAAL对生成的自动机导航模型进行死锁和可达性验证;最后以实例进行了方法验证。

基于组合的业务分析及自动生成用例的方法

给出了一种可自动生成用例的业务分析方法.用组合表的方法分析业务,充分考虑了相关联业务的各种取值及各种影响关系,在避免重复用例的情况下大大增加了测试用例的覆盖度,保证了被测系统的质量.根据上面的算法,在计算机中实现了软件原型,在具体业务中,将通过组合分析所产生的业务分析表导入到程序中,通过自动分析,得出基于组合和组合规则的测试用例.

基于SEH的漏洞自动检测与测试用例生成

SEH即结构化异常处理,是Windows操作系统提供给程序设计者处理程序错误或异常的途径。然而SEH的链式处理方式使得程序中可能存在相应漏洞。针对该问题,为提升程序安全性,提出一种基于SEH的漏洞自动测试用例生成方法。首先判断程序是否存在基于SEH被攻击的漏洞风险性,若存在则构建和调整测试用例约束,并自动求解生成相应测试用例。该方法一方面扩展了当前的自动测试用例生成模式,另一方面可在GS保护开启时仍能生成有效测试用例。最后通过实验验证了该方法的有效性。

基于MBD模型自动生成测试用例的软件测试方法

在安全关键软件领域应用基于模型的开发技术时,存在着软件测试充分性的问题。提出了一种基于MBD模型自动生成测试用例、对航空发动机控制软件进行测试的新方法。通过使用MathWorks提供的自动生成测试用例工具箱(SLDV),基于FADEC控制软件的Simulink模型,自动生成满足控制软件模型MC/DC覆盖率100%的测试用例,并在Cppunit测试框架下执行测试用例;通过对比模型输出和测试输出来发现被测对象的问题,确保软件代码与模型的一致性。项目实践表明,该测试方法是软件集成测试的有益补充,提升了软件测试的充分性。

面向高可信软件的整数溢出错误的自动化测试

面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法(dynamic automatic integer-overflow detection and testing,简称DAIDT).该方法无需任何源码甚至是符号表支持,即可对二进制应用程序进行全面测试,并自动发现高危整数溢出错误.在理论上形式化证明了该技术对高危整数溢出错误测试与发掘的无漏报性、零误报性与错误可重现特性.为了验证该方法的有效性,实现了IntHunter原型系统.IntHunter对3个最新版本的高可信应用程序(微软公司Windows 2003和2000 Server的WINS服务、百度公司的即时通讯软件BaiDu Hi)分别进行了24小时测试,共发现了4个高危整数溢出错误.其中3个错误可导致任意代码执行,其中两个由微软安全响应中心分配漏洞编号CVE-2009-1923,CVE-2009-1924,另一个由百度公司分配漏洞编号CVE-2008-6444.

基于配置前置约束算法的NP测试系统的研究

本文在介绍了现有主流自动测试系统的相关技术基础之上,针对网络处理器的工作特点,设计了一款具有基于配置前置约束的用例自动生成算法的关键字驱动的NP自动化测试系统.实现了从测试用例自动生成、测试序列自动生成、自动执行测试到输出测试结果的全自动NP测试系统框架,在实际对比应用中,由于采用了用例自动生成技术,该测试系统在测试效率和检出问题方面均比原有半自动测试系统有大幅度的提升,并取得了良好的应用效果.

基于自定义通信协议的动态测试技术研究

本文针对受安全性限制的自定义通信协议的动态测试难题,通过对协议的特征进行分析,研究协议动态测试通用技术,从协议模板定义、用例生成、动态交互、即时调用三方库等方面进行方法研究。找到了解决自定义通信协议动态测试问题的方法,并且该方法通用于所有协议的测试应用。

基于Subversion的回归测试工具的研究

针对回归测试中存在的一些问题,设计了一个基于subversion的回归测试工具;整个系统中利用subversion的对比功能实现自动分离回归测试中更改代码的功能,同时还集成了Dependency Finder和String Template两个开源工具来分别实现该工具中依赖分层算法和测试用例自动生成等主要功能;通过仿真实验发现,该工具很好地解决了回归测试中存在的分离被更改代码困难以及繁重的人工编写测试用例的问题,在一定程度上减轻了回归测试中测试人员的劳动强度,并且通过依赖分层算法的应用,提高了回归测试的效率。