基于STAF的自动化测试工具的研究和设计

以软件的回归测试自动化作为研究的重点,首先针对回归测试的特点,选择开源的自动化测试工具STAF,然后基于这个工具,提出一个可适用回归测试的自动化测试工具模型ATT.该自动化测试工具提高了自动化测试的开发和执行效率.同时,该工具也提供了标准、易用的扩展接口,其良好的可扩展性能够让测试人员方便的添加测试组和测试用例.     

PDF阅读器字体解析引擎的测试方法

PDF文档具有良好的移植性且应用广泛,常被用作恶意代码的载体。PDF文档具有严格的格式校验,对结构复杂的PDF阅读器进行模糊测试时,传统随机模糊测试效率较低。现有基于文件格式的灰盒模糊测试,由于模型描述语言能力不足,难以针对某种文件格式构建统一的数据模型。该文针对PDF阅读器字体解析引擎提出一种批量化构造测试用例的方法。通过对字体文件重构和添加辅助信息方式,构造格式统一的测试用例,对TrueType格式文件构造统一数据模型。在此基础上,开发了模糊测试工具并对20余款PDF阅读器进行了测试,触发了大量崩溃。结果表明:该方法可以有针对性地构造测试用例,并有效地挖掘PDF阅读器中的缺陷。     

软件测试管理系统设计

近年来,随着软件规模的不断扩大,传统的手工测试方法已严重影响了软件的发展,它不但需要投入大量的人力、物力和时间,最终还是由于测试的工作量太大,而无法保证软件测试的充分性,从而无法保证软件的质量。企业对软件测试的过程越来越重视,但是目前适合中小企业的软件测试文档管理系统还不是太多。为满足这方面的需求,利用软件开发中瀑布模型的设计方法和面向对象的技术设计,实现了对软件文档和测试用例等进行管理。在实际应用中,通过系统对测试的管理,可以更加方便地对软件进行测试,对测试文档进行统一管理。     

基于XML描述校验规则的数据输入测试用例自动生成方法

采用自动化测试技术是节省软件测试开销、提高软件测试工作效率的重要手段,测试用例设计、测试脚本编写是自动化测试技术的关键。本文介绍的数据输入测试用例自动生成方法,基于数据输入界面有XML描述的校验规则,根据校验规则自动生成大量测试用例数据,并可根据实际需要对测试用例数据的数量、覆盖范围进行控制。．本文还介绍了自动生成测试用例数据的工具软件,及所生成的测试用例在自动化测试工具中的运用方法,从而解决了大量测试数据准备、测试覆盖率、测试执行的相关问题,使用本文介绍的方法,将能在数据输入测试时大大节省测试成本,提高测试精度。     

C语言软件错误定位的测试用例库构建

文章主要开发一个用于软件错误定位的测试用例库.该测试用例库具有标准化、复用性、版本管理和统一管理这几个特性,构建过程首先是确立了分类的标准,这里采用了三级分类的模式进行管理,通过分类产生了树形管理结构.然后对测试用例中的源代码文件进行了编码以及说明标签的填写,从而生成标准化的测试用例,不断完善测试用例库.同时,根据系统的更新对测试用例进行修改和维护,保持测试用例库的版本与当前系统版本的一致性.     

一种测试用例精简与自动生成方法

为了保证软件质量,在开发过程中引入了多种软件测试技术,需要手工构造大量的测试用例,覆盖软件的功能点。但是手工构造测试用例,工作效率低,并且很难命中所有的功能点,尤其是功能点组合的情况。为了提升软件的测试覆盖率、降低人工成本,本文提出了一种测试用例精简与自动生成方法。该方法根据业务场景分类业务数据,构造功能点组合矩阵,归并、精简业务场景之间的功能点组合矩阵,再执行生产请求,匹配功能点组合矩阵,自动生成测试用例,从而聚焦核心功能点、提升软件的代码测试覆盖率,达到提升软件质量和安全、降低人工成本、提升团队交付能力的目的。     

模糊关系在软件系统测试中的应用

