题名 | 面向C语言代码的规则检测工具研究 |
作者 | 胡瀚月 |
答辩日期 | 2014 |
导师 | 冯涛 |
关键词 | 静态检测 编程规范 GCC 自动化工具 |
学位名称 | 硕士 |
英文摘要 | 随着计算机应用的发展和软件规模的扩大,软件在信息社会中扮演着越来越重要的作用,然而软件危机的频频出现,使得诸如航天、运输控制系统、电子商务等众多质量关键应用领域都对系统的可靠性提出了极高的要求。对软件进行检测是保证软件质量很重要的环节,特别是静态检测更是软件检测中一种重要且有效的方法。对于当今软件规模和复杂度越来越高的特点,人工走查已经不仅仅是费时费力的问题,甚至可能是不切实际的,所以如果能够实现一个自动化的静态测试工具来代替人工走查,自动化的检测代码,将具有很高的实用价值。首先,给出了本文的研究背景、研究现状、目标和论文的结构组织情况,然后对软件检测的总体分类情况给予了概述,重点介绍了静态检测的框架分类及流程,并对静态检测的各种检测技术给予了简单描述,例如词法分析、规则检测等。在以上理论基础上,本文设计实现一个基于GJB5369-2005编程规范的自动化规则静态检测工具。在工具的设计与实现之前给出了工具相关的技术介绍,而在设计与实现阶段给出了具体的需求分析、系统设计、详细设计等,该工具主要由工程输入、预编译、规则检测、缺陷处理四大模块构成。同时给出了工具的测试与评估,结果表明该工具符合设计目标要求。最后,本文对工作进行总结,并提出了未来的工作方向。 |
语种 | 中文 |
页码 | 56 |
URL标识 | 查看原文 |
内容类型 | 学位论文 |
源URL | [http://ir.lut.edu.cn/handle/2XXMBERH/90172] |
专题 | 兰州理工大学 |
作者单位 | 兰州理工大学 |
推荐引用方式 GB/T 7714 | 胡瀚月. 面向C语言代码的规则检测工具研究[D]. 2014. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论