O-O语言编译器测试用例自动生成算法.pdfVIP

voI．16 2002 2002年第16卷专刊 测试技术学报 Monp ANDMEASUREMENTTECHNoLOGY JOURNALOFTEST o．o语言编译器测试用例的自动生成算法 严伟，陈英，黄湘武，熊希达 1) (北京理工大学计算机科学与工程系， 北京l0008 摘要面向对象语言编译器自动测试工具的一个主要功能就是根据测试的需求目标和既定的测试方法，’ 自动生成面向对象程序语言的测试用例。本文从编译器测试的上述需求定位出发，基于兼顾深度测试和 宽度测试的黑盒测试方法，分析研究了测试用例自动生成所面临的几个主要问题。诸如，全涵盖符合面 c++、ANsIc++)的语法和语义，测试用例的正确性保证和复杂性要求等：探 向对象语言标准(如Is0 讨j，从随机性、任意性方面实现一个满足测试需求的c++测试用例框架的相应算法。这些算法解决了测 试用例中表达式、语句以及其它C++语言要素的生成，以及表达式、语句嵌套和数据结构的任意复杂性 的问题。对于面向对象的编译器自动测试中的主要部分一用例生成器的设计与实现，具有一定的借鉴意 义。 关键字编译器测试：自动测试工具：测试用例生成：面向对象(0一O)： 1．引言 编译器是使用最频繁的系统软件之一，其与别的系统软件较大的区别就在于：编译 程序本身就是一个软件的生成器，编译程序生成的软件是目标代码。因此，通过测试以 保障编译器的正确性的任务尤为重要。对编译程序测试通常是采用一段称为测试用例的 且假设没有错误的源程序，通过对其编译、运行，比较运行结果和预期结果。运行结果 与预期结果的不同之处通常揭示了编译程序潜在的问题，一般是编译程序自身的缺陷。 随着面向对象的理论和技术的日渐成熟，程序设计语言也从以前结构化程序设计语 言转向面向对象的程序设计语言，编译器测试方法也应适应面向对象特性的研究。由于 面向对象的语言比结构化的语言具有更严格的约束，在语法上涉及更多的细节。面向对 象语言的编译程序比结构化语言的编译程序更加复杂。面向对象编译器测试工具 ooCTT的设计和实现是作为对面向对象语言编译器自动测试平台的研究与开发的一种 尝试，其重点是研究编译器测试用例的自动生成方法与实现算法。 用例生成算法目标及设计思想 2．1用例生成算法的目标 对编译器除了考虑常规编译程序的测试点以外，面向对象语言的特点及其对面向对 象机制的支持将成为该类编译程序的重要测试内容。按照侧重点的不同，该类编译器的 测试方法主要有两种：度测试用例和深度测试用例。其中，宽度测试用例主要考虑全涵 盖符合面向对象语言标准(如IsOC++)的语法和语义；深度测试用例主要涉及任意复 杂性的问题。用例生成算法的一个目标是系统测试操作数和操作 符的所有可能集合和任意深度。这是一个组合爆炸的过程。因此，要求系统必须在 随机的基础上采用某种可控的手段进行各种组合，以达到深度测试所要求的任意复杂性。 “可控”的具体含义是： +收稿日期：2002-03．23 万方数据 1236 测试技术学报 2002年6月 (1)生成的测试用例必须是有效用例，不考虑无效用例，即：不能生成存在语法、 语义错误的用例(例如：用例中存在死循环、内存漏洞、永远执行不到的 分支等)； (2)可以根据测试需要生成满足一定条件的测试用例(例如：增加某种数据 或语句类型的出现几率等)。 因此，用例生成算法的目标是：在可控的前提下，自动随机生成面向对象语言 的源程序，其生成的语言结构应该是符合面向对象语言的语法的，同时应该尽量体现各 种语言要素间的关联性，使生成的源文件具有一定的语义。 2．2用例生成算法的设计思想 设计用例生成算法可以从其目标一测试用例的结构着手。任何程序都是