面向C语言代码的规则检测工具研究

【摘要】随着计算机应用的发展和软件规模的扩大,软件在信息社会中扮演着越来越重要的作用,然而软件危机的频频出现,使得诸如航天、运输控制系统、电子商务等众多质量关键应用领域都对系统的可靠性提出了极高的要求。对软件进行检测是保证软件质量很重要的环节,特别是静态检测更是软件检测中一种重要且有效的方法。对于当今软件规模和复杂度越来越高的特点,人工走查已经不仅仅是费时费力的问题,甚至可能是不切实际的,所以如果能够实现一个自动化的静态测试工具来代替人工走查,自动化的检测代码,将具有很高的实用价值。首先,给出了本文的研究背景、研究现状、目标和论文的结构组织情况,然后对软件检测的总体分类情况给予了概述,重点介绍了静态检测的框架分类及流程,并对静态检测的各种检测技术给予了简单描述,例如词法分析、规则检测等。在以上理论基础上,本文设计实现一个基于GJB5369-2005编程规范的自动化规则静态检测工具。在工具的设计与实现之前给出了工具相关的技术介绍,而在设计与实现阶段给出了具体的需求分析、系统设计、详细设计等,该工具主要由工程输入、预编译、规则检测、缺陷处理四大模块构成。同时给出了工具的测试与评估,结果表明该工具符合设计目标要求。最后,本文对工作进行总结,并提出了未来的工作方向。
【作者】胡瀚月；
【导师】冯涛；
【作者基本信息】兰州理工大学，计算机技术，2014，硕士
【关键词】静态检测；编程规范；GCC；自动化工具；

