英特尔首席科学家 Justin Gottschlich 表示:“ControlFlag 是一个强大的新工具,可以大幅减少评估和 Debug 代码所需的时间和成本。”
英特尔表示,在IT行业每年花费的 1.25 万亿美元软件开发成本中,大约有 50% 是用于 Debug 代码。
据悉,ControlFlag 检测 Bug 的功能是通过机器编程实现的,其中融合了机器学习、形式化方法、编程语言、编译器和计算机系统。
IT之家了解到,英特尔甚至已经开始评估在内部使用 ControlFlag,在自己的软件和固件产品化中寻找 Bug。这是英特尔 Rapid Analysis for Developers 项目的关键组成部分。
广告声明:文内含有的对外跳转链接(包括不限于超链接、二维码、口令等形式),用于传递更多信息,节省甄选时间,结果仅供参考,IT之家所有文章均包含本声明。