基于黑盒技术在分布式软件系统测试中的应用,提出了系统位态和预期位态的概念．在执行系统测试时,测试用例对系统位态具有控制作用,系统位态与相应的预期位态则表现出模糊性,运用模糊蕴涵逻辑进行研究得到了如下结果：测试用例对预期位态的作用关系是模糊控制关系,其控制程度取决于软件的质量;基于这种模糊控制关系和模糊推理规则,得到了被测软件通过测试的标准值,使测试通过的判定得以量化;文中还得出了量化的系统测试通过准则,并将其应用于自动化测试工具的改进,有效地提高了测试效率。降低了测试成本．     

基于源代码分析的软件静态测试

介绍了现代源代码分析技术中使用的安全规则,并对此技术可以测试出的软件中存在的内存管理、变量未初始化、空指针引用、数组访问越界或异常四类主要代码缺陷和缓冲区溢出等安全漏洞类缺陷几大问题做了研究。通过介绍一个基于源代码分析的静态测试工具Klocwork,提出了基于源代码分析技术的静态测试过程的四个阶段并对其进行分析,总结了其应用到大型航天软件中存在的一些问题,并说明解决其相应难题还需要准备进一步的研究工作。     

基于因果图方法的测试工具的实现

因果图法是一种有效的功能测试方法，它能发现程序与外部说明书之间的差异，指出功能说明书的不完整性和二义性，它可以帮助人们系统地选择一组高效的测试用例，本文详细介绍了基于此方法开发的一个测试工具，该工具是由用户接口，数据转换，统计测试信息和判定表生成四个模块组成，同时介绍了因果图的物理存储和回溯策略等实现技术，最后对这一系统的实用性做一评价。     

能提高错误检测能力的回归测试用例集约简

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,使得回归测试费用大幅度增加.为降低回归测试成本,需对回归测试用例集进行约简.现有的测试用例集约简方法不仅缩小了测试用例集的规模,同时也可能削弱了错误检测能力.本文提出了一种新的约简方法,该方法在约简回归测试用例集的时候综合考虑测试用例的测试覆盖度、测试运行代价和错误检测能力3个因素.通过仿真实验表明该方法在有效约简回归测试用例集的同时能保证约简后的测试用例集的错误检测能力.     

基于AI规划的测试用例自动生成

随着软件在关键性系统中的大量应用,为避免造成灾难性的后果,必须对软件进行测试.但是,当前使用的测试方法常常需要测试人员手工开发测试用例,非常费时费力.本文介绍了基于AI规划的测试用例生成方法,通过初始状态和目标状态描述软件的典型使用情况,以此作为输入,能够自动地生成测试用例.     

BBFuzz:一种基于输入结构感知的协议模糊测试方案

几乎所有需要通信的系统都离不开协议的设计,若协议栈存在漏洞,攻击者可以通过 Zero-Click 的方式达成拒绝服务攻击、信息窃取甚至是远程代码执行.协议消息具有一定的结构、语义、时序等要素,通用型模糊测试工具很难有效地对服务端进行模糊测试.近年来,有不少灰盒协议模糊测试的研究工作,其中比较具有代表性的工作是AFLNET,然而这些研究工作对服务端状态机的覆盖依赖于初始种子集的覆盖面.本文首先分析了AFLNET无法完善处理二进制格式协议的缺陷,并提出了BBFuzz,一款基于人工编写的数据模型进行测试用例生成的协议模糊测试工具.BBFuzz能够在仅有一个初始输入的情况下,快速为种子队列提供众多感兴趣的种子文件,并且这些种子文件能够覆盖到较为全面的服务端状态.同时,BBFuzz能够很好地支持两种不同类型的协议的模糊测试,即人类可读的ASCII格式和二进制格式的协议.本文实现了BBFuzz对RTMP协议的支持,并在两款知名的流媒体软件的RTMP模块上评估BBFuzz.评估结果表明,BBFuzz在map density和paths上的表现都优于AFLNET.对于RTMP模块,本文在ZLMediaKit和media-server上分别挖掘到一个真实的漏洞,并且这两个漏洞都已经被分配了HIGH级别的CVE编号.     

一种实现NGOSS分布式自动化测试的方法

为了测试复杂的新一代运营软件和系统(NGOSS),对NGOSS的体系架构和现有的分布式自动化测试方法进行了研究。针对NGOSS的特点,综合现有的分布式自动化测试方法理论,提出了一种适用于NGOSS的分布式自动化测试方法(DATS),该方法主要利用开源的软件测试自动化框架/执行引擎(STAF/STAX)实现测试用例与测试框架的分离,自动分发并执行测试用例,监控运行过程以及自动收集测试结果和日志,最后由测试代理机发送结果和日志到控制中心,显示给开发和测试人员。该方法解决了测试工具的跨平台性差、可扩展性低、软件缺陷追踪难及日志管理复杂等问题。通过原型系统验证了该方法的有效性。     

