期刊文献+

一种面向缺陷检测过程的警报自动确认方法

An Automatic Alarm Identification Method Oriented to Defect Detection Process
下载PDF
导出
摘要 静态分析工具能够一定程度上帮助开发者检测代码中的重要错误;然而,可扩展性和不可判定性的存在会影响这些工具的准确率,导致它们无法被用于更广泛的实践中;最近,研究人员开始利用人工智能的技术来提高这些工具的可使用性,通过将正确和错误的警报自动分类,以节省在软件开发过程中人工确认警报所需要的人力和时间的花费;传统的方法主要通过使用手工提取的特征来表示有缺陷的代码片段,难以抓住它们深层次的语义信息;为了克服传统方法的限制,设计并提出了一种创新的特征提取方法,通过收集并提取缺陷模式状态机实例状态转换过程中相关指令集所包含的细粒度的语法、语义信息,并将有效的深度学习框架与之相结合,从而实现跨工程的警报自动确认;在5个开源工程的警报数据集上实验,分别与基于传统度量元的自动确认方法比较,AUC指标提升幅度在1.83%~31.81%之间,表明该方法能够有效提升跨工程警报自动确认的表现。 Static analysis(SA)tools can aid the developers detect the critical errors in software to some degree.However,challenges such as scalability and undecidability are likely to have impact on their precision and performances,preventing these tools from being widely adopted in practice.Recently,researchers begin to utilize the artificial intelligence techniques to improve the usability of these tools by automatically classifying the alarms of false and positive,the manual identification of which is laborious and time-consuming in software development processes.Traditional approaches mainly focus on using hand-engineered features to represent the defective code snippets,it is hard to extract the deep semantic information of reported alarms.In order to overcome the limitations of traditional approaches,a novel feature extraction approach is designed and proposed.By collecting and capturing the fine-grained semantic and syntactic information,which is included in the instructions related to the state-transforming processes of instances of the fault pattern state machine,and combining them with an effective deep learning framework,the cross-project defect automatic identification can be achieved.The experiment is based on the alarm dataset of five open-source projects.Comparing with the traditional metrics-based method,the indicator AUC is increased by between 1.83%~31.81%.The experimental results show that the proposed method is effective and can yield significant improvement on the cross-project defect identification.
作者 孔焦龙 金大海 宫云战 KONG Jiaolong;JIN Dahai;GONG Yunzhan(State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China)
出处 《计算机测量与控制》 2022年第7期26-34,共9页 Computer Measurement &Control
基金 国家自然科学基金(U1736110)。
关键词 静态分析 软件缺陷确认 缺陷模式状态机 词嵌入 深度神经网络 static analysis software defect identification fault pattern state machine word embedding deep neural network
  • 相关文献

参考文献1

二级参考文献8

  • 1BALL T,BOUNIMOVA E,COOK B.Thorough static analysis of device drivers[C]//EuroSys,2006:73-85.
  • 2YANG J,SAR C,ENGLER D.Explode:a lightweight,general system for finding serious storage system errors[C]∥OSDI,2006:131-146.
  • 3ENGLER D,CHELF B,CHOU A,et al.Checking system rules using system-specific,programmer-written compilei extensions[C]∥The Fourth Symposium on Operating Systems Design and Implementation,2000:1-16.
  • 4ASHCRAFT K,ENGLER D.Using programmer-written compiler extensions to catch security holes[C]∥IEEE Symposium on Security and Privacy,2002:143-159.
  • 5HOVEMEYER D,PUGH W.Finding bugs is easy[J].ACM SIGPLAN Notices,2004,39(12):92-106.
  • 6HALLEM S,CHELF B,XIE Y,et al.A system and language for building system-specific,static analyses[C]∥PLDI,2002:69-82.
  • 7DAS M,LERNER S,SEIGLE M.Path-sensitive program verification in polynomial time[C]∥PLDI,2002:57-68.
  • 8AHO A V,SETHI R,ULLMAN J D.Compilers:principles,techniques,and tools[M].Beijing:Posts & Telecom Press,Pearson Education,2002:608-633.

共引文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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