期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

软件质量动态分析技术探讨

下载PDF
导出
摘要 介绍了软件分析的基本概念,从动态分析方面阐述了一些主要的软件分析技术以及相关分析工具,展望了软件分析技术的发展趋势.
作者 张校慧 王龙葛
机构地区 黄河水利职业技术学院信息工程系 河南大学软件学院
出处 《开封大学学报》 2011年第2期82-84,共3页 Journal of Kaifeng University
关键词 软件分析 动态分析 软件质量
分类号 TP31 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献8

  • 1张健.精确的程序静态分析[J].计算机学报,2008,31(9):1549-1553. 被引量：36
  • 2David Binkley. Source Code Analysis: A Road Map [ J]. In Proceeding of Future of Software Engineering, 2007.
  • 3Matthew B Dwyer, John Hatcliff Robby, Corina S Pasarea- nn and Willem Visser. Formal Software Analysis Emerging Trends in Software Model Checking [ J ]. In Proceeding of Future of Software Engineering, 2007.
  • 4Flemming Nielson, Hanne Riis Nielson and Chris Hankin. Principles of Program Analysis [ M ]. Springer - Verlag, 2005.
  • 5Daniel Jackson, Martin Rinard. Software Analysis: A Road map[ J~. In Proceeding of Future of Software Engineering, 2000.
  • 6L Froihofer, G Glos, J Osrael, K M Goeschka. Overview and evaluation of constraint validation approaches in Java [ C]. Proceedings of the 29th international conference on Software Engineering (ICSE), 2007.
  • 7K Havelund and G Rosu. Monitoring Java Programs with Ja,sa PathExplorer[ N ]. In Proceedings of the 1 st Workshop on Runtime Verification ( RV01 ), volume 55 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
  • 8Matthew Arnold, Martin T Vechev, Eran Yahav. QVM: an efficient runtime for detecting defects in deployed systems E C]. Proceedings of the 23rd Annual ACM SIGPLAN Con- ference on Object -Oriented Programming, Systems, Lan- guages and Applications, OOPSLA,2008.

二级参考文献17

  • 1汪黎,杨学军,王戟,罗宇.操作系统内核程序函数执行上下文的自动检验[J].软件学报,2007,18(4):1056-1067. 被引量：5
  • 2Hoare C A R. The verifying compiler: A grand challenge for computing research. Journal of the ACM, 2003, 50(1): 63-69
  • 3Horwitz S. Precise flow-insensitive may-alias analysis is NP- hard. ACM Transactions on Programming Languages and Systems, 1997, 19(1): 1-6
  • 4Ball T, Rajamani S K. The SLAM project: Debugging system software via static analysis//Proeeedings of the 29th ACM Symposium on Principles of Programming Languages (POPL 2002). Portland, OR, USA, 2002:1-3
  • 5Lev-Ami T et al. Putting static analysis to work for verification: A case study//Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2000). Portland, OR, USA, 2000:26-38
  • 6Zhang J, Wang X. A constraint solver and its application to path feasibility analysis. International Journal of Software Engineering and Knowledge Engineering, 2001, 11(2): 139- 156
  • 7Zhang J. Symbolic execution of program paths involving pointer and structure variables//Proceedings of the QSIC. Braunschweig, Germany, 2004:87-92
  • 8King J C. Symbolic execution and testing. Communications of the ACM, 1976, 19(7): 385-394
  • 9Yates D F, Malevris N. Reducing the effects of infeasible paths in branch testing. ACM SIGSOFT Software Engineering Notes, 1989, 14(8): 48-54
  • 10Ngo M N, Tan H B K. Heuristics-based infeasible path detection for dynamic test data generation. Information & Software Technology, 2008, 50(7-8): 641-655

共引文献35

开封大学学报
2011年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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