软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
2期
386-399
,共14页
张大林%金大海%宫云战%王前%董玉坤%张海龙
張大林%金大海%宮雲戰%王前%董玉坤%張海龍
장대림%금대해%궁운전%왕전%동옥곤%장해룡
静态分析%优化%缺陷关联%抽象解释%状态切片
靜態分析%優化%缺陷關聯%抽象解釋%狀態切片
정태분석%우화%결함관련%추상해석%상태절편
static analysis%optimizing%defect correlation%abstract interpretation%state slicing
缺陷检测一般包括静态分析与人工审查两个阶段.静态检测工具报告大量缺陷,但是主要的缺陷确认工作仍由人工完成,这是一件费时、费力的工作.巨大的审查开销可能会导致软件开发人员拒绝使用该静态缺陷检测工具.提出一种可靠的基于缺陷关联的静态分析优化方法,能够分组静态检测工具所报告的缺陷,在分组后的任意一组缺陷中,如果其主导缺陷被证明是误报(或者是真实的),就能确认其他缺陷也是误报(也是真实的).实验结果表明,基于缺陷关联的静态分析优化方法在较小的时间和空间开销下减少了22％的缺陷审查工作,能够较好地适应于大型的关键嵌入式系统程序缺陷检测.
缺陷檢測一般包括靜態分析與人工審查兩箇階段.靜態檢測工具報告大量缺陷,但是主要的缺陷確認工作仍由人工完成,這是一件費時、費力的工作.巨大的審查開銷可能會導緻軟件開髮人員拒絕使用該靜態缺陷檢測工具.提齣一種可靠的基于缺陷關聯的靜態分析優化方法,能夠分組靜態檢測工具所報告的缺陷,在分組後的任意一組缺陷中,如果其主導缺陷被證明是誤報(或者是真實的),就能確認其他缺陷也是誤報(也是真實的).實驗結果錶明,基于缺陷關聯的靜態分析優化方法在較小的時間和空間開銷下減少瞭22％的缺陷審查工作,能夠較好地適應于大型的關鍵嵌入式繫統程序缺陷檢測.
결함검측일반포괄정태분석여인공심사량개계단.정태검측공구보고대량결함,단시주요적결함학인공작잉유인공완성,저시일건비시、비력적공작.거대적심사개소가능회도치연건개발인원거절사용해정태결함검측공구.제출일충가고적기우결함관련적정태분석우화방법,능구분조정태검측공구소보고적결함,재분조후적임의일조결함중,여과기주도결함피증명시오보(혹자시진실적),취능학인기타결함야시오보(야시진실적).실험결과표명,기우결함관련적정태분석우화방법재교소적시간화공간개소하감소료22％적결함심사공작,능구교호지괄응우대형적관건감입식계통정서결함검측.
