【摘 要】
:
随着计算机应用的发展和软件规模的扩大,软件在信息社会中扮演着越来越重要的作用,然而软件危机的频频出现,使得诸如航天、运输控制系统、电子商务等众多质量关键应用领域都
论文部分内容阅读
随着计算机应用的发展和软件规模的扩大,软件在信息社会中扮演着越来越重要的作用,然而软件危机的频频出现,使得诸如航天、运输控制系统、电子商务等众多质量关键应用领域都对系统的可靠性提出了极高的要求。对软件进行检测是保证软件质量很重要的环节,特别是静态检测更是软件检测中一种重要且有效的方法。对于当今软件规模和复杂度越来越高的特点,人工走查已经不仅仅是费时费力的问题,甚至可能是不切实际的,所以如果能够实现一个自动化的静态测试工具来代替人工走查,自动化的检测代码,将具有很高的实用价值。首先,给出了本文的研究背景、研究现状、目标和论文的结构组织情况,然后对软件检测的总体分类情况给予了概述,重点介绍了静态检测的框架分类及流程,并对静态检测的各种检测技术给予了简单描述,例如词法分析、规则检测等。在以上理论基础上,本文设计实现一个基于GJB5369-2005编程规范的自动化规则静态检测工具。在工具的设计与实现之前给出了工具相关的技术介绍,而在设计与实现阶段给出了具体的需求分析、系统设计、详细设计等,该工具主要由工程输入、预编译、规则检测、缺陷处理四大模块构成。同时给出了工具的测试与评估,结果表明该工具符合设计目标要求。最后,本文对工作进行总结,并提出了未来的工作方向。
其他文献
目的回顾性研究磁共振检查在布氏杆菌脊柱炎临床诊断中的应用价值。方法收集27例经临床确诊的布氏杆菌性脊柱炎患者的MRI资料并综合临床资料进行回顾性分析,对脊柱病变部位及
经济全球化的发展,社会变革的加速,产业进入门槛的不断降低,所有这些使得企业面临的竞争越来越激烈,创新尤其是成功的服务创新已成为服务企业在竞争中取胜的良药,成为企业重
慢性咳嗽通常是指,咳嗽持续8周以上,以咳嗽、咳痰为唯一或主要症状,初查X线胸片无异常者。慢性咳嗽的病因复杂多样,涉及呼吸、消化、心血管及耳鼻喉等多个系统和病位,因而常
<正>我曾经多年跟随初中语文教材原主编顾振彪先生做作文个性化的课题研究,在作文教学中做了些探索,认为作文教学最关键的是要回归生活,回归主体。在30余年的教学教研中,我努
以重庆市巫山县为例,运用景观安全格局分析方法和地理信息系统(GIS)空间分析方法,将"反规划"理念的土地利用规划方法与传统土地利用规划方法相结合,建立高、中、低3种不同安
近年来,刑法学界在涉及滥用职权和玩忽职守两罪的认定时争议颇多,尤其表现在对两罪主观罪过形式及客观方面特征的界定上。实际上,刑法所建构的犯罪识别模型(犯罪构成)虽然来
群体性突发事件的发生反映出部分民众受中介性社会事项刺激,采取比较极端甚至不正常的方式,对各层次各类型国家管理者表示不满或提出意见。进一步看,在群体性突发事件发生、
运用元分析方法对符合研究需要的SCI和SSCI公开发表英文文献的研究结果进行统计分析,探讨分散练习和集中练习对运动技能学习的影响,及其对不同肌肉参与运动的技能类型和不同
名词化现象在英语中无处不在。名词化是语法隐喻的主要来源。名词化过程主要是把表达“过程”的动词或说明某一事件的小句加以“物化”,从而浓缩成动词性名词。在这一过程中
在分析公共体育服务体系相关概念的基础上,开发出公共体育服务体系的概念,指出公共体育服务体系是指由满足公共体育需求的要素构成的有机整体。依据系统分析方法以及公共体育