Vérifier sur machine que depuis base(vers base(n, b), b) == n pour…

compte = 0
for n in range(0, 2001):
    for b in range(2, 17):
        assert depuis_base(vers_base(n, b), b) == n
        compte = compte + 1
print(compte)   # 30015

Aucune assertion ne se déclenche.

Le décompte. $2001$ valeurs de $n$ (de $0$ à $2000$ inclus) et $15$ valeurs de $b$ (de $2$ à $16$ inclus) : $2001\times 15=30015$ cas.

Ce que cette vérification prouve, et ce qu'elle ne prouve pas. Elle teste une propriété d'inversion : les deux fonctions se défont l'une l'autre. C'est un test très efficace, car il ne demande aucune valeur attendue écrite à la main. Mais il ne prouverait rien si les deux fonctions étaient fausses de la même façon — deux erreurs inverses se compenseraient. On y reviendra au chapitre 3.

Erreur attendue : écrire range(2000) et range(16), ce qui teste $2000\times 16$ cas dont ceux des bases $0$ et $1$ — qui n'ont pas de sens, et où vers_base boucle indéfiniment pour $b=1$.