面向对象语言编译器的自动测试平台

提出了一种新的面向对象语言编译器自动测试的方法和过程,并在此基础上设计开发了面向对象编译器自动测试工具(O_OCTT)。测试用例的自动生成是编译器自动测试工具的核心,介绍了C 编译器测试用例自动生成的手段和方法,阐述了。O_OCTT设计与实现过程中的关键技术。     

O_OCTT平台测试用例的自动生成

对面向对象语言编译器测试用例的功能和质量要求进行分析，提出了O_OCTT自动生成测试用例的两种方法：任意代码生成法和模板法。其中对任意代码生成法中的函数调用循环链问题作了深入的探讨，提出了前向调用的解决方案。     

TTCN-3 编译器测试用例自动扩展生成

针对目前编译器采用手工测试方式存在出错率高、测试覆盖难以度量等问题,以TTCN-3 语言编译器为例,在对TTCN-3 核心语言进行等价类划分的基础上,手工编写黑盒测试用例作为输入,收集并求解被测TTCN-3 编译器源码中的每个条件,据此修改由参考编译器生成的对应语法树相关结点,扩展生成新的测试用例。实验表明：根据对被测编译器源码中的条件收集而自动扩展生成的测试集,不仅可以提高测试集的正确性,还可以保证对被测编译器实现的条件覆盖。     

基于前馈神经网络的编译器测试用例生成方法

编译器模糊测试,是测试编译器功能性与安全性的常用技术之一.模糊测试器通过产生语法正确的测试用例,对编译器的深层代码展开测试.近来,基于循环神经网络的深度学习模型被引入编译器模糊测试用例生成过程.针对现有方法生成测试用例的语法正确率不足、生成效率低的问题,提出一种基于前馈神经网络的编译器模糊测试用例生成方法,并设计实现了原型工具FAIR.与现有的基于token序列学习的方法不同,FAIR从抽象语法树中提取代码片段,利用基于自注意力的前馈神经网络捕获代码片段之间的语法关联,通过学习程序设计语言的生成式模型,自动生成多样化的测试用例.实验结果表明,FAIR生成测试用例的解析通过率以及生成效率均优于同类型先进方法.该方法显著提升了检测编译器软件缺陷的能力,已成功检测出GCC和LLVM的20处软件缺陷.此外,该方法具有良好的可移植性,简单移植后的FAIR-JS已在JavaScript引擎中检测到两处软件缺陷.     

基于交互路径的构件组装测试方法研究

构件组装测试通过组合构件模型来实现,容易产生状态空间的爆炸,且生成用例会重复单元测试的一些工作.针对此问题,提出了通过生成交互路径来进行构件组装测试的方法,并给出了生成交互路径的过程与算法.该方法可以更有效地生成组装测试用例,并能够避免模型组合时状态空间爆炸的问题.实例分析证明,该方法拥有较好揭错能力,计算量小且具有通...     

基于GEP的路径覆盖测试用例生成方法

提出一种基于基因表达式编程(GEP)算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟机完成结果计算,其中有效的结果即所需的测试用例。实验结果证明,该方法能高效、准确地得到覆盖特定控制流路径的测试用例。     

TTCN-3类型系统测试用例集自动生成

针对编译器测试中最为重要的测试用例集构造问题,提出了针对TTCN-3语言类型系统的编译器测试用例集层次化、结构化的自动生成方案。语法方面,严格遵从语言规格说明中的扩展巴科斯-瑙尔范式(EBNF); 语义正确性上,采用定义“元素定义偏序文件”、建立抽象语法树等多种方法加以保证。实验表明新方案极大提高了测试用例集的生成效率,对TTCN-3类型系统语法、语义两方面都达到很好的测试覆盖,增强了发现编译器缺陷的能力。该方案对于其他语言的编译器测试也具有参考价值。     

基于编译支持错误跟踪的测试用例自动化生成方法

