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