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