期刊文献+

软件分析技术进展 被引量:100

Software Analysis:A Road Map
下载PDF
导出
摘要 软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势. 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.
出处 《计算机学报》 EI CSCD 北大核心 2009年第9期1697-1710,共14页 Chinese Journal of Computers
基金 国家"九七三"重点基础研究发展规划项目基金(2009CB320703) 国家自然科学基金创新研究群体研究科学基金项目(60821003) 国家自然科学基金(60725206) 国家"八六三"高技术研究发展计划项目基金(2006AA01Z175)资助 supported by NSFC(National Science Foundation of China)project on Group Creative Project
关键词 软件分析 静态分析 动态分析 软件质量 software analysis static analysis dynamic analysis software quality
  • 相关文献

参考文献54

  • 1Shaw M. Truth Vs. knowledge: The difference between what a component does and what we know it does//Proeeedings of the 8th International Workshop Software Specification and Design. Budapest, Hungary, 1996: 181- 185.
  • 2Binkley David. Source code analysis: A road map//Proceedings of the Future of Software Engineering. Minneapolis, MN, USA, 2007:104 -119.
  • 3Dwyer Matthew B, Hatcliff John, Robby, Pasareanu Corina S, Visser Willem. Formal software analysis emerging trends in software model cheeking//Proceedings of the Future of Software Engineering. Minneapolis, MN, USA, 2007: 120- 136.
  • 4Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis. Berlin, Germany: Springer Verlag, 2005.
  • 5Jackson Daniel, Rinard Martin. Software analysis: A roadmap//Proceedings of the Future of Software Engineering. Limerick, Ireland, 2000:133-145.
  • 6Aho Alfred V, Sethi Ravi, Ullman Jeffrey D. Compilers: Principles, Techniques, and Tools. New Jersey, USA: Addison-Wesley, 1986.
  • 7Clarke E M, Jr Grumberg O, Peled D A. Model Checking, Cambridge, MA: MIT Press, 2000.
  • 8Ball T, Rajamani S K. Automatically validating temporal safety properties of interfaces//Dwyer M B ed. Proceedings of the 8th SPIN Workshop. LNCS 2057. Springer, 2001:103-122.
  • 9Chen H, Wagner D A. MOPS: An infrastructure for examining security properties of software//Proceedings of the 9th ACM Conference on Computer and Communications Security. Washengton, DC, USA, 2002:235-244.
  • 10Corbett J et al. Bandera: Extracting finite-state models from Java source code//Proceedings of the 22nd ICSE. Limerick, Ireland, 2000:439-458.

二级参考文献36

共引文献107

同被引文献1018

引证文献100

二级引证文献1239

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部