Voici une fonction censée compter les voyelles d'une chaîne

def compte_voyelles(s):
    n = 0
    for c in s:
        if c in "aeiou":
            n = n + 1
    return n

Défaut 1 : les majuscules. compte_voyelles("Oui") rend $2$ au lieu de $3$ — le O majuscule n'est pas dans la chaîne "aeiou". Cas de test le plus court qui le révèle : "A", attendu $1$, obtenu $0$.

Défaut 2 : le y. En français, y est une voyelle. compte_voyelles("rythme") rend $1$ (le e) au lieu de $2$. Cas le plus court : "y", attendu $1$, obtenu $0$.

La correction.

def compte_voyelles(s):
    """Nombre de voyelles de s, majuscules comprises, y compris le y.

    Precondition  : s est une chaine.
    Postcondition : 0 <= resultat <= len(s).
    """
    n = 0
    for c in s:
        if c.lower() in "aeiouy":
            n = n + 1
    return n

Contrôles après correction : "Oui" rend $3$, "rythme" rend $2$, "Yann" rend $2$, la chaîne vide rend $0$.

La leçon. Le test initial, "bonjour", est un mot en minuscules, sans y et sans accent. Il a été choisi en pensant au code qu'on venait d'écrire, et non au problème. C'est le biais central de la mise au point : on teste ce à quoi on a pensé, et le défaut est précisément ce à quoi on n'a pas pensé. Le remède n'est pas d'ajouter des cas au hasard, mais de repartir de la spécification — « voyelle du français » — et d'en dériver les cas : majuscule, y, chaîne vide, et, question ouverte, les lettres accentuées (é, à), que la version corrigée ne compte toujours pas. La docstring doit le dire.