软件分析技术进展

• 作者: 张路 梅宏 王千祥 王戟
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 软件分析 静态分析 动态分析 软件质量
• 年，卷（期）: 2009,（9）
• 页码范围: 1697-1710
• 页数: 14页
• 分类号: TP301
• 字数: 17957字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.01697

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅宏	北京大学信息科学技术学院高可信软件教育部重点实验室	68	4654	26.0	68.0
2	王戟	国防科学技术大学计算机学院并行与分布处理国防科技重点实验室	44	1257	17.0	35.0
3	张路	北京大学信息科学技术学院高可信软件教育部重点实验室	43	925	14.0	30.0
4	王千祥	北京大学信息科学技术学院高可信软件教育部重点实验室	21	1165	10.0	21.0