分享热点新闻
打造优质自媒体!

英特尔介绍了机器编程工具 它可以独立检测代码中的错误

2007年12月16日-英特尔本月推出了机器编程研究系统ControlFlag,可以独立检测代码中的错误,目前还处于初期阶段。

在初步测试中,控制标志使用超过10个亿行未标记的产品级别代码来训练和学习新的缺陷。

英特尔介绍了机器编程工具 它可以独立检测代码中的错误 科学快报 第1张

英特尔,首席科学家贾斯汀戈特施里奇说:“控制标志是一种强大的新工具,可以大大减少评估和调试代码所需的时间和成本。”

英特尔说,信息技术行业每年花费的1.25万亿美元的软件开发成本中,约有50%用于调试代码。

据报道,ControlFlag的Bug检测功能是通过机器编程实现的,它集成了机器学习、形式化方法、编程语言、编译器和计算机系统。

英特尔甚至已经开始在内部评估ControlFlag的使用,并在自己的软件和固件的产品化中寻找缺陷。这是英特尔开发商快速分析项目的关键组成部分