文萬志 程實

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

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