文献类型：期刊文章

作　　者：梅宏[1] 王千祥[1] 张路[1] 王戟[2]

机构地区：[1]北京大学信息科学技术学院高可信软件教育部重点实验室,北京100871 [2]国防科学技术大学计算机学院并行与分布处理国防科技重点实验室,长沙410073

出　　处：《计算机学报》

基　　金：国家"九七三"重点基础研究发展规划项目基金(2009CB320703);国家自然科学基金创新研究群体研究科学基金项目(60821003);国家自然科学基金(60725206);国家"八六三"高技术研究发展计划项目基金(2006AA01Z175)资助;supported by NSFC(National Science Foundation of China)project on Group Creative Project

年　　份：2009

卷　　号：32

期　　号：9

起止页码：1697-1710

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20094512438431)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.

关 键 词：软件分析  静态分析  动态分析  软件质量

分 类 号：TP301]