一种分布式可视化Dubbo接口测试平台

随着互联网金融的发展,金融业务变得更加复杂,产品功能迭代更加快速.为了支持业务的发展,金融应用开始进行支持Dubbo协议的开发.现有的接口测试框架和工具在支持Dubbo协议、多人协作及测试用例维护及数据分析上都存在问题:首先,没有很好的工具支持Dubbo协议的测试,已有的Dubbo测试框架无法很好地推广;其次,复杂业务会涉及多个应用,目前的框架很少考虑多系统间的自动化配合;再次,单机版自动化测试工具或纯编码方式的自动化测试框架不利于多人协作编写自动化测试用例及脚本的维护;最后,数据分析一般是查看单个子系统测试用例的执行结果,无法很好地对数据进行全局分析.为了更好地管理大批量用例及支持多子系统版本迭代,在已有老框架基础上,使用分布式技术设计并实现了一个灵活的可视化的Dubbo接口自动化测试平台:基于界面操作,提供基于可视化的数据驱动及关键字驱动方式,支持编写复杂测试用例,并基于接口解析的方式,自动生成测试用例.详细表述了可视化的Dubbo接口测试平台的架构、用例管理及用例执行;展示了新平台与老框架的耗时对比、用例增长对比和新平台日常自动化执行情况.     

基于MC/DC的测试用例优先级算法研究

回归测试过程往往需要执行大量的测试用例。为减少回归测试工作量,可以使用测试用例优先级技术。介绍了MC/DC测试用例优先级算法,通过对MC/DC测试用例集中的测试用例进行优先级排序,使高优先级测试用例比低优先级测试用例在回归测试过程中优先执行,可以更早地发现软件错误和满足代码测试充分性要求,减少回归测试的工作量。     

面向对象软件回归测试选择策略

回归测试在软件维护阶段是一个重要且必须的一个工作,它为修改后的软件的正确性提供保证,回归测试选择技术是选择已存在的原有程序的测试用例集构成新的测试用例来测试修改后软件,通过对已存在测试用例集,选择有限测试用例对修改后软件测试可以减少测试周期和测试成本.提供了一个面向对象软件选择策略测试方法,对修改前软件和修改后软件创建类关系图,利用该模型进行测试,这种选择策略确保软件质量是有效,经济,安全的.     

一个基于FSM测试自动化方案与实现

测试自动化是软件测试追求的目标.文章对一个基于FSM测试自动化方案及实现开展研究,给出了基于FSM的测试用例自动生成、测试用例自动执行以及结果自动比较的过程,并提出实现方法;以项目CQMIS为例,使用自动化测试工具RFT,依据提出的基于FSM测试方案实施自动化测试,效果良好.     

IP数据包传输稳定性测试技术研究与开发

针对IP数据包在大型网络上传输可能遇到的数据包时延、数据包重复、数据包丢弃、数据包顺序偏移、数据包错误等多种损伤或情况，研究了IP数据包传输稳定性测试技术，提出了适用于网络设备IP数据包传输稳定性测试的测试用例设计方法并进行测试用例设计，开发了传输稳定性测试工具，运用该工具对网络设备IP数据包传输稳定性进行了测试。     

IP数据包传输稳定性测试技术研究与开发

针对IP数据包在大型网络上传输可能遇到的数据包时延、数据包重复、数据包丢弃、数据包、顺序偏移、数据包错误等多种损伤或情况，研究了IP数据包传输稳定性测试技术，提出了适用于网络设备IP数据包传输稳定性测试的测试用例设计方法并进行测试用例设计，开发了传输稳定性测试工具，运用该工具对网络设备IP数据包传输稳定性进行了测试。     

MapX控件在GIS中的应用研究

MapX是MapInfo公司提供的具有强大地图分析功能的ActiveX控件产品.利用MapX,能够简单快速地在软件中嵌入地图化功能,增强软件的空间分析能力.利用Visual Basic 6.0与MapX控件可轻松开发出GIS应用程序,因此,可将该控件用于城市地下综合管网管理系统及物流管理等系统中.