26-08-2013, 05:21 PM
Ok, ça facilite le test d'une situation donnée, d'accord.
Donc, le test unitaire ne sert que si la preuve dit "la fonction est prouvée si et seulement si les tests de base passent". Il me semble quand même malvenu de faire ce test en dehors du code-même de la fonction incriminée... Surtout si on doit se retaper la preuve entière à chaque modification !
Pourquoi "this" tuerait la preuve? Supposons le cas d'un langage type PHP: pas de pointeurs (et pas de traitements parallèles, mais ce dernier point pourrait être omis je pense), alors pourquoi "this" tuerait toute tentative de preuve formelle?
Donc, le test unitaire ne sert que si la preuve dit "la fonction est prouvée si et seulement si les tests de base passent". Il me semble quand même malvenu de faire ce test en dehors du code-même de la fonction incriminée... Surtout si on doit se retaper la preuve entière à chaque modification !
Pourquoi "this" tuerait la preuve? Supposons le cas d'un langage type PHP: pas de pointeurs (et pas de traitements parallèles, mais ce dernier point pourrait être omis je pense), alors pourquoi "this" tuerait toute tentative de preuve formelle?