编译前端分析自动构件化代码可靠性加强方法

摘要：

随着嵌入式系统的广泛应用,嵌入式系统可靠性成为关注的焦点.针对嵌入式系统源程序的可靠性进行研究,提出了基于编译前端分析自动构件化代码加强方法.该方法结合构件化开发技术,设计了一种多层次迭代分析的编译器前端分析方法,对源代码与可靠构件的相似度进行计算,自动提取出相似度高的函数到可靠构件的映射关系.然后通过人机交互选择最佳的可靠构件进行映射,以最大程度加强代码的可靠性.实验结果表明,该方法能够找出90%以上与漏洞代码相匹配的可靠构件代码,且平均正确率高达94.5%,对加强代码本身的可靠性具有明显效果.

关键词：可靠性、编译前端分析、构件化、人机交互、嵌入式系统

所属期刊栏目：12

分类号：TP391(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No. 61640220;the Projects of Natural Science Research in Universities of Jiangsu Province under Grant Nos. 16KJA520002, 15KJB520019;the"Six Talents"Summit Project of Jiangsu Province;the Qing-Lan Project of Jiangsu Province

在线出版日期：2018-08-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1100-1108