期刊文献+

缺陷理解研究:现状、问题与发展 被引量:3

Defect Comprehension Research:Present,Problem and Prospect
下载PDF
导出
摘要 缺陷理解是针对缺陷本身及衍生产物建立完整认知过程的研究.由于调试的连贯性及完美缺陷理解假设不合理性,深入分析缺陷传播过程及缺陷间关系、研究关键信息检测及理解信息表达方式,提取及表达面向缺陷研究不同场景不同需求下的可理解性信息,最终达到优化缺陷分析结果及辅助调试各过程缺陷知识复用及积累的目的成为必然.由定位与修复之间存在的知识割裂问题出发,思考缺陷理解研究的本质,明确缺陷处理过程中缺乏知识挖掘及互用问题.通过工程实例分析及文献成果梳理,提炼总结缺陷理解领域的研究方向及技术方法,探讨缺陷理解研究中的特点及难点,思考缺陷理解研究中存在的问题及未来的研究方向,对缺陷理解的研究趋势进行了展望. Defect comprehension is the study of establishing a complete cognitive process for the defect itself and its derivatives.Because of the coherence of debugging and the incomprehensibility of information under the assumption of perfect bug understanding,through analysis of defect propagation process and the relationship between defects,research on key information detection and understanding information expression,extraction,and expression of understandable information for different scenarios and different needs of defect research,ultimately achieving the goal of optimizing defect analysis results and assisting the reuse and accumulation of defect knowledge in debugging process becomes inevitable.This study starts from the problem of knowledge fragmentation between location and repair,considers the essence of defect understanding research,clarifies the lack of knowledge mining and interoperability in the process of defect handling.Through the summary of engineering examples and the analysis of literature results,the research directions and technical methods in the field of defect comprehension are summarized,the characteristics and difficulties in the study of defect comprehension are discussed,the existing problems in the study and the future research directions are considered,and the research trend of defect comprehension is prospected.
作者 李晓卓 贺也平 马恒太 LI Xiao-Zhuo;HE Ye-Ping;MA Heng-Tai(National Engineering Research Center of Fundamental Software,Institute of Software,Chinese Academy of Science,Beijing 100190,China;University of Chinese Academy of Sciences,Beijing 100049,China;State Key Laboratory of Computer Science(Institute of Software,Chinese Academy of Science),Beijing 100190,China)
出处 《软件学报》 EI CSCD 北大核心 2020年第1期20-46,共27页 Journal of Software
基金 核高基国家科技重大专项(2014ZX01029101-002) 中国科学院战略性先导科技专项(XDA-Y01-01)。
关键词 软件调试 程序分析 软件缺陷 缺陷理解 software debugging program analysis software bug defect comprehension
  • 相关文献

参考文献9

二级参考文献237

  • 1徐宝文,聂长海,史亮,陈火旺.一种基于组合测试的软件故障调试方法[J].计算机学报,2006,29(1):132-138. 被引量:38
  • 2沈昌祥,张焕国,冯登国,曹珍富,黄继武.信息安全综述[J].中国科学(E辑),2007,37(2):129-150. 被引量:357
  • 3Shaw 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.
  • 4Binkley David. Source code analysis: A road map//Proceedings of the Future of Software Engineering. Minneapolis, MN, USA, 2007:104 -119.
  • 5Dwyer 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.
  • 6Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis. Berlin, Germany: Springer Verlag, 2005.
  • 7Jackson Daniel, Rinard Martin. Software analysis: A roadmap//Proceedings of the Future of Software Engineering. Limerick, Ireland, 2000:133-145.
  • 8Aho Alfred V, Sethi Ravi, Ullman Jeffrey D. Compilers: Principles, Techniques, and Tools. New Jersey, USA: Addison-Wesley, 1986.
  • 9Clarke E M, Jr Grumberg O, Peled D A. Model Checking, Cambridge, MA: MIT Press, 2000.
  • 10Ball 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.

共引文献214

同被引文献28

引证文献3

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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