软件测试是为证明程序是否正确。