期刊文献+

基于PMD的程序重构定位分析实现方法

下载PDF
导出
摘要 PMD是最流行的开源程序静态分析工具。基于PMD的抽象语法树分析与内建规则检测机制,通过定制PMD程序重构分析规则,采用Java类和x Path配置文件的自定义构造策略与方法,成功实现JAVA程序的重构定位分析,产生准确的分析检测报告,扩展了PMD的重构定位分析功能。文中详细给出PMD重构定位分析规则及其分析检测配置文件实现方法的具体过程、技术细节和分析检测实例。实验研究表明该方法高效快捷,结果准确。
出处 《福建电脑》 2016年第1期10-13,共4页 Journal of Fujian Computer
基金 北京市教委人才培养模式创新实验区项目(京教函[2009]630号) 北京市人才强教深化软件工程创新团队项目(PHR200907220)
  • 相关文献

参考文献10

  • 1梅宏,王千祥,张路,王戟.软件分析技术进展[J].计算机学报,2009,32(9):1697-1710. 被引量:101
  • 2Khalil A, Dingel J. Supporting the evolution of UML models in model driven software development: A Survey [R]. Technical Report, School of Computing, Queen's University, Canada, 2013.
  • 3EI-Sharqwi M,Mahdi H, E1-Madah I.Pattem-based model refactoring [C],in Proceedings of Computer Engineering and Systems (ICCES), 2010 International Conference on. IEEE, 2010: 301-306.
  • 4Reimann J,Seifert M, Abmann U.On the reuse and recommendation of model refactoring specifications[J]. Software & Systems Modefing, 2013, 12 (3): 579-596.
  • 5梅新云.程序模型重构实现方法与工具[D].北京信息科技大学,2011.
  • 6张健.精确的程序静态分析[J].计算机学报,2008,31(9):1549-1553. 被引量:36
  • 7禹翔.软件程序代码质量度量技术分析[J].电子测试,2014,25(10):96-98. 被引量:1
  • 8Frank Simon,Silvio Loftier, Claus Lewerentz.Distance based cohesion measuring, in proceeding of the 2nd European Software Measurement con- ference(FESMA) 99, Technologist Institute Amsterdam.
  • 9PMDVer.4.0 [EB/OL],http://sourceforge.net/projects /pmd/?source= navbar, latest released: Oct. 1,2015.
  • 10PMD Web site [EB/OL],https://pmd.github.io/, latest released: Oct. 1,2015.

二级参考文献74

  • 1汪黎,杨学军,王戟,罗宇.操作系统内核程序函数执行上下文的自动检验[J].软件学报,2007,18(4):1056-1067. 被引量:5
  • 2Shaw 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.
  • 3Binkley David. Source code analysis: A road map//Proceedings of the Future of Software Engineering. Minneapolis, MN, USA, 2007:104 -119.
  • 4Dwyer 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.
  • 5Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis. Berlin, Germany: Springer Verlag, 2005.
  • 6Jackson Daniel, Rinard Martin. Software analysis: A roadmap//Proceedings of the Future of Software Engineering. Limerick, Ireland, 2000:133-145.
  • 7Aho Alfred V, Sethi Ravi, Ullman Jeffrey D. Compilers: Principles, Techniques, and Tools. New Jersey, USA: Addison-Wesley, 1986.
  • 8Clarke E M, Jr Grumberg O, Peled D A. Model Checking, Cambridge, MA: MIT Press, 2000.
  • 9Ball 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.
  • 10Chen 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.

共引文献130

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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