只要能够达到 100%的逻辑覆盖率，就可以保证程序的正确性。