在编写大型程序时存在错误和缺陷是难免的。验证程序正确性的最常用、最简单的方法是运行程序。（)