一种编译优化测试用例自动生成方法设计与实现.pdfVIP

小型微型计算机系统 2009年1月第1期 ofChinese V01．30No．12009 Journal ComputerSystems 一种编译优化测试用例自动生成方法的设计与实现 曾伟明1’3，薛云志2”，赵琛1’2，贺也平1 1(中国科学院软件研究所基础软件国家工程研究中心，北京100080) 2(中国科学院软件研究所互联网软件技术实验室，北京100080) 3(中国科学院研究生院，北京100080) E—mail：zengweiming@ercist．iscas．ac．cn 摘要：编译器的质量保证对提高软件产品的质量有着重要作用，对编译优化的测试是其中的核心部分．对编译优化的测试需 要大量的测试用例程序．要构造这些测试用例，使用传统手工构造方法面临着效率低的问题，而基于文法的构造方法则针对性 不足．从对优化的形式化描述出发来自动构造测试用例能克服这些缺点．本文设计并实现了一种基于形式化描述的编译优化测 试用例程序生成方法．该方法基于编译优化的时序逻辑描述构造关键顶点控制流图，逐步转换为控制流图并得到用例程序．针 对GCC(版本4．1．1)进行的覆盖率测试实验表明，该方法可以生成具有较高针对性的测试用例，并达到相当的覆盖程度． 关键词：编译器测试；覆盖率；编译优化；时序逻辑；测试用例 中图分类号：TP311 文献标识码：A 文章编号：1000—1220(2009)01—0013—06 and ofanAutomaticTestCaseGenerationMethodfor DesignImplementation CompilerOpti- mization ZENG 1，3，XUEYun—zhi2’3，ZHAOChenl’2，HE Wei—ming Ye—pin91 1(National ResearchCenterforFundamentalSoftware，InstituteofSoftware，Chinese 100080，China) Engineering AcademyofSciences，BeOing Internet 100080，China) 2(Laboratoryfor SoftwareTechnologies，InstituteofSoftware，ChineseAcademyofSciences，Beijing 3(GraduateSch001．Chineseof 100080，China) AcademySciences，Beijing a the itscor— isvitaltothesoftware common compilertO Abstract：Compilerquality development．It’Swaytesting guarantee modulesare ofa modules a numberoftest rectness．Optimizationimportantpartscompiler．Testingoptimizationrequiresgreat cases．Handcodedtestcasesresultin based testcasesareinlackofac— automatically low．productivity