计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2014年
3期
568-579
,共12页
戚晓芳%徐晓晶%江振亮%汪鹏
慼曉芳%徐曉晶%江振亮%汪鵬
척효방%서효정%강진량%왕붕
并发程序%程序切片%依赖性分析%可达性分析%偏序约简%程序分析%软件测试
併髮程序%程序切片%依賴性分析%可達性分析%偏序約簡%程序分析%軟件測試
병발정서%정서절편%의뢰성분석%가체성분석%편서약간%정서분석%연건측시
concurrent program%program slicing%dependence analysis%reachability analysis%partial-order reduction%program analysis%software testing
并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图,解决依赖关系的不可传递性问题,提高切片精度.程序可达图通过交织执行模拟并发活动,分析代价较高.偏序约简是一种十分有效的并发系统状态空间约简技术,约简的并发系统状态空间包含所有的并发程序执行代表.为提高效率,该文将偏序约简技术扩展到程序可达图的约简中,在偏序约简理论的基础上,证明了基于未约简和约简的并发程序可达图构造的并发程序依赖图在进行切片计算时是等价的.实验结果表明,采用偏序约简技术使基于程序可达图的并发程序切片方法在保证切片精度不受损失的前提下显著提高切片效率.与其它高精度切片方法相比,基于约简程序可达图的切片方法的精度更高,在大多数情况下,切片效率也有一定提高.
併髮程序切片是一種重要的併髮程序分析手段.基于程序可達圖可構造以程序狀態和語句二元組為節點的、依賴關繫具有可傳遞性的併髮程序依賴圖,解決依賴關繫的不可傳遞性問題,提高切片精度.程序可達圖通過交織執行模擬併髮活動,分析代價較高.偏序約簡是一種十分有效的併髮繫統狀態空間約簡技術,約簡的併髮繫統狀態空間包含所有的併髮程序執行代錶.為提高效率,該文將偏序約簡技術擴展到程序可達圖的約簡中,在偏序約簡理論的基礎上,證明瞭基于未約簡和約簡的併髮程序可達圖構造的併髮程序依賴圖在進行切片計算時是等價的.實驗結果錶明,採用偏序約簡技術使基于程序可達圖的併髮程序切片方法在保證切片精度不受損失的前提下顯著提高切片效率.與其它高精度切片方法相比,基于約簡程序可達圖的切片方法的精度更高,在大多數情況下,切片效率也有一定提高.
병발정서절편시일충중요적병발정서분석수단.기우정서가체도가구조이정서상태화어구이원조위절점적、의뢰관계구유가전체성적병발정서의뢰도,해결의뢰관계적불가전체성문제,제고절편정도.정서가체도통과교직집행모의병발활동,분석대개교고.편서약간시일충십분유효적병발계통상태공간약간기술,약간적병발계통상태공간포함소유적병발정서집행대표.위제고효솔,해문장편서약간기술확전도정서가체도적약간중,재편서약간이론적기출상,증명료기우미약간화약간적병발정서가체도구조적병발정서의뢰도재진행절편계산시시등개적.실험결과표명,채용편서약간기술사기우정서가체도적병발정서절편방법재보증절편정도불수손실적전제하현저제고절편효솔.여기타고정도절편방법상비,기우약간정서가체도적절편방법적정도경고,재대다수정황하,절편효솔야유일정제고.
