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