位置:成果数据库 > 期刊 > 期刊详情页
软件分析技术进展
  • 期刊名称:计算机学报, 2009, 32(9): 1697-1710
  • 时间:0
  • 分类:TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]北京大学信息科学技术学院高可信软件教育部重点实验室,北京100871, [2]国防科学技术大学计算机学院并行与分布处理国防科技重点实验室,长沙410073
  • 相关基金:本课题得到国家“九七三”重点基础研究发展规划项目基金(2009CB320703)、国家自然科学基金创新研究群体研究科学基金项目(60821003)、国家自然科学基金(60725206)、国家“八六三”高技术研究发展计划项目基金(2006AA012175)资助.
  • 相关项目:软件工程学
中文摘要:

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

英文摘要:

Research on software analysis has long history. It has been widely used in many processes in software lifecycle. The software analysis technologies that are used in different processes are different, while there are many interleaves among them. This paper discusses the concept of software analysis, followed with main software analysis technologies and related tools, from view of static analysis and dynamic analysis. Some relationships between software analysis and software quality characters are introduced, so as to provide some hints when some specific software character is under analyzing. The future of software analysis is discussed in the end of this paper.

同期刊论文项目
期刊论文 36 会议论文 54 获奖 2
期刊论文 25 会议论文 10
同项目期刊论文