测试用例的自动生成是实现测试自动化的重要保障,是验证可信软件的基本方法.在分析现有测试用例自动生成方法的基础上,提出了一种基于编译的错误可跟踪的测试用例自动生成方法.该方法以编译器为依托,通过对其语法和语义进行扩展,将测试需求很好地融入到源程序中参与分析,并利用代码生成器在生成目标代码的同时根据相应的分析结果直接生成对应的测试用例.该方法将测试用例和目标代码生成统一到编译器中,避免了独立的测试用例自动生成工具在获得编译器相关分析结果时而导致的接口开销.同时,通过对源程序行号信息的跟踪,使得测试用例在无法通过测试时能够很快定位出错位置,以方便程序开发者修改.最后,通过一个示例程序说明了该方法的具体实现过程,证明了该方法的有效性.     

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

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

基于遗传算法的黑箱测试用例自动生成模型

介绍基于遗传算法的测试用例自动生成技术,研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法,设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例,避免对程序进行源代码插装,降低对程序源代码的要求,扩展了基于遗传算法的测试用例自动生成技术的应用范围。     

基于pCTL的循环优化测试用例自动生成方法

循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的测试用例对GCC-4.1.1进行覆盖率测试,结果表明该方法可以生成具有很高针对性的循环优化测试用例,并且很少的测试用例即可达到较高的覆盖程度.     

ATS软件的面向对象框架开发

面向对象框架是现代软件工程中一种重要的软件复用方式,不仅提供了代码复用;而且实现了更具有软件生产力意义的设计复用;在ATS(自动测试系统)软件开发中引入面向对象框架开发方法,分析总结了ATS软件领域共性,进行了ATS软件面向对象框架的设计,完成了一个适用于常规ATS软件开发的面向对象框架-ATSSF,并且,基于ATSSF开发了某型空地导弹ATS软件;实践表明,采用面向对象框架开发方法,可大幅度提高ATS软件开发效率。     

正交数组技术在面向对象测试中的应用

根据面向对象测试要求的特点及正交数组技术的特点，提出将正交数组技术应用于面向对象测试中的方法和步骤，并提供一个应用实例来说明如何将正交数组技术有效地应用到面向对象测试中。     

面向对象的方法在移动电话通信仿真测试环境中的应用

该文探讨了面向对象技术在移动通信仿真测试系统中的应用,并介绍了ＳＳＴＥ系统仿真层的设计思想和设计方法。     

Regression testing minimization,selection and prioritization: a survey

Regression testing is a testing activity that is performed to provide confidence that changes do not harm the existing behaviour of the software. Test suites tend to grow in size as software evolves, often making it too costly to execute entire test suites. A number of different approaches have been studied to maximize the value of the accrued test suite: minimization, selection and prioritization. Test suite minimization seeks to eliminate redundant test cases in order to reduce the number of tests to run. Test case selection seeks to identify the test cases that are relevant to some set of recent changes. Test case prioritization seeks to order test cases in such a way that early fault detection is maximized. This paper surveys each area of minimization, selection and prioritization technique and discusses open problems and potential directions for future research. Copyright © 2010 John Wiley & Sons, Ltd.     

基于UML的生成场景测试用例研究

使用UML生成场景测试用例,有利于测试者设计测试用例。使用UML的类图、状态图和顺序图来说明DHCP实例的场景测试用例的生成方法,讨论基于UML顺序图生成场景测试用例的方法,从找出场景到生成测试用例,分析与每一个场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例。结果表明,该方法生成的测试用例数量少,减少了测试工作量和测试用例的重复生成。     

测试用例描述语言研究

软件测试是软件开发生命周期的一项重要活动,也是保证软件质量和可靠性的重要手段。测试用例是软件测试的核心和关键。而迄今为止,在测试领域,还没有统一的测试用例描述语言。虽然目前大量的测试工具引入了测试用例描述技术,但也是五花八门、各自为政,这成为提高软件测试的效率和软件测试复用程度的瓶颈。在对国内外的测试用例描述语言进行了广泛调研后,作了简要的总结。提出了设计测试用例描述语言的准则,同时阐述了测试用例描述技术在嵌入式软件测试领域的应用情况。