But sometimes, despite having passed its test suite, a program will, upon manual inspection, exhibit erroneous behavior that should have been discovered by one of the tests.

• 但有时尽管已经通过了一套测试,在手工检查时,程序仍会出现本该由这些测试之一发现的错误行为。