文萬志 程實(shí)

摘 要：傳統(tǒng)的靜態(tài)程序切片和動態(tài)程序切片技術(shù)很難有效解決并發(fā)程序中數(shù)據(jù)共享錯誤定位問題。文中基于擴(kuò)展的定義使用關(guān)系構(gòu)造靜態(tài)并發(fā)序列切片和動態(tài)并發(fā)序列切片，并通過實(shí)例驗(yàn)證了并發(fā)序列切片在定位數(shù)據(jù)共享錯誤上的有效性。

關(guān)鍵詞：并發(fā)序列切片；程序切片；數(shù)據(jù)共享錯誤