不经过源代码 开发不朽程序修复BUG


《MIT技术评论》报道,MIT计算机科学教授Martin Rinard有一个雄心勃勃的目标,开发出不朽的程序。

Rinard和华盛顿大学副教授Michael Ernst领导一群研究人员开发一种软件,它能在数分钟内修复某类软件bug,而人类工程师平均需要大约一个月时间才能发现和修复软件的漏洞。研究人员与Determina公司合作,希望他们的软件ClearView能加快这一进程。ClearView不需要人类的帮助,也不需要接触软件的底层源代码。它通过监视一个二进制程序的行为,分配一组规则。当探测到异常行为,识别出其违反的规则后,它会给出一些可能的补丁,强迫软件遵受被侵犯的规则。补丁直接作用于二进制程序,而不是源代码。ClearView会分析哪一种补丁最有效,安装最前面的候选者,然后测试效果。如果补丁导致系统崩溃,它会撤回然后尝试其它的。

相关内容