基于Clang编译器前端的程序结构分析器的设计

来源 :西安理工大学 | 被引量 : 0次 | 上传用户:liucm001
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
全球信息化快速推动了中国软件产业的不断发展,极大地促进了软件测试业的进步,但在软件测试的认识、软件测试技术、软件测试商业化等方面,目前中国的软件测试业与欧美还存在很大差距。国内许多IT公司只是注重编码实现,忽略了软件测试在整个工程中的重要性。从整个软件开发生命周期的角度来看,将来软件测试应该跨越整个软件开发生命周期,并起着至关重要的作用。  本文基于当前流行的Clang编译器前端,在抽象语法树生成的过程中运用不同的规则标识各语句结构,同时进行中间结构的改造以及块结构的校正,得到相应的、赋有实际意义的代码块,形成一个有效的、高正确性的程序结构分析器。分析的结果将服务于可视化图式的生成,主要包括展示各个类、函数之间程序逻辑关系的框图和用于显示软件系统结构(模块之间调用关系)的模块结构图等。同时将代码分块的设计过程扩展到插桩点的生成中,便于双向自动可追溯机制的研究,用于需求文档、实现代码、测试用例之间的关联性呈现;减少软件修改后回归测试的盲目性;提高测试覆盖率分析结果的可靠性。  本文提出基于源码的程序结构分析和代码分块的方法,为软件测试理论到实践的应用打下了一个坚实的基础。通过对程序结构分析器的设计,更重要的为实现一个完整的既有理论基础又可以达到商业目的的、综合性的白盒测试工具奠定坚实的底层数据支持。
其他文献
本文从探讨如何将业务需求映射到软件系统出发,提出了面向ERP的企业模型,并对模型的核心要素进行了讨论。该模型针对企业的业务模型和软件模型建立了相应的映射关系,同时借
本文针对大规模异步分布式系统环境对失效检测方法进行了研究。首先详细介绍了失效检测的理论基础。并以此为基础对现今国内外常用的大规模失效检测方法进行了详细的
本文在双机容错体系的基础上,结合集群系统的高可用框架理论,建立了适合于网络容错服务器的高可用系统模型;分析了该模型中各抽象元素的状态变化:从抽象层次阐述了双机容
本文主要针对中国手语4942个手势词以及由这些手势词组成的543个连续手势句子进行了识别算法的研究,在此基础上实现了特定人的手势词和连续语句的在线实时识别.研究重点是解
集群式供应链作为一种新型的供应链组织模式,比传统的供应链具有明显的优势,如进行大规模定制化生产,降低成本,提高集群企业利润、市场竞争力和创新能力以及客户满意度等等。它是
随着计算机辅助设计技术的发展,通过实物模型产生数字模型的逆向工程技术获得了越来越广泛的应用。为了得到被测物体的完整数据模型,需要确定一个合适的坐标变换,将从各个视角得
本文的重点主要集中在特征点的匹配和多视角关系的校正.主要完成以下两方面的工作:(1)特征点匹配算法的设计.将特征匹配和极线几何估计有机的结合起来,给出一种基于组合优化
神经网络的输出对参数扰动的敏感性是神经网络设计和实现中的一个重要问题。参数的扰动对网络的输出会有怎样的影响?如何度量神经网络对参数扰动的敏感程度?本文着重计算和分
本课题针对我国海运行业业务面广,业务流程变化快,数据量大,业务系统开发工作量大、周期长以及业务数据的共享、抽取、分析,完整性、安全性的保持及高效的事务处理等问题提出
本文对网络测量、网络带宽测量的历史进行了回顾。按照测量方法的组成部分对带宽测量方法进行分类,突出了测量方法的特点,指出了各种测量方法的适用条件、技术原理和局