支派）一个简单的数学证明推断出下列结果：不可能完全解决所谓「当机」，指任意电脑程式是否会进入无穷回圈，或者罢工并产生输出问题。换句话说，软体测试是一种实际输出与预期输出间的稽核或者比较过程。软件测试的经典定义是：在规定的条件下对程序进行操作，以发现程序错误，衡量软体品质，并对其是否能满足设计要求进行评估的过程。软体测试有许多方法，但对复杂的产品执行有效测试不仅仅是研究过程，更是创造并严格遵守某些呆板步骤的大事。测试的其中一个定义：为了评估而质疑产品的过程；这里的“质疑”是测试员试着对产品做的事，而产