一种基于调用链的Java程序数据竞争静态检测算法
宋东海1
陈二虎2
1.92493部队88分队,葫芦岛 1250012.92515部队,葫芦岛 125001
摘要：多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义.论文将竞争静态检测和静态切片分析结合起来,提出了一种类层次的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争.实例表明,该算法可用于指导修复程序中的竞争缺陷.
关键词：数据竞争程序切片静态分析竞争检测
分类号：TP391(计算技术、计算机技术)
论文发表日期：2013-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 53-57 )
英文信息