哪些错误无法通过测试技术检测到,只能靠猜测?

What errors that can't be detected by testing techniques but rather by guessing?

众所周知,错误猜测是根据以往经验了解错误的一种方式。但是,如果所有其他正式技术(如白盒测试或其他黑盒测试)都无法识别错误,测试人员通常会使用这种技术。

场景:假设我有自动公交车门,一旦公交车到达残障人士车站就会自动打开。

我的问题如下: 什么样的错误会发生(在上面的场景中)并且只能通过猜测而不是任何其他正式技术来检测?

谢谢..

不存在形式化技术无法发现的错误,至少在理论上是这样。很难生成所有相关的测试用例并实现 100% 的测试覆盖率。错误猜测的要点是使用经验和启发式方法找到一些可能失败的测试用例,同时仍然忽略许多其他没有失败的测试用例。