给定程序中错误的上限

如果BUG是 “程序未满足的要求” ,那么对于bug的数量没有限制(每行或其他),因为需求的数量没有限制。

print "hello world"

可能包含一百万个错误。它不会造成粉红的大象。我把它留给读者来提出999999这个程序不满足的其他要求。

指令的数量与程序是否执行用户希望它执行的操作无关。我是说,看看GCC在平衡我的支票簿方面做得有多差。四轮马车都出来了,下去就没用了!

这完全取决于你如何定义一个“bug”。

如果您将一个程序定义为从某个输入到某个输出的函数,将一个规范定义为该函数的定义,将一个bug定义为输出与给定输入上的规范之间的任何差异,那么是的,您可以想象拥有可数无限的bug——但是这是一个有点无用的bug定义。

上限是程序可以处于的状态数。因为这个数字在真实的机器上是有限的,所以您可以将状态从1到n进行编号。对于每个状态,如果这个状态是bug,您可以标记它。所以是的,但是即使是一个16字节内存的小程序也有2^128个状态,分析所有不同状态的问题也是很难解决的。

对于bug有一个理论上的上限,但是对于除了最普通的程序以外的所有程序来说,它几乎是不可能计算的,尽管 engines such as Pex 一定要试试老学院的做法。

程序设计定律:

"If You will find all compile-time bugs, then n logical ones are still hidden, waiting to surprise You at run-time."

取决于你如何计算错误,这让我说“不,没有限制”。我不了解你,但我可以 容易地 在同一行代码中编写几个错误。例如,这个Java代码中有多少个bug?-P

public int addTwoNumbers(int x, String y)
{{
    z == x + y;
    return y;
}

如果这个bug足够重要的话,就只有一个。