软件分析技术进展

被引：102

作者：

梅宏 ^{[1
]}

王千祥 ^{[1
]}

张路 ^{[1
]}

王戟 ^{[2
]}

机构：

[1] 北京大学信息科学技术学院高可信软件教育部重点实验室

[2] 国防科学技术大学计算机学院并行与分布处理国防科技重点实验室

来源：

计算机学报 | 2009年 / 32卷 / 09期

关键词：

软件分析; 静态分析; 动态分析; 软件质量;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：1697 / 1710

页数：14

共 11 条

[1] 精确的程序静态分析 [J].

张健 .

计算机学报, 2008, (09) :1549-1553

[2] 网构软件技术体系:一种以体系结构为中心的途径 [J].

杨芙清 ;

吕建 ;

梅宏 .

中国科学(E辑:信息科学), 2008, (06) :818-828

[3] 一种分析和理解程序的方法──程序切片 [J].

李必信 ;

郑国梁 ;

王云峰 ;

李宣东 .

计算机研究与发展, 2000, (03) :284-291

[4]

可计算性理论[M]. 清华大学出版社 , 张鸣华著, 1984

[5] Parametric shape analysis via 3-valued logic [J].

Sagiv, M ;

Reps, T ;

Wilhelm, R .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2002, 24 (03) :217-298

[6]

Dynamicweaving for aspect-oriented programming .2 Popovici Andrei,Gross Thomas,Alonso Gustavo. Proceedings ofthe 1st International Conference on Aspect-Oriented SoftwareDevelopment(AOSD) . 2002

[7]

PVS:Combining specification,proof checking,and modelchecking .2 Owre S,Rajan S,Rushby J M,Shankar N,Srivas M K. Proceedings of the8th CAV . 1996

[8]

CCFinder:Amultilin-guistic token-based code clone detection system for large scale source code .2 KAMIYAT,KUSUMOTOS,INOUE K. IEEE Transactions on Software Engineering . 2002

[9]

ASM .2 OW. http://asm.ow2.org .

[10]

Cryptographic protocolanalysis on real Ccode .2 Goubaut-Larrecq J,Parrennes F. Proceedings of the 6thInternational Conference on Verification,Model Checkingand Abstract Interpretation . 2005

← 1 2 →