Quel que soit le code, il peut forcément y avoir (et y aura très probablement) des erreurs que tu ne trouveras pas en testant. Et même les scénarios aléatoires ne trouveront pas tout (un bogue peut avoir une probabilité très faible, où alors la condition qui le crée n'est pas couverte par les tests pour une raison ou pour une autre).
Un exemple: une ancienne implémentation de enter_ghost_space utilisait une plage d'adresses fixe comme stockage temporaire de code et la restaurait après. Ça marche parfaitement… sauf si le code de enter_ghost_space a le malheur de déjà se trouver à cet endroit, où ça écrase le code en cours d'exécution et paf, plantage. Ce bogue n'a pas été découvert pendant des années d'utilisations. Mais tout d'un coup, un utilisateur a rencontré un plantage bizarre après avoir installé une version bien précise de PreOs avec une taille bien précise et avec une version bien précise du lanceur de TIGCC et on s'est rendus compte qu'il est tombé pile sur ce bogue.
)
