|
|||||
|
|
| 一种并发程序原子性错误的检测方法及工具 | |
| 作者姓名： | 李潇 刘剑 易秋萍 |
| 作者单位： | 中国科学院软件研究所 北京100190 |
| 摘 要： | 原子性错误的检测对于多线程程序并发错误的分析有着重要意义,其检测难点在于从违反原子性的情况中识别出会导致程序出错的执行序列.为了解决这个问题,采用测试训练提取原子性迁移对集合以及模型检测方法,提出原子性错误自动检测算法MC AVIO.基于MC AVIO实现原子性错误检测工具AtomFinder,通过对多组开源软件的测试,证明MC AVIO对原子性错误的检测是有效的. |
| 关 键 词： | 多线程程序 原子性错误 线程序列的不确定 模型检测 |
| 本文献已被 万方数据 等数据库收录！ | |