什么是软件测试？

检查、检验 Check ？
验证软件能否正常运行？
发现问题 Detect error ？
证明是对的 Correction proof ？
质量评估 Quality evaluation ？
质量保证 Quality Assurance？