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