C编译器自动测试工具的剖析与移植.pdf

U30Q第20期 计算机T程 2004年10月 VoL303120 October2004 ComputerEngineering 文嘲辱识码lA 中圈分娄号I TP31 ·软件技术与数据库· 文章●■号t2004)20--0095,03 t C编译器自动测试工具的剖析与移植 何霹 (北京理工大学计算机科学与工程系，北京100081) ■赛：软件测试自动化是为了提高测试效率，缩短软件开发周期。陴低溅试成本。c忙gcn对比验证测试模式使测试更加全面且容易实现侧 试过程自动化．用随机的思想和算法，代替。穷举”方法解决证明正确性的问题。 美嘲：软件测试la动化；编译器；测试工具；代码生成；Ctcgcn Detailed and Analysis Transplant Test ofC Automation Compiler Tool(Ctcgen) HEQun Scjenceand Engineering．Bellin910008I) (DepartmentofComputerScicnceandEngineering,BeijingUniversityof sonwamtest andtoshoaenthe aswellto of cycleofsoftware [Abstract]Theobjectiveautomatizaticnistoimproveefficiencyoftesting development andtherandom the reducecostofsoRware reference isintroducedto result resolves testing．InCtcgen．a compiler veri母theoftesting algorithm pmblem test withallthe insteadofthemethod all oftheease point ofenumeratingthings generatedautomaticallycovering oftesting lKeywordslSoftwaretestingautomation；Compiler；Testtoot；TestCaSegeneeation；Ctcgen 编译器是使用频度非常高的系统软件，并且是其所编译 法规则，按照某种算法，设计测试程序生成器，该测试程序 的软件的质量的基础，如何提高编译器的质量一直是编译器 生成器能自动产生测试程序(测试用例k然后用待测的编i币 研究的一个重要方面。目前，世界上对面向过程的编译器自