软件测试的目的就是证明程序的正确性，即给定特定的输入，通过运行被测程序，检查程序的输出是否与预期结果一致，进而验证程序的正确性