计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
1期
14-18,64
,共6页
静态分析%代码缺陷分析%易扩展%服务
靜態分析%代碼缺陷分析%易擴展%服務
정태분석%대마결함분석%역확전%복무
利用静态代码缺陷分析技术对软件进行早期缺陷检测,是提高软件质量的重要途径.静态代码缺陷分析工具(如FINDBUGS,JLINT,ESC/JAVA,PMD,COVERITY等)已经被证实可以成功地识别出大量的软件潜在缺陷[1-3].然而,这类工具在可用性和有效性方面的不足严重限制了它们的进一步广泛使用.可用性不足包括a)每个独立缺陷检测工具只擅于检测特定类型的缺陷,需要配合使用才能全面检测缺陷；b)每个缺陷检测工具的安装、配置和运行占用了用户大量的时间、精力.有效性不足包括静态缺陷分析结果往往存在大量误报,并且会包括许多不重要的(不会引起程序员修复行为的)缺陷报告.为了解决上述问题,提出并构建了一个易扩展的“静态代码缺陷分析”服务(Code Defect Analysis Service,CODAS).CODAS基于一个高度可扩展的架构设计,对多个独立的缺陷检测工具进行了封装和集成,并对缺陷检测报告进行了有效汇总和排序,从而充分发挥了各个独立工具的优势,大大提升了静态缺陷分析工具的可用性和有效性.
利用靜態代碼缺陷分析技術對軟件進行早期缺陷檢測,是提高軟件質量的重要途徑.靜態代碼缺陷分析工具(如FINDBUGS,JLINT,ESC/JAVA,PMD,COVERITY等)已經被證實可以成功地識彆齣大量的軟件潛在缺陷[1-3].然而,這類工具在可用性和有效性方麵的不足嚴重限製瞭它們的進一步廣汎使用.可用性不足包括a)每箇獨立缺陷檢測工具隻擅于檢測特定類型的缺陷,需要配閤使用纔能全麵檢測缺陷；b)每箇缺陷檢測工具的安裝、配置和運行佔用瞭用戶大量的時間、精力.有效性不足包括靜態缺陷分析結果往往存在大量誤報,併且會包括許多不重要的(不會引起程序員脩複行為的)缺陷報告.為瞭解決上述問題,提齣併構建瞭一箇易擴展的“靜態代碼缺陷分析”服務(Code Defect Analysis Service,CODAS).CODAS基于一箇高度可擴展的架構設計,對多箇獨立的缺陷檢測工具進行瞭封裝和集成,併對缺陷檢測報告進行瞭有效彙總和排序,從而充分髮揮瞭各箇獨立工具的優勢,大大提升瞭靜態缺陷分析工具的可用性和有效性.
이용정태대마결함분석기술대연건진행조기결함검측,시제고연건질량적중요도경.정태대마결함분석공구(여FINDBUGS,JLINT,ESC/JAVA,PMD,COVERITY등)이경피증실가이성공지식별출대량적연건잠재결함[1-3].연이,저류공구재가용성화유효성방면적불족엄중한제료타문적진일보엄범사용.가용성불족포괄a)매개독립결함검측공구지천우검측특정류형적결함,수요배합사용재능전면검측결함；b)매개결함검측공구적안장、배치화운행점용료용호대량적시간、정력.유효성불족포괄정태결함분석결과왕왕존재대량오보,병차회포괄허다불중요적(불회인기정서원수복행위적)결함보고.위료해결상술문제,제출병구건료일개역확전적“정태대마결함분석”복무(Code Defect Analysis Service,CODAS).CODAS기우일개고도가확전적가구설계,대다개독립적결함검측공구진행료봉장화집성,병대결함검측보고진행료유효회총화배서,종이충분발휘료각개독립공구적우세,대대제승료정태결함분석공구적가용성화유효성.
