编译器的语法分析测试用例生成方法研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:CHJ2000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
编译器是软件开发的基础支撑工具。它的正确性直接影响着应用软件的质量。因此编译器的质量是至关重要的。正如其他软件一样,软件测试对于编译器的开发来说是质量保证和错误检测最为重要的方法。编译器是对程序语言标准关于语法与语义规定的实现,具有复杂的输入空间与软件行为。确保对编译器进行全面的测试覆盖是不可能的,如何生成有效的测试用例集合成为编译器测试的关键问题。编译器测试的测试用例是源语言程序,结构复杂。手工生成方式不仅工作量大,而且难以保证充分的测试覆盖度。自动化的测试用例生成方法可以在一定程度上解决这一问题。所生成的测试用例集应对源语言的语法结构特征、语义属性具有良好的覆盖性。已有的编译器测试用例生成方法大多是基于文法覆盖的生成方法。由于文法覆盖规则对于语言语法结构的描述能力有限,所生成的测试用例集不能足够地揭示语言的语法结构。对此,本文对语言的文法定义进行分析,采用二叉树结构对语言的语法结构进行描述,并按照语法单元相互组合的方式生成测试数据;同时引入语法单元的计算路径长度对所生成的测试用例空间以及生成过程进行控制,给出一种基于计算路径长度的测试用例生成方法。通过调整计算路径长度的取值,这种方法所生成的测试用例集可以包含基于文法覆盖所生成的测试用例集,具有更强地对语言的语法结构覆盖能力。
其他文献
室内移动机器人的定位与避障算法一直是机器人领域内的研究热点,其中定位的鲁棒性主要是指机器人发生异常状况时,对定位功能的自我恢复能力,而避障功能包括对障碍物的检测以及绕
当今社会,经济和科学技术飞速发展,交通运输、金融银行、仓库管理、电力供应以及军事安全等部门对安全防范的需求与日俱增,要求不断提高,进一步促进了视频监控技术的快速发展,但是
量子信息科学是量子力学与信息科学结合的一门新兴学科。量子信息科学采用量子比特来表示量子态。遗传算法是模仿生物自然选择和遗传机理,构造一种随机搜索的计算智能算法。
近年来,随着物联网发展的推进,无线传感器网络得到了非常广泛的应用,比如在智能家居、工业控制、智能交通、智慧城市、医疗卫生、军事国防等。无线传感器网络也正在改变我们的生
本体,按照Gruber的说法,是概念模型的明确的规范说明。它作为人们对领域知识的共同认识和理解,可以用来模拟人类所拥有的知识网络。由于本体对于知识模拟的先进性,其可以用在各种
超分辨率是计算机视觉和图像处理领域的热点问题,在军事,航天,医疗,影视制作等领域有着广泛的应用前景。本文针对超分辨率重构问题,研究了图像超分辨重构方法,视频超分辨率重
新一代红光高清视盘机(Next-Generation Versatile Disc,NVD)在网络化背景下推出网络认证系统(Internet Certification System,ICS),ICS编著软件是该系统的关键环节,提供制作节目光盘
在云计算环境中,通常提供虚拟机监控功能获取虚拟机的运行状态和资源使用情况。然而,现有的虚拟机监控机制着重于对虚拟机进行粗粒度监控或仅针对特定类型的虚拟机进行监控,难以
流形学习和稀疏表示是计算机视觉、模式识别与图像处理领域中的研究热点,近年来受研究者的广泛关注。其中,流形学习的基本假设是图像在高维空间的特征表现往往蕴含着低维流形结
本文旨在解决含有资源组合、约束冲突的任务组合指派问题,使协同工作分工明确具体,各部门高效有序完成协同工作。任务的组合与指派是协同工作需要处理的关键问题,合理的组合和指