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

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

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: 998
精华: 0
发帖: 605059
威望: 529688 点
无痕币: 0 WHB
贡献值: 0 点
在线时间: 62628(时)
注册时间: 2008-12-25
最后登录: 2024-05-20

这个可以看看,了解一下。
Total 0.059257(s) query 5, Time now is:05-20 17:55, Gzip enabled 粤ICP备07514325号-1
Powered by PHPWind v7.3.2 Certificate Code © 2003-13 秋无痕论坛