超10亿行的代码训练！Intel开源开发工具

文则 | Travis

出品 | OSCOpenBSD乡村（ID：oschina2013）

月内，惠普推出了一个基于建模的code侦测工具箱 ControlFlag，可以试图IBM找到code中的出错，降低仿真应用软件和软件所须要的时长。惠普在用超过 10 亿行的code对 ControlFlag 进行训练后取得令人印象深刻的结果，ControlFlag 在已达到 "生产质量" 的软件中找到了数百个出错，展示出其在code侦测方面的实用性。而且在月内年底，惠普就已将该工具箱布署至公司内部，主要用途检查从固件到软件应用的code库。

如今时隔一年时长，惠普又带给了有关 ControlFlag 的取而代之消息，现在惠普将 ControlFlag 迟至OpenBSD，以试图愈来愈多IBM自主侦测code出错。

ControlFlag 符合于任何包含控制构件的编程语言（如 C/C++），用以通过利用无统筹的修习形式降低仿真实习。通过无统筹修习，一个线性被置于 "尚推断出" 信息中，ControlFlag 能够自己对信息进行分类、检视尚未上面的信息，并从其固有的构件中修习。

ControlFlag 能够迅速地从尚未上面的源code中修习，随着取而代之信息的引入而 "进化"，使自己变得愈来愈好。虽然它还不必自动解决它所找到的code出错，但该工具箱可以为研发人员提供了潜在的修改表示同意。

惠普首席 AI 科学家 Justin Gottschlich 透露：“惠普致力于使软件愈来愈加强大，维护出去不那么麻烦，同时在不引入杀毒软件的情况下保留出色的安全性。我们借此像 ControlFlag 这样的项目能够在全球范围内大幅降低研发软件的时长，由于IBM通常会在仿真上费时过多的时长，因此在这个领域中哪怕是节省一点点时长，也能创造巨大的效益，从而减速关键技术的进步。”

ControlFlag 的相关code已托管至 GitHub和平台：。感兴趣的IBM可以尝试用它来检查一下自己研发的项目，看看是否能进一步提高研发可靠性。

IBM迟至抛弃UWP！ 如何解决MySQL中的死锁难题？ 文则末送书|怎样短时长入门Javacode审核？

真是不错，请点个在看呀