欢迎来到中细软旗下技术转移平台
请登录技术转移平台
-
-
基于Adaboost模型的并发程序数据竞争语句级检测方法
-
发明专利
专利类型 -
已下证
专利状态 -
2020103909670
专利号
-
专利信息
数据仅供参考，具体信息可联系在线顾问
| 专利号 | 2020103909670 | 专利名称 | 基于Adaboost模型的并发程序数据竞争语句级检测方法 |
|---|---|---|---|
| 专利类型 | 发明专利 | 国际分类 | G06F11/36 |
| 申请人 | 西安邮电大学 | 申请地址 | 陕西省西安市长安区西安邮电大学 |
| 发明人 | 孙家泽 | 申请日期 | 2020-05-11 |
| 下证状态 | 已下证 | 更新时间 | 2026-10-17 18:00:13 |
| 专利摘要 | 针对软件测试领域中的并发程序数据竞争检测问题，公开基于Adaboost模型的并发程序数据竞争语句级检测方法。本方法首先对并发程序进行插桩取样，记录指令的相关内存信息，将取出的指令集进行语句级转化；然后进一步提取出数据竞争相关属性特征，基于训练样本的特征属性构建并发程序Adaboost数据竞争语句级检测模型，最后利用模型对待测并发程序进行数据竞争检测。本发明提供了一种检测精度高、开销低的数据竞争检测方法，用于优化并发程序数据竞争检测问题。 | ||
交易流程
转让材料
| 买卖双方需提供 | 平台提供 | 转让后买方可获得 | ||
|---|---|---|---|---|
| 企业 | 个人 | 专利代理委托书 专利权转让协议 办理文件副本请求书 发明人变更声明 | 专利证书 手续合格通知书 专利登记簿副本 | |
| 买方 | 企业营业执照 企业组织机构代码证 | 身份证 | ||
| 卖方 | 企业营业执照 专利证书原件 | 身份证 专利证书原件 | ||
服务保障
优质专利推荐
-
一种一锅法合成硝酸益康唑的方法
专利状态：已下证
专利类型：发明专利
询价
-
带式电泳Micro LED元件连续排列机器人流水线及排列方法
专利状态：已下证
专利类型：发明专利
询价
-
一种球节点空间桁架钢筋笼及其制造辅助装置
专利状态：已下证
专利类型：实用新型
询价
-
一种基于区块链的电动汽车电池更换系统及方法
专利状态：已下证
专利类型：发明专利
询价
- 品类齐全，快速响应
- 专业顾问一对一服务
- 服务流程追踪更安全
400-9696-518
全国免费服务热线
- 细软在线电商小程序
- 细软知识产权公众号
登录成功
您的咨询我们已收到，稍后会有专业顾问与您联系。