Jacques Printz

Le rôle des tests est multiple. En effet, aujourd'hui de très nombreuses activités ne peuvent être réalisées sans l'aide de logiciels et ceci dans des domaines très variés : gestion de la paye, gestion de la carrière des personnels, suivi des clients, contrôle des centrales nucléaires, aide au pilotage des avions civils et militaires, amélioration du fonctionnement des appareils ménagers, services offerts sur les mobiles ou les tablettes, etc. (...)

Or, on ne sait pas, par construction, fabriquer des logiciels sans défaut : l'homme commet des erreurs et aucun programme ne peut générer de façon sûre un autre programme ou vérifier qu'un programme fait exactement ce pour quoi il est fait. En effet, les limites théoriques montrent qu'il est impossible dans le cas général, de construire un algorithme permettant de dire si deux programmes réalisent les mêmes fonctions (il s'agit d'un problème insoluble).