《计算机学报》文章摘要   全文下载
文章题目	软件分析技术进展
作者	梅宏1) 王千祥1) 张路1) 王戟2)
作者单位	1)(北京大学信息科学技术学院 高可信软件教育部重点实验室 北京 100871) 2)(国防科学技术大学计算机学院 并行与分布处理国防科技重点实验室 长沙 410073)
发表年份	2009
发表月份	9期(1697—1710)
文章摘要	摘要 软件分析技术的研究已有较长历史，相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同，又有许多交叠，且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后，主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题，文章还探讨了一些分析技术与软件质量属性的相关性，以便于人们在分析特定的软件质量属性时，选取合适的技术与工具.最后，文章展望了软件分析技术的发展趋势. 关键词 软件分析；静态分析；动态分析；软件质量 中图法分类号：TP301 DOI号：10.3724/SP.J.1016.2009.01697