Lorsqu'un programme ``boucle sans fin'', il faut essayer de repérer dans quelle partie du programme il reste confiné. Il s'agit généralement d'une structure répétitive, dont il faut vérifier les conditions de sortie (tests) et les actions entreprises pour que ces conditions soient remplies à un moment donné.