计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2012年
10期
2204-2214
,共11页
整数溢出错误定位%程序特征谱%定义使用对覆盖%分支覆盖
整數溢齣錯誤定位%程序特徵譜%定義使用對覆蓋%分支覆蓋
정수일출착오정위%정서특정보%정의사용대복개%분지복개
随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研究的热点.论文改进了现有错误定位模型,构建了整数溢出错误定位模型INTRank.实验结果表明:基于INTRank模型的语句可疑度估计方法可以较为准确地计算语句可疑度,使得程序员能够按照基于语句可疑度的优先级顺序检查源代码,找出导致整数溢出错误的原因,同时本文方法具有较低的漏报率.
隨著軟件業的飛速髮展,人們對軟件質量的要求也越來越高.整數溢齣錯誤以其高危性和隱蔽性成為影響軟件安全性和可靠性的重要因素之一.如何準確定位整數溢齣錯誤是軟件安全領域研究的熱點.論文改進瞭現有錯誤定位模型,構建瞭整數溢齣錯誤定位模型INTRank.實驗結果錶明:基于INTRank模型的語句可疑度估計方法可以較為準確地計算語句可疑度,使得程序員能夠按照基于語句可疑度的優先級順序檢查源代碼,找齣導緻整數溢齣錯誤的原因,同時本文方法具有較低的漏報率.
수착연건업적비속발전,인문대연건질량적요구야월래월고.정수일출착오이기고위성화은폐성성위영향연건안전성화가고성적중요인소지일.여하준학정위정수일출착오시연건안전영역연구적열점.논문개진료현유착오정위모형,구건료정수일출착오정위모형INTRank.실험결과표명:기우INTRank모형적어구가의도고계방법가이교위준학지계산어구가의도,사득정서원능구안조기우어구가의도적우선급순서검사원대마,조출도치정수일출착오적원인,동시본문방법구유교저적루보솔.
