文科生一问：BUG必须人工找吗？

有没有会找BUG甚至修复BUG的程序？

阿尔法狗？愚蠢的人类，嘎嘎

如果能修复BUG，基本就不要人来写代码了，那何来的BUG？

有自动化测试，能找出哪里有，但原因大部分还得人工排查。

有些bug就连不同人都在定义上打架。HiPDA·NG

自动化测试不就是非人工么

不是有自动测试工具吗

软件测试不就是干这些事的吗？

找bug，对测试说是从使用中发现问题表象。你对开发说是从代码里确认逻辑错误。

自动化工具也只能机械执行预先输入对比期望输出

自动化测试也是人写的。 iOS fly ~

最好就是自动测试，自动修改自身。。
嗯，感觉跟病毒也没差了。。。

你这定义的话，就没有非人工找bug的程序。

自动化测试是依据模板，找到这类程序中的别的程序已知bug。

语法错误 或者编译器能搞定的都会阻止程序编译 这些算是机器帮你找的bug吧

不是，你要是写个检测程序检测不会变的东西那可以一劳永逸，对于应用服务这种每天都在变化的东西，自动化案例甚至框架本身都需要跟着迭代，这就很废啊。 iOS fly ~

听说github 有些 工具可以自己修正bug了, 不过场景局限性很强, 不具有普适性

现在都在搞自动化生成自动化用例，说都就是呢这种情况

停机问题：能不能不运行一个程序，就判断它会不会死循环？

除非系统足够简单，bug可是层出不穷，甚至无穷无尽的。看看母体这个bug。

修复程序出了bug咋办

这个我觉得 不好，可能对于谷歌那种顶级科技公司是利器，对普通it公司不合适 iOS fly ~

回复6#znm
用例都是人写的 iOS fly ~

好不好就是另外的问题了，楼主问题也是类似，有这种自动程序也说像你说的大公司先用。

有。能力有限。

有的，这个正好是我导师的研究内容，叫做错误定位，错误修复，错误定位的有些研究成果已经在业界有应用，错误修复整体比较初级，应用很少。

楼主问的是有没这种程序，那程序夜也是人写的。

你这种定义，就是没有了。

有些东西说是bug，只是不符合预期而已，预期是人的预期，所以机器只能干死板的预期。

没办法干不明确的预期。

有啊，不过能力有限，再说这类程序自己也备不住有bug

很多Bug是算法的问题，不是计算的问题。

自动检测只不过是重新计算一遍，又不会自己修改算法。

所以说，人工智能代替人类在很长的一段时间内都是扯淡。

除非人工智能会自己设计算法。

我都不知道自己要干什么，谁能来给我debug？

反过来才对
怎么保证正确，甚至足够正确
而不是找出错误

停机问题，蔡廷常数，解决这个问题就能轻而易举的解决哥德巴赫猜想等等问题，你说难不难？ iOS fly ~

有一些找BUG的插件，提示基本问题， 比如 直接 goto 到了程序结尾， 中间一堆代码被绕过去了， 这些明显的逻辑问题。

但太深的BUG， 太复杂的逻辑， 是不行的。