计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2014年
2期
233-237
,共5页
多线程程序%数据竞争%程序切片%静态分析%竞争检测
多線程程序%數據競爭%程序切片%靜態分析%競爭檢測
다선정정서%수거경쟁%정서절편%정태분석%경쟁검측
multithread program%data race%program slice%static analysis%race detection
多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义.将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争.实例表明,该算法可用于指导修复程序中的竞争缺陷.
多線程併髮程序的廣汎使用引髮瞭更多的數據競爭問題,競爭檢測對于提高軟件質量具有重要意義.將競爭靜態檢測和靜態切片分析結閤起來,提齣瞭一種基于類的Java數據競爭靜態檢測算法,該算法利用函數調用層次穫得函數調用鏈,對類域進行分析,找齣可能數據競爭,通過靜態切片縮小程序分析範圍,併結閤數據競爭的必要條件,去掉不可能數據競爭.實例錶明,該算法可用于指導脩複程序中的競爭缺陷.
다선정병발정서적엄범사용인발료경다적수거경쟁문제,경쟁검측대우제고연건질량구유중요의의.장경쟁정태검측화정태절편분석결합기래,제출료일충기우류적Java수거경쟁정태검측산법,해산법이용함수조용층차획득함수조용련,대류역진행분석,조출가능수거경쟁,통과정태절편축소정서분석범위,병결합수거경쟁적필요조건,거도불가능수거경쟁.실례표명,해산법가용우지도수복정서중적경쟁결함.
