进行程序测试的目的是为了表明程序是正确的。