计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2015年
z1期
525-530
,共6页
王伟%刘渊%张春瑞%文平%谢家俊
王偉%劉淵%張春瑞%文平%謝傢俊
왕위%류연%장춘서%문평%사가준
序列挖掘%克隆代码%上下文不一致性缺陷%软件缺陷检测
序列挖掘%剋隆代碼%上下文不一緻性缺陷%軟件缺陷檢測
서렬알굴%극륭대마%상하문불일치성결함%연건결함검측
Sequential pattern mining%Clone code%Context-based inconsistencies bugs%Software bug detection
为了检测在软件开发过程中由拷贝-粘贴操作引起的上下文不一致性缺陷,在基于频繁子序列挖掘算法的克隆代码检测模型基础上,改进上下文不一致性缺陷检测过滤规则,对上下文结构类型不一致性和上下文条件谓词不一致性两种缺陷进行了检测.为了识别具有相同语义但不同语法结构(即语法树表示)的表达式,还增加了对生成的表达式语法树的标准化处理.开源代码上的实验结果表明,该模型对拷贝-粘贴操作引起的上下文不一致性缺陷具有较低的误检率,不存在漏检,尤其适用于安全攸关的软件系统.
為瞭檢測在軟件開髮過程中由拷貝-粘貼操作引起的上下文不一緻性缺陷,在基于頻繁子序列挖掘算法的剋隆代碼檢測模型基礎上,改進上下文不一緻性缺陷檢測過濾規則,對上下文結構類型不一緻性和上下文條件謂詞不一緻性兩種缺陷進行瞭檢測.為瞭識彆具有相同語義但不同語法結構(即語法樹錶示)的錶達式,還增加瞭對生成的錶達式語法樹的標準化處理.開源代碼上的實驗結果錶明,該模型對拷貝-粘貼操作引起的上下文不一緻性缺陷具有較低的誤檢率,不存在漏檢,尤其適用于安全攸關的軟件繫統.
위료검측재연건개발과정중유고패-점첩조작인기적상하문불일치성결함,재기우빈번자서렬알굴산법적극륭대마검측모형기출상,개진상하문불일치성결함검측과려규칙,대상하문결구류형불일치성화상하문조건위사불일치성량충결함진행료검측.위료식별구유상동어의단불동어법결구(즉어법수표시)적표체식,환증가료대생성적표체식어법수적표준화처리.개원대마상적실험결과표명,해모형대고패-점첩조작인기적상하문불일치성결함구유교저적오검솔,불존재루검,우기괄용우안전유관적연건계통.
