主题 : 英特尔推出机器编程工具,可自主检测代码中的 Bug
千山同一月 万户尽皆春 千江有水千江月 万里无云万里天
级别: 总版主

UID: 998
精华: 0
发帖: 605042
威望: 529514 点
无痕币: 0 WHB
贡献值: 0 点
在线时间: 62422(时)
注册时间: 2008-12-25
最后登录: 2024-05-10

0 英特尔推出机器编程工具,可自主检测代码中的 Bug

12月16日消息 英特尔本月推出了机器编程研究系统 ControlFlag,可以自主检测代码中的错误,目前仍处于早期阶段。
在初步测试中,ControlFlag 利用超过 10 亿行未标记的产品级别的代码进行了训练并学习了新的缺陷。

英特尔首席科学家 Justin Gottschlich 表示:“ControlFlag 是一个强大的新工具,可以大幅减少评估和 Debug 代码所需的时间和成本。”
英特尔表示,在IT行业每年花费的 1.25 万亿美元软件开发成本中,大约有 50% 是用于 Debug 代码。
据悉,ControlFlag 检测 Bug 的功能是通过机器编程实现的,其中融合了机器学习、形式化方法、编程语言、编译器和计算机系统。
IT之家了解到,英特尔甚至已经开始评估在内部使用 ControlFlag,在自己的软件和固件产品化中寻找 Bug。这是英特尔 Rapid Analysis for Developers 项目的关键组成部分。
级别: 十方秋水

UID: 88
精华: 0
发帖: 130120
威望: 221902 点
无痕币: 107420 WHB
贡献值: 0 点
在线时间: 51973(时)
注册时间: 2008-03-18
最后登录: 2024-04-25

又一精品。谢谢楼主分享。
千山同一月 万户尽皆春 千江有水千江月 万里无云万里天
级别: 总版主

UID: 998
精华: 0
发帖: 605042
威望: 529514 点
无痕币: 0 WHB
贡献值: 0 点
在线时间: 62422(时)
注册时间: 2008-12-25
最后登录: 2024-05-10

这个可以看看,了解一下。
知足常乐
级别: 十方秋水

UID: 23
精华: 1
发帖: 261143
威望: 117155 点
无痕币: 2454 WHB
贡献值: 0 点
在线时间: 9392(时)
注册时间: 2007-11-24
最后登录: 2024-05-10

进来看看了,谢谢总版分享!
事能知足心常乐 人到无求品自高
级别: 八片秋叶

UID: 232159
精华: 0
发帖: 45271
威望: 40966 点
无痕币: 10040 WHB
贡献值: 0 点
在线时间: 806(时)
注册时间: 2014-06-03
最后登录: 2024-05-09

谢谢楼主辛苦分享,了解一下。
Total 0.039560(s) query 4, Time now is:05-10 00:40, Gzip enabled 粤ICP备07514325号-1
Powered by PHPWind v7.3.2 Certificate Code © 2003-13 秋无痕论坛