作者：戚晓芳 徐晓晶 江振亮 汪鹏并发程序程序切片依赖性分析可达性分析偏序约简程序分析软件测试中图法
摘要：并发程序切片是一种重要的并发程序分析手段．基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图，解决依赖关系的不可传递性问题，提高切片精度．程序可达图通过交织执行模拟并发活动，分析代价较高．偏序约简是一种十分有效的并发系统状态空间约简技术，约简的并发系统状态空间包含所有的并发程序执行代表．为提高效率，该文将偏序约简技术扩展到程序可达图的约简中，在偏序约简理论的基础上，证明了基于未约简和约简的并发程序可达图构造的并发程序依赖图在进行切片计算时是等价的．实验结果表明，采用偏序约简技术使基于程序可达图的并发程序切片方法在保证切片精度不受损失的前提下显著提高切片效率．与其它高精度切片方法相比，基于约简程序可达图的切片方法的精度更高，在大多数情况下，切片效率也有一定提高．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