【参考文献】
[1]陈超.华为湖南WCDMA网建设项目风险管理研究[D].湖南大学,工商管理,2010,硕士.
[2]石栋梁.基于BRDF的光机系统杂散辐射研究[D].哈尔滨工业大学,光学工程,2014,硕士.
[3]魏云霞.盐酸替罗非班相关血小板减少发生率及影响因素分析[D].河北医科大学,内科学,2014,硕士.
[4]王静.地肤子皂苷对HepG2人肝癌细胞凋亡和迁移侵袭的影响及其作用机制研究[D].西北农林科技大学,食品科学,2014,博士.
[5]陈陆平,席裕庚,张钟俊.大型Lyapunov方程的并行求解[J].自动化学报,1996,03:332-338.
[6]白友忠.凯威特—联方型弦支穹顶结构的动力分析[D].西安建筑科技大学,结构工程,2013,硕士.
[7]周子玮.成人急性B淋巴细胞白血病细胞的免疫表型特点及临床意义[D].河北医科大学,内科学（专业学位）,2014,硕士.
[8]张羽立.SHA-3 BLAKE算法的ASIP实现[D].复旦大学,微电子学与固体电子学,2012,硕士.
[9]王琳.陆俨少山水画风格成因研究[D].中国艺术研究院,美术学,2013,硕士.
[10]邝晓敏.创设有意义语境对高中英语词汇学习作用的实验研究[D].赣南师范学院,学科教学（专业学位）,2014,硕士.
[11]吴佳昕.基于芯片分析的BR与auxin互作研究[D].兰州大学,植物学,2013,硕士.
[12]刘贵龙.基于CAN/LIN总线的车身控制器设计[D].华东理工大学,控制工程,2013,硕士.
[13]张二妮.陕西省文化旅游产业发展研究[D].西安工业大学,区域经济学,2014,硕士.
[14]吴茜.基于“一点就通”网络的初中物理教学研究[D].苏州大学,学科教学（专业学位）,2013,硕士.
[15]王宝中.IL-17A在放射性肺损伤中的表达及其作用的研究[D].山东大学,肿瘤学（专业学位）,2014,博士.
[16]潘澜.饭店员工主动流失的原因和控制[D].浙江大学,2002.
[17]陈蜜.社交媒体对大学生人际交往影响调查报告[D].安徽大学,社会工作,2014,硕士.
[18]樊耀峰.相变材料纳微胶囊的制备、耐热性能和过冷现象研究[D].天津工业大学,材料学,2004,硕士.
[19]祁霞.抗COPD新药TB、HIV新药Lopinavir和重要药物合成中间体DHDB的合成研究[D].华东师范大学,有机化学,2004,硕士.
[20]陈月仙.阅读中的不同注释形式对词汇附带习得的影响[D].山东师范大学,课程与教学论,2012,硕士.
[21]张雅奇.爵床乙酸乙酯部位化学成分及其质量分析研究[D].湖北中医药大学,中药学,2013,硕士.
[22]甘仁武.环隙式离心萃取机流场测试及流动特性研究[D].华东理工大学,化工过程机械,2013,硕士.
[23]万超.利用腰椎与股骨上端BMD、LSC分析评估绝经后女性骨量的研究[D].湖北中医药大学,中医骨伤科学,2014,博士.
[24]郑秀君,胡彬.我国生命周期评价(LCA)文献综述及国外最新研究进展[J].科技进步与对策,2013,06:155-160.
[25]刘亚平.单分散聚乳酸制备与性质研究[D].山东大学,应用化学,2013,硕士.
[26]张持健.商空间下模糊系统与模糊控制的问题求解[D].安徽大学,2005.
[27]朱诗亮.基于冷原子的量子模拟[A].中国物理学会量子光学专业委员会.第十五届全国量子光学学术报告会报告摘要集[C].中国物理学会量子光学专业委员会:,2012:1.
[28]刘宁宁.泰和教育企业并购后的文化整合研究[D].中国政法大学,工商管理,2013,硕士.
[29]秦舒.TIGAR在KA受体介导的兴奋性毒性中的作用及机制[D].苏州大学,药理学,2013,硕士.
[30]姚勤.部族融合与楚辞特色的形成[D].广西民族大学,中国古代文学,2013,硕士.
[31]姜亚伟.功能主义目的论视角下中国本土航空公司简介的英译[D].吉林财经大学,外国语言学及应用语言学,2014,硕士.
[32]赵文刚.C银行投资银行业务发展研究[D].首都经济贸易大学,工商管理（专业学位）,2014,硕士.
[33]章磊.高精度铝合金矩形管冷拉拔成形中的内表面粗糙度研究[D].重庆大学,材料加工工程,2014,硕士.
[34]叶剑斌,左剑飞,黄小鉥.风电场群远程集中SCADA系统设计[J].电力系统自动化,2010,23:97-101.
[35]王若冰.上海中外资饭店竞争力比较研究[D].华东师范大学,旅游管理,2004,硕士.
[36]陈晨.森林公园的近自然设计研究[D].中南林业科技大学,森林培育,2014,硕士.
[37]谢晓锋.关系型数据库在XML存储与操作方面扩展的研究[D].华中科技大学,2005.
[38]侯金利.细胞骨架对狂犬病病毒感染与复制的影响[D].吉林大学,预防兽医学,2014,硕士.
[39]梅长娥.从马克思主义哲学变革看哲学教育中创新意识培养[D].新疆师范大学,马克思主义哲学,2013,硕士.
[40]曹小龙.全息数字水印的生成与防伪加密算法研究[D].湖南工业大学,材料加工工程,2012,硕士.
[41]吕传祥.具有2DOF铰接车体挖掘机工作装置液压系统仿真与实验研究[D].吉林大学,机械电子工程,2013,硕士.
[42]周小春.我国商业银行并购与效率获利的实证研究[D].湖南大学,金融学,2003,硕士.
[43]王珺.基于度量的航空机载软件质量控制研究[D].电子科技大学,软件工程（专业学位）,2012,硕士.
[44]徐艳华.软刚臂横向共振机理研究与控制方案设计[D].大连理工大学,计算力学,2013,硕士.
[45]刘月明.二维不规则零件排样算法及系统的研究[D].华南理工大学,控制工程,2012,硕士.
[46]张宝璐.我国乡镇政府执行力提升对策研究[D].中国海洋大学,公共管理,2011,硕士.
[47]马祥庆,庄孟能,叶章善.杉木拟赤杨混交林林分生产力及生态效应研究[J].植物生态学报,1998,02:83-90.
[48]孙红军.杭钢2号高炉的大修改造及生产实践[J].炼铁.2001(03)
[49]詹志魁.采矿权证券化融资相关问题研究[D].湖南科技大学,应用经济学,2013,硕士.
[50]曹建山.鼎联高新技术（北京）有限公司营销绩效评价体系研究[D].天津大学,高级工商管理,2013,硕士.