并发序列切片

传统的静态程序切片和动态程序切片技术很难有效解决并发程序中数据共享错误定位问题。文中基于扩展的定义使用关系构造静态并发序列切片和动态并发序列切片,并通过实例验证了并发序列切片在定位数据共享错误上的有效性。