[发明专利]一种基于约束求解的原子违背探测方法有效
| 申请号： | 201710052466.X | 申请日： | 2017-01-24 |
| 公开（公告）号： | CN106844215B | 公开（公告）日： | 2020-03-31 |
| 发明（设计）人： | 戚晓芳;周敏敏;靳娜娜 | 申请（专利权）人： | 东南大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 南京瑞弘专利商标事务所(普通合伙) 32249 | 代理人： | 杨晓玲 |
| 地址： | 211189 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种基于约束求解的原子违背探测方法，利用并发程序的原始执行轨迹确定原子性区域，结合原子违背的各种错误模式，建立原始执行轨迹中事件之间执行先后顺序的约束关系，利用Z3求解器进行约束求解，将原子违背的探测问题转化为约束等式的求解问题。本方法属于运行时预测技术，可根据约束求解出隐藏在原始执行轨迹中没有暴露出的原子违背错误，具有更好的探测原子违背的能力；对原始程序轨迹和每个不可序列化的执行交织建立一组约束，将探测原子违背问题转化为约束的求解问题，能够提高原子违背探测的精度。 | ||
| 搜索关键词： | 一种 基于 约束 求解 原子 违背 探测 方法 | ||
【主权项】：
一种基于约束求解的原子违背探测方法，其特征在于，利用并发程序原始执行轨迹，结合原子违背的各种错误模式，建立原始执行轨迹中事件之间执行先后顺序的约束关系，并求解，当约束有解时，该解对应的新的执行轨迹中存在原子违背现象，当约束无解时，则不存在原子违背现象。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于东南大学，未经东南大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710052466.X/，转载请声明来源钻瓜专利网。
