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

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

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

参考文献17

  • 1MartinFowler编著..重构 改善既有代码的设计[M].北京:人民邮电出版社,2010:428.
  • 2梅宏,王千祥,张路,王戟.软件分析技术进展[J].计算机学报,2009,32(9):1697-1710. 被引量：101
  • 3Khalil 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. 被引量：1
  • 4EI-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. 被引量：1
  • 5Reimann J,Seifert M, Abmann U.On the reuse and recommendation of model refactoring specifications[J]. Software & Systems Modefing, 2013, 12 (3): 579-596. 被引量：1
  • 6梅新云.程序模型重构实现方法与工具[D].北京信息科技大学,2011. 被引量：2
  • 7张健.精确的程序静态分析[J].计算机学报,2008,31(9):1549-1553. 被引量：36
  • 8陈文兵..基于软件测试的质量度量研究和应用[D].中国科学院大学,2015:
  • 9禹翔.软件程序代码质量度量技术分析[J].电子测试,2014,25(10):96-98. 被引量：1
  • 10Frank Simon,Silvio Loftier, Claus Lewerentz.Distance based cohesion measuring, in proceeding of the 2nd European Software Measurement con- ference(FESMA) 99, Technologist Institute Amsterdam. 被引量：1

二级参考文献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. 被引量：1
  • 3Binkley David. Source code analysis: A road map//Proceedings of the Future of Software Engineering. Minneapolis, MN, USA, 2007:104 -119. 被引量：1
  • 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. 被引量：1
  • 5Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis. Berlin, Germany: Springer Verlag, 2005. 被引量：1
  • 6Jackson Daniel, Rinard Martin. Software analysis: A roadmap//Proceedings of the Future of Software Engineering. Limerick, Ireland, 2000:133-145. 被引量：1
  • 7Aho Alfred V, Sethi Ravi, Ullman Jeffrey D. Compilers: Principles, Techniques, and Tools. New Jersey, USA: Addison-Wesley, 1986. 被引量：1
  • 8Clarke E M, Jr Grumberg O, Peled D A. Model Checking, Cambridge, MA: MIT Press, 2000. 被引量：1
  • 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. 被引量：1
  • 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. 被引量：1

共引文献130

福建电脑
2016年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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