代码规则自动化检查系统的设计与实现

《代码规则自动化检查系统的设计与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、国内图书分类号：TP311．5国际图书分类号：西南交通大学研究生学位论文密级：公开年姓专二零一四年四月二十六日ClassifiedIndex：TP311．5U．D．C：SouthwestJiaotongUniversityMasterDegreeThesisDESIGNANDIMPLEME】NTATIONOFAUTOMATEDCODERULEINSPECTIONSYSTEMGrade：2011Candidate：YangBingEAcademicDegreeAppliedfor：MasterOfEngineeringSpeciality：SoftwareEngi

2、neeringSupervisor：LouXinYuan西南交通大学学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意学校保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。本人授权可以将本论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复印手段保存和汇编本学位论文。本学位论文属于1．保密口，在年解密后适用木授权书；2．不保密吐使用本授权书。(请在以上方框内打，，v”)学位论文作者签名：裼泳呶指导老师签名：日期：加心．川7日期：沙限5·夕．西南交通大学硕士学位论文主要工作(贡献)声明本人

3、在学位论文中所做的主要工作或贡献如下：1、分析并研究静态分析技术中的代码规则检查方法，对常见的几种代码规则检查方法进行对比，在这些代码规则检查方法的基础上，结合用户特定需求，确定了本系统的开发目标及功能需求。2、对代码规则自动化检查系统相关的技术进行了分析与研究，包括：数据库访问采用ORM技术实现对象与关系之间的映射；版本控制引擎实现对代码进行整合并解决代码版本不同带来的各种问题；代码分析引擎实现调用代码分析工具Klocwork和Testbed执行代码规则自动化检查。3、主要参与并实现代码规则自动化检查系统的规则集配置、集成配置及结果展示模块，这些模块都是本系统

4、的核心模块，对这些模块进行了详细分析研究。另外简单介绍了本系统的其它两个模块的实现：我的首页和系统管理模块。4、对代码规则自动化检查系统进行测试与应用，并对测试执行结果进行分析，得出本系统可以使开发人员和测试人员的工作效率得到明显提升的结论，并给出了结果展示。本人郑重声明：所呈交的学位论文，是在导师指导下独立进行研究工作所得的成果。除文中已经注明引用的内容外，本论文不包含任何其他个人或集体己经发表或撰写过的研究成果。对本文的研究做出贡献的个人和集体，均已在文中作了明确说明。本人完全了解违反上述声明所引起的一切法律责任将由本人承担。学位论文作者签名：杨郦姒日期：洲

5、驴、j、『7西南交通大学硕士研究生学位论文第1页摘要在软件技术高速发展的今天，人们对软件产品的安全和质量要求越来越高，通过编译的程序代码并不一定就能保证代码中不存在缺陷，仍然可能隐含了设计、安全、风格等方面的缺陷，从而会导致程序运行时出现内存泄露、空指针误用等问题。基于代码规则的自动化检查对提高软件质量有着极其重要的意义，它可以在软件开发的早期阶段对程序代码进行检查，有效地提高软件测试的质量和速度，降低测试成本。本文实现的代码规则自动化检查系统，是运用持续集成的思想，将多种代码规则检查工具组合在一起，通过自动化驱动的方式来实现代码规则自动化检查，使系统具有检测代

6、码缺陷的能力。系统按照组件化、模块化、分层实现的原则进行设计和开发，支持面向开发入员的开发过程，集成Klocwork源代码分析工具和Testbed代码分析工具，支持规则集配置，同时还支持从Subversion配置管理工具和文件目录监控中分析源代码等功能。通过建立自动化的代码规则检查，能够实现在软件开发编码阶段进行代码规则自动化检查，从而有效帮助开发人员及时发现并解决代码缺陷。本系统主要通过下述技术方案予以实现：用户通过功能层的系统平台界面创建新用户、设置用户角色、创建新项目以及配置规则集文件，应用服务层的应用服务接口和数据引擎将用户信息和项目信息提交给存储层的数

7、据库。用户启动一个新任务后，系统平台通过版本控制软件引擎调用版本控制软件客户端检测代码更新，将更新代码从配置管理库中提取出来后，构建工具引擎调用IDE命令编译工程文件，代码分析引擎则调用代码分析工具进行代码规则检查，最后数据引擎将检查结果提交给存储层的数据库，应用服务层的图表引擎将检查结果数据用图形化的方式展示给用户，用户则通过功能层查看项目信息和检查历史记录。通过对代码分析引擎的实现和对版本控制软件引擎、构建工具引擎的改造，使之具有监控代码更新、编译源代码和代码规则检查的功能。通过实际工程验证，代码规则自动化检查系统对人工的依赖很少，又能够发现软件中的大部分缺

8、陷和问题，节约了开发人员