软体测试（），描述一种用来促进鑑定软体的正确性、完整性、安全性和品质的过程。依照可计算理论（计算机科学的一个支派）一个简单的数学证明推断出下列结果：不可能完全解决所谓「当机」，指任意电脑程式是否会进入无穷回圈，或者罢工并产生输出问题。换句话说，软体测试是一种实际输出与预期输出间的稽核或者比较过程。软件测试的经典定义是：在规定的条件下对程序进行操作，以发现程序错误，衡量软体品质，并对其是否能满足设计要求进行评估的过程。软体测试有许多方法，但对复杂的产品执行有效测试不仅仅是研究过程，更是创造并严格遵守某