| 软件分析技术进展 |
| |
| 引用本文： | 梅宏,王千祥,张路,王戟.软件分析技术进展[J].计算机学报,2009,32(9). |
| |
| 作者姓名： | 梅宏 王千祥 张路 王戟 |
| |
| 作者单位： | 1. 北京大学信息科学技术学院,高可信软件教育部重点实验室,北京,100871
2. 国防科学技术大学计算机学院,并行与分布处理国防科技重点实验室,长沙,410073 |
| |
| 基金项目： | 国家"九七三"重点基础研究发展规划项目基金，国家自然科学基金创新研究群体研究科学基金项目，国家自然科学基金，国家"八六三"高技术研究发展计划项目基金 |
| |
| 摘 要： | 软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.
|
| 关 键 词： | 软件分析 静态分析 动态分析 软件质量 |
Software Analysis: A Road Map |
| |
| MEI Hong,WANG Qian-Xiang,ZHANG Lu,WANG Ji.Software Analysis: A Road Map[J].Chinese Journal of Computers,2009,32(9). |
| |
| Authors: | MEI Hong WANG Qian-Xiang ZHANG Lu WANG Ji |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
