一种基于类的Java多线程程序数据竞争静态检测算法
【出 处】:《
计算机工程与科学
》
CSCD
2014年第36卷第2期 233-237页,共5页
【作 者】:
宋东海
;
贲可荣
;
张志祥
【摘 要】
多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义.将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争.实例表明,该算法可用于指导修复程序中的竞争缺陷.
相关热词搜索:
上一篇:基于策略DNS和HTTP Proxy的多宿主网络服务部署的研究
下一篇:一种面向服务器制图可视化的矢量数据多尺度组织方法