Tipos de pruebas de software: diferencias y ejemplos