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