北京理工大学学报
北京理工大學學報
북경리공대학학보
JOURNAL OF BEIJING INSTITUTE OF TECHNOLOGY
2013年
2期
160-165
,共6页
王崑声%詹海潭%经小川%李宁%张刚
王崑聲%詹海潭%經小川%李寧%張剛
왕곤성%첨해담%경소천%리저%장강
运行时错误%路径敏感%上下文敏感%属性模型%属性流
運行時錯誤%路徑敏感%上下文敏感%屬性模型%屬性流
운행시착오%로경민감%상하문민감%속성모형%속성류
提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机；并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
提齣一種基于屬性模型的運行時錯誤靜態分析方法.該方法將運行時的錯誤按照髮生原因進行分類,提取每類錯誤的屬性模式,對屬性模式進行形式化建模形成屬性有限狀態機；併對程序流圖中與屬性相關的路徑進行分析,對照屬性有限狀態機運用路徑敏感和上下文敏感的方法分析運行時錯誤.實驗結果顯示,該方法與現有主流方法相比,在準確率和效率之間可取得良好平衡.
제출일충기우속성모형적운행시착오정태분석방법.해방법장운행시적착오안조발생원인진행분류,제취매류착오적속성모식,대속성모식진행형식화건모형성속성유한상태궤；병대정서류도중여속성상관적로경진행분석,대조속성유한상태궤운용로경민감화상하문민감적방법분석운행시착오.실험결과현시,해방법여현유주류방법상비,재준학솔화효솔지간가취득량호평형.
