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

2009年第7期 计算机系统应用 TTC N一3编译器测试用例自动扩展生成① AutomaticExtensionandGenerationofTestCasesforTTCN一3 ler Compi 吴文娟1 蒋凡i任峰2金鑫1 (1．中国科学技术大学计算机科学技术系安徽合肥230027；2．鼎桥通信技术有限公司上海201206) 摘要：针对目前编译器采用手工测试方式存在出错率高、测试覆盖难以度量等问题，以TTCN一3语言编译器 为例，在对TTCN一3核心语言进行等价类划分的基础上。手工编写黑盒测试用例作为输入，收集并求 解被测TTCN一3编译器源码中的每个条件，据此修改由参考编译器生成的对应语法树相关结点。扩展 生成新的测试用例。实验表明：根据对被测编译器源码中的条件收集而自动扩展生成的测试集，不仅 可以提高测试集的正确性，还可以保证对被测编译器实现的条件覆盖。 关键词： 丌CN一3编译器测试自动化测试约束求解条件覆盖语法树 1 引言 运算符、8种流程控制语句和函数，通过概率算法指 and TestControlNotation定生成测试用例过程中各语言元素出现的概率来生成 TTCN一3(Testing versionJ)是欧洲电信标准协会盯SI于2001年推出 最终测试用例【2】。针对java编译器提出的自动化测试 的新一代协议与软件测试标准。作为一种全新的测试 首先生成测试用例框架，继而生成控制流、最后补全 描述语言，其应用领域越来越广泛。使用该语言需要 其余字节码。 一个丌CN一3编译器。编译器作为一种系统级软件， 由于TTCN一3语言文法定义较之上述几种高级语 对可靠性和稳定性要求比一般的应用软件高很多。传 言规模庞大，语言元素更为丰富，上述几种方法均不 统的软件测试用于编译器这种可靠性要求较高的软件 太适用。本文提出了一种新的测试用例自动生成方法： “IFCN一3 Automatic 存在诸多不利因素，如：测试用例设计开发周期长、 Compiler Testing”(以下简 手工生成的测试用例错误较多、测试覆盖度量难以判 定等。 心语言及BNF范式进行等价类划分，由测试人员为每 本文提出一种针对丌CN一3编译器测试用例自动 一个等价类手工编写一个黑盒测试用例(假定该测试 扩展生成的解决方案，该方法也适用于各种编译器测 用例语法语义均正确)，作为被测编译器输入，收集被 试用例的自动扩展生成。 测编译器源码中的条件约束并进行约束求解f3J：然后 将每个黑盒测试用例作为参考编译器输入，进而生成 2问题描述 一棵语法树，最后根据求解出的条件结果修改这棵语 目前，有关编译器自动化测试的研究成果和技术 法树的相关结点，据此扩展生成新的满足被测编译器 日趋成熟，但基本上集中在对常用高级语言C／C++、源码条件覆盖的测试用例。 java等编译器的研究领域【1．2】。而且大部分研究成果从 特定语言的特性出发，提出的测试自动化解决方案都 3丌CN一3编译器自动测试框架设计 有一定的局限性。 TCAT自动测试框架分为三部分： 其中，文献11】针对C编译器的自动测试设计思想 (1)手工编写的黑盒测