软件测试（英语：software testing），描述一种用来促进鉴定软件的正确性、完整性、安全性和品质的过程。据此，您可能会想，软件测试永远不可能完整的确立任意电脑软件的正确性。然而，在可计算理论（计算机科学的一个支派）一个简单的数学证明推断出下列结果：不可能完全解决所谓「当机」，指任意电脑程序是否会进入无穷循环，或者罢工并产生输出问题。换句话说，软件测试是一种实际输出与预期输出间的审核或者比较过程。

软件测试的经典定义是：在规定的条件下对进程进行操作，以发现进程错误，衡量软件品质，并对其是否能满足设计要求进行评估的过程。

Software testing is an investigation conducted to provide stakeholders with information about the quality of the product or service under test. Software testing can also provide an objective, independent view of the software to allow the business to appreciate and understand the risks of software implementation. Test techniques include the process of executing a program or application with the intent of finding software bugs (errors or other defects).