计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2012年
4期
5-8
,共4页
苏青琴%刘久富%陈魁%刘蓉
囌青琴%劉久富%陳魁%劉蓉
소청금%류구부%진괴%류용
不变量%静态检测%抽象解释%非函数依赖
不變量%靜態檢測%抽象解釋%非函數依賴
불변량%정태검측%추상해석%비함수의뢰
不变量的检测是提高软件质量的一种有效方法.针对传统静态检测方法可能带来无效的不变量、缺失不变量等缺陷,文中提出一种以抽象解释理论为基础的非函数依赖不变量的静态检测方法.首先利用词法语法分析得到抽象语法树,然后将抽象语法树转化成抽象域图,接着对抽象域图进行抽象执行得到程序中可执行的路径,最后依据定义的非函数依赖不变量表现形式对可执行路径分析得到程序中潜在的非函数依赖不变量.同时通过一个C程序为例对该方法进行验证说明.
不變量的檢測是提高軟件質量的一種有效方法.針對傳統靜態檢測方法可能帶來無效的不變量、缺失不變量等缺陷,文中提齣一種以抽象解釋理論為基礎的非函數依賴不變量的靜態檢測方法.首先利用詞法語法分析得到抽象語法樹,然後將抽象語法樹轉化成抽象域圖,接著對抽象域圖進行抽象執行得到程序中可執行的路徑,最後依據定義的非函數依賴不變量錶現形式對可執行路徑分析得到程序中潛在的非函數依賴不變量.同時通過一箇C程序為例對該方法進行驗證說明.
불변량적검측시제고연건질량적일충유효방법.침대전통정태검측방법가능대래무효적불변량、결실불변량등결함,문중제출일충이추상해석이론위기출적비함수의뢰불변량적정태검측방법.수선이용사법어법분석득도추상어법수,연후장추상어법수전화성추상역도,접착대추상역도진행추상집행득도정서중가집행적로경,최후의거정의적비함수의뢰불변량표현형식대가집행로경분석득도정서중잠재적비함수의뢰불변량.동시통과일개C정서위례대해방법진행험증설명.
