资源描述：
《软件分析技术进展_梅宏》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第32卷第9期计算机学报Vol.32No.92009年9月CHINESEJOURNALOFCOMPUTERSSept.2009软件分析技术进展1)1)1)2)梅宏王千祥张路王戟1)(北京大学信息科学技术学院高可信软件教育部重点实验室北京100871)2)(国防科学技术大学计算机学院并行与分布处理国防科技重点实验室长沙410073)摘要软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分
2、析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.关键词软件分析;静态分析;动态分析;软件质量中图法分类号TP301DOI号:10.3724/SP.J.1016.2009.01697SoftwareAnalysis:ARoadMap1)1)1)2)MEIHongWANGQian-XiangZHANGLuWANGJi1)(KeyLaboratoryforHighConfidenc
3、eSoftwareTechnologiesofMinistryofEducation,SchoolofElectronicsEngineeringandComputerScience,PekingUniversity,Beijing100871)2)(NationalLaboratoryforParallelandDistributedProcessing,SchoolofComputerScience,NationalUniversityofDefenseTechnology,Changsha410073)AbstractResearchonsoftwarea
4、nalysishaslonghistory.Ithasbeenwidelyusedinmanyprocessesinsoftwarelifecycle.Thesoftwareanalysistechnologiesthatareusedindifferentprocessesaredifferent,whiletherearemanyinterleavesamongthem.Thispaperdiscussestheconceptofsoftwareanalysis,followedwithmainsoftwareanalysistechnologiesandr
5、elatedtools,fromviewofstaticanalysisanddynamicanalysis.Somerelationshipsbetweensoftwareanalysisandsoftwarequalitycharactersareintroduced,soastoprovidesomehintswhensomespecificsoftwarecharacterisunderanalyzing.Thefutureofsoftwareanalysisisdiscussedintheendofthispaper.Keywordssoftwarea
6、nalysis;staticanalysis;dynamicanalysis;softwarequality识的固化与凝练.尽管软件迄今已有50多年的发展1引言历史,但目前人们对软件的许多认识还十分有限.例如:对任何一个给定的软件,我们能否完全了解它的软件是一种十分特殊的人工制品:它是人类特性?软件分析就是一个以软件特性为关注点的研“智力活动”的产物,是对客观事物的虚拟反映,是知究领域.“分析”,通俗来说,是以某种方式将复杂对收稿日期:2009-08-22.本课题得到国家“九七三”重点基础研究发展规划项目基金(2009CB320703)、国家自然科学基金创新研究
7、群体研究科学基金项目(60821003)、国家自然科学基金(60725206)、国家“八六三”高技术研究发展计划项目基金(2006AA01Z175)资助.梅宏,男,1963年生,博士,教授,博士生导师,研究兴趣包括软件工程、软件复用与软件构件技术、软件生产线技术、编程语言.王千祥,男,1970年生,博士,教授,研究兴趣包括软件分析与评价、软件中间件.张路,1973年生,博士,教授,研究兴趣包括软件测试、软件维护.王戟,男,1969年生,博士,教授,博士生导师,研究兴趣包括高可信软件、软件工程与分布计算.1698计算机学报2009年象分解为更小的部分,以更好地理解
8、该对象的过程.件制品,不
