•软件测试的正向理解o验证软件的正确性，给用户以信心。•软件测试的反向理解o检测程序的错误，发现以前未发现的错误。•狭义的软件测试o仅仅指动态测试，运行程序以检测错误，验证软件是否符合用户需求，是否可以正常工作。•广义的软件测试o不仅是动态地运行程序，还包括程序代码、设计、文档的审查活动，是静态测试+动态测试。•测试=V&Voverification验证：验证程序是否满足文档中说明的需求。ovalidation有效性确认：确认软件满足用户的真正需求。•TestOracle的来源，如何确定预期测试结果o软件测试结果的正确性，有时不易判断。testoracle的来源主要有用户期望、产品愿景、竞品、常识、数据