Este documento define varios conceptos clave relacionados con las pruebas de software. Explica que las pruebas de software involucran herramientas, técnicas y métodos para garantizar el buen funcionamiento de un programa. También define términos como caso de prueba, defecto, error, falla, verificación y validación, y distingue entre estas diferentes nociones. Finalmente, destaca las diferencias entre verificación y validación, y entre defecto y prueba.