基于SMT求解器的嵌入式多线程程序数据竞态条件分析
作者：容会; 潘有顺; 王艳玲; 周祖坤; 王晓亮
摘要：针对嵌入式多线程程序中出现的数据竞态条件,论文提出了一种基于SMT求解器数据竞态条件检测分析方法。通过对多线程程序执行路径与源程序分析,构建对应的约束条件,将其作为输入,SMT求解器验证是否满足数据竞态条件。通过实验,论文提出的嵌入式多线程程序数据竞态条件的分析与检测方法在检测效率上还是比较理想的。
分类：
- 期刊
- >
- 自然科学与工程技术
- >
- 信息科技
- >
- 电子信息科学综合
收录：
- 维普收录(中)
- 知网收录(中)
- 上海图书馆馆藏
- 万方收录(中)
- 国家图书馆馆藏
- 统计源期刊(中国科技论文优秀期刊)
关键词：
- 嵌入式多线程程序
- 数据竞态条件
- 竞态条件分析
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
