并發序列切片
2015-05-30 10:48:04文萬志程實
科技創新與應用 2015年35期
文萬志 程實
摘 要：傳統的靜態程序切片和動態程序切片技術很難有效解決并發程序中數據共享錯誤定位問題。文中基于擴展的定義使用關系構造靜態并發序列切片和動態并發序列切片，并通過實例驗證了并發序列切片在定位數據共享錯誤上的有效性。
關鍵詞：并發序列切片；程序切片；數據共享錯誤
文萬志 程實
摘 要：傳統的靜態程序切片和動態程序切片技術很難有效解決并發程序中數據共享錯誤定位問題。文中基于擴展的定義使用關系構造靜態并發序列切片和動態并發序列切片，并通過實例驗證了并發序列切片在定位數據共享錯誤上的有效性。
關鍵詞：并發序列切片；程序切片；數據共享錯誤
