To Code is Human

de Gerard J. Holzmann

• Description de la programmation avant : carte de programmation, file d'attente au compilateur, délai de 24h pour savoir s'il y a des erreurs et recommencer jusqu'à ce que le code soit juste. Il faut faire attention aux "warnings". Quand le code s'est automatisé, il a gardé les réflexes d'attention et de vérification.

• Dans le top des erreurs les plus communes des programmeurs, il y a l'utilisation non voulue de données non initialisées. Avec un exemple de ce type en C. La cause de cet accident est souvent l'existence d'un chemin d’exécution (mécanisme) que le développeur n'avait pas soupçonné. La façon de corriger ça requiert de réécrire l’algorithme pour s'assurer que le chemin d’exécution caché est bien suivi.

• A partir du moment où on tente de mesurer quantitativement le code, on se rend compte que le nombre de lignes écrites augmentent drastiquement en un laps de temps très court.

• Un seul mauvais placement de "break"
  peut paralyser l'ensemble réseau d'appels interurbains, comme
  fait aux États-Unis le 15 janvier 1990.
  Une seule variable non initialisée peut
  faire un accident de vaisseau spatial, comme il le faisait sur
  3 décembre 1999 quand le Mars
  Polar Lander a échoué à son atterrissage