因此，无法采取穷尽性测试来发现程序中的所有缺陷