一种基于调用链的Java程序数据竞争静态检测算法

• 作者: 宋东海 陈二虎
• 来源期刊: 舰船电子工程
• 学科: 工学
• 关键词: 数据竞争 程序切片 静态分析 竞争检测
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 信息融合技术
• 页码范围: 53-57
• 页数: 5页
• 分类号: TP391
• 字数: 5065字
• 语种: 中文
• DOI: 10.3969/j.issn1672-9730.2013.12.018

摘要

多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义.论文将竞争静态检测和静态切片分析结合起来,提出了一种类层次的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争.实例表明,该算法可用于指导修复程序中的竞争缺陷.