Este artículo presenta los procedimientos para realizar la prueba de aplicaciones o programas grandes de computador y define los términos asociados con la misma. Una de las metas de la Ingeniería de Software es aumentar el nivel de corrección del software de computador. El propósito de la prueba es dar una medida de la corrección de un programa. La prueba es parte integral del ciclo de diseño y por tanto debe chequearse la corrección del programa cuando éste se está desarrollando.