《2022年面向对象语言编译器自动测试工具 .pdf》由会员分享，可在线阅读，更多相关《2022年面向对象语言编译器自动测试工具 .pdf（5页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、文章编号autOmatictesting收稿日期;20011127作者简介;黄湘武( 1970-)男硕士生;陈英( 1954-)女教授.鉴于传统的手工测试无法满足高效率和高质量编译器的开发要求使得自动产生测试用例及自动执行测试过程成为编译器测试研究的趋势.编译器测试方法一直备受开发人员和研究人员关注已有的一些编译器测试方法大都针对面向过程语言编译器.近年来由于面向对象语言的流行和应用面向对象语言编译器测试方法也在不断发展.面 向 对 象 编 译 器 测 试 工 具 简 称O-OCTT实现了C+ +编译器测试用例的自动生成及测试过程的自动化.作者针对面向对象语言编译器的自动测试问题研究了O-OC
2、TT的 测 试 策略,测 试模 式 和体系结构.1O-OCTT系统目标O-OCTT针对流行的面向对象语言ANSIC+ +测试方法定位于对编译器兼顾宽度测试和深度测试的确认性测试系统功能支持测试用例的自动生成和输出及自动控制执行.系统目标定位如下;D测试用例自动生成.系统能由用户根据目标机的特性和测试要求定制产生测试用例;保证测试用例的正确性;宽度测试支持对ANSIC+ +较全面的语法语义覆盖;深度测试支持测试用例的随机性名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 1 页，共 5
3、页 - - - - - - - - - 和任意性测试自动执行控制系统既能完成自动触发运行测试用例9也能人工干预测试过程9自动进行测试过程的信息采集9自动比较分析并报告测试结果系统界面友好9易操作9既提供图形界面9又提供命令行操作系统设计灵活9可方便地增加新的功能和扩充新的语言特性9而不破坏原系统的结构系统 约束,测 试 用例 具 有 代 表 性9覆 盖 面 向对象源程序的主要特点9生成的测试用例规模适当9以保障编译器的正常运行和适应编译器运行环境9测 试 结 果 具 有 可 判 定 性9 0 -0 CTT适 应 的 环 境,W1ndowS ( NT 9 9X92OOO 9UNIX9LINUX测
4、试用例产生策略,用例能尽可能多地找出编译 器中的bug(用例要有一 定的 复 杂 性9用例 既 要有宽度覆盖9又要有深度覆盖19用例的产生既要有随机性9又要有系统性9用例规模适当9仅产生有效用例9方便生成测试日志9测试结果的可判定性9方便 追 溯 问 题 的 起 源9快 速 查 找bug 9适 当 兼 顾 复 用机制2O-OC 设计模式与测试支持过程2. 1传统的编译器测试模式传统的编译器测试模式如图1所示2其测试过 程 是9首 先 根 据 源 语 言 的 语 法 规 则9按 照 某 种 算法9设计测试程序生成器9该测试程序生成器能自动产生测试程序(测试用例然后用待测的编译器编译这些测试用例由
5、于自动产生的测试用例中包含期 待 的 测 试 结 果9因 而9运 行 这 些 编 译 好 的 测 试 程序9将其运行结果与期待的结果进行比较9即可得出测试结论这种编译器测试模式下若选择适当的测试来覆盖语义因此只能用手面向对象语言编译器自动测试工具名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 2 页，共 5 页 - - - - - - - - - 若在测试过程中增加一个性能稳定的参考编译器,问 题则可迎刃而解.面向对象编译器测试模式( O-OCTT测 试 模 式) ,就 是 基 于
6、这 一 思 想 对 传 统 的 测试模式进行了改进.O-OCTT测试模式在产生测试用例时,既考虑了宽度测试,又考虑了深度测试,同时,在测试用例中不包含期待的测试结果.测试过程如图2所示,根据面向对象语言语法规则,使用一种随机算法,设计测试程序生成器,随机产生测试程序(即测试用例) ,然后用待测编译器编译该测试程序.若编译通过,再在目标机上运行,得到一个运行结果.另一方面,用一个性能稳定的参考编译器编译同一测试程序,在同一目标机上运行,得到另一个运行结果.比较两者运行结果,得出测试结论.卷名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - -
7、 - 名师精心整理 - - - - - - - 第 3 页，共 5 页 - - - - - - - - - 参考文献,1Sandhu R,Coyne E,Feinstein , et al.Role -basedaccess controlmodel J.IEEEComputer ,1996, 29( 2D, 38-47.2SandhuR,FerraioloD,KuhnR.TheNISTmodelfor role -based access control , Towardsa unifiedstan-dard Z .TheFifthACMWorkshopon Role -BasedAcces
8、s Control , Berlin , 2000.3Sandhu R, Munawer. The ARBAC99 model for ad-ministrationof roles EB/ OL .http ,www . list .gmu . edu/ conference -papers . htm ,2000-11-01/2001-03-08.4Goh C,BaldwinA.Towardsa more completemodelof role Z.The ThirdACMWorkshopon Role -BasedAccess Control , Fairfax , VA ,1998.
9、5MoffettD,LupuC.Theuses of rolehierarchiesinaccess control Z.4thACMWorkshopon RBAC ,Fairfax , VA , 1999.6OsbornS, Sandhu R, Munawer.Configuringrole -based access controlto enforce mandatoryand discre-tionaryaccess controlpolicies J.ACMTransactionsonInformationand SystemSecurity ,2000, 3, 85 -106.(上接
10、第610面D4结束语面 向 对 象 语 言 及 其 编 译 器 的 特 点 决 定 了O-OCTT系统的目标定位.基于明确的系统目标, O-OCTT没有采用传统的测试模式,而是采用了新的测试模式O-OCTT测试模式. O-OCTT的插件式设计,使其可用于多种面向对象编译器的测试,而不仅仅局限于C-编译器,提高了系统的通用性.参考文献,1郑人杰.计算机软件测试 技 术 M .北 京,清 华 大 学 出版社, 1992.ZhengRenjie . Computersoftwaretestingtechnology M .Beijing , TsinghuaUniversityPress ,1992
11、. ( inChinese D2BoujarwahA S, Saleh K .Compilertest case genera-tionmethods , A surveyand assessment J.Informa-tionand SoftwareTechnology, 1997, 39, 617-625.3BoujarwahA S, Saleh K , Al -Dallal J. Testingsyntaxand semanticcoverage of Java language compilers J.Informationand SoftwareTechnology,1999, 4
12、1, 15-28.4Chen uoyan , Tse T , Deng yuetang .ROCS , Anobject -orientedclass -level testingsystem based on therelevantobservablecontextstechnigue J.Informa-tionand SoftwareTechnology , 2000, 42, 677-686.5舒智勇,包晓露,焦跃 等.软件测试自动化技术与实例评解 M .北京,电子工业出版社, 2000. 40-50.Shu Zhiyong , Bao xiaolu , Jiao yue . Soft
13、waretest au-tomationtechnologyandcase study M .Beijing ,Publishingouseof ElectronicsIndustry ,2000. 40-50. (in Chinese D416北 京理 工大 学 学报第22卷名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 4 页，共 5 页 - - - - - - - - - 面向对象语言编译器自动测试工具作者：黄湘武， 陈英， 霍欣刚， 严伟作者单位：北京理工大学,计算机科学与工
14、程系,北京,100081刊名：北京理工大学学报英文刊名：JOURNAL OF BEIJING INSTITUTE OF TECHNOLOGY年，卷(期)：2002,22(5)被引用次数：4次参考文献(5条)1. 舒智勇;包晓露;焦跃软件测试自动化技术与实例评解 20002. Chen Huoyan;Tse T H;Deng YuetangROCS: An object-oriented class-level testing system based on therelevant observable contexts technique外文期刊 2000(10)3. Boujarwah A
15、S;Saleh K;Al-Dallal JTesting syntax and semantic coverage of Java language compilers外文期刊 1999(1)4. Boujarwah A S;Saleh KCompiler test case generation methods: A survey and assessment外文期刊19975. 郑人杰 计算机软件测试技术 1992引证文献(4条)1. 饶彦. 陈伟 基于编译器控制流结构测试用例的生成期刊论文-计算机时代 2005(4)2. 杨乔 逻辑组态软件中编译器的设计与实现学位论文硕士 20053. 陈英. 黄菲. 么博迪 . 史晋. 孙文灿 O-OCTT的多语言功能扩展研究期刊论文-北京理工大学学报 2004(9)4. 孙文灿. 陈英. 史晋. 黄菲 O_OCTT平台测试用例的自动生成期刊论文-计算机应用 2003(12)本文链接： http:/ - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 5 页，共 5 页 - - - - - - - - -