Prueba negativa básica

En la primera parte , comenzamos a escribir una función factorial en el estilo basado en pruebas. Dependemos de la humilde declaración de "afirmación" para ejecutar nuestras pruebas y terminamos con esto:

def factorial(n):
    return n * factorial(n-1) if n else 1
assert factorial(0) == 1
assert factorial(2) == 2
assert factorial(5) == 120

>>> factorial(-1)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "fac9.py", line 24, in factorial
    return n * factorial(n-1) if n else 1
  File "fac9.py", line 24, in factorial
    return n * factorial(n-1) if n else 1
  File "fac9.py", line 24, in factorial
    return n * factorial(n-1) if n else 1
  [Previous line repeated 996 more times]
RecursionError: maximum recursion depth exceeded

Cuando encontramos un error, dado que estamos escribiendo pruebas primero, no comenzamos por corregir el error. En cambio, comenzamos escribiendo una prueba que expone el error.

Aquí, nos olvidamos de probar un "caso negativo". La "prueba negativa" es un concepto resbaladizo, pero más o menos significa probar errores.

Podríamos argumentar que nuestro código actual se está comportando correctamente: los factoriales de negativos no están bien definidos, por lo que es apropiado arrojar un error. Sin embargo, este error no es útil. Deberíamos lanzar un error más informativo, para que las personas que llaman puedan entender mejor qué hicieron mal.

Sin embargo, no podemos escribir esta afirmación como las demás: para probar que una función lanza una excepción, necesitamos capturar la excepción:

def factorial(n):
    return n * factorial(n-1) if n else 1
...
try:
    factorial(-1)
except:
    pass

$ python fac.py
$

Necesitamos probar que, cuando nuestra función genera un error, genera el tipo de error que esperamos. ValueError es un tipo incorporado apropiado aquí, por lo que lo agregaremos a la línea de excepción.

def factorial(n):
    return n * factorial(n-1) if n else 1
...
try:
    factorial(-1)
except ValueError as e:
    pass

$ python fac.py
Traceback (most recent call last):
  File "fac.py", line 28, in <module>
    factorial(-1)
  File "fac.py", line 23, in factorial
    return n * factorial(n-1) if n else 1
  File "fac.py", line 23, in factorial
    return n * factorial(n-1) if n else 1
  File "fac.py", line 23, in factorial
    return n * factorial(n-1) if n else 1
  [Previous line repeated 996 more times]
RecursionError: maximum recursion depth exceeded

def factorial(n):
    if n < 0: return
    return n * factorial(n-1) if n else 1
...
try:
    factorial(-1)
except ValueError as e:
    pass

$ python fac.py
$

def factorial(n):
    if n < 0: return
    return n * factorial(n-1) if n else 1
...
try:
    factorial(-1)
    assert False, 'Factorial of < 0 should have raised an error'
except ValueError as e:
    pass

$ python fac.py
Traceback (most recent call last):
  ...
AssertionError: factorial of < 0 should have raised an error

def factorial(n):
    if n < 0:
        raise ValueError()
    return n * factorial(n-1) if n else 1
...
try:
    factorial(-1)
    assert False, 'Factorial of < 0 should have raised an error'
except ValueError as e:
    pass

def factorial(n):
    if n < 0:
        raise ValueError()
    return n * factorial(n-1) if n else 1
...
try:
    factorial(-1)
    assert False, 'Factorial of < 0 should have raised an error'
except ValueError as e:
    assert str(e) == 'Factorial of negative is undefined'

$ python fac.py
...
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
  File "fac.py", line 19, in <module>
    assert str(e) == 'Factorial of negative is undefined'
AssertionError