26-08-2013, 01:00 PM
Écrire les tests s'apprend. Si tu testes une fonction avec uniquement des '1' c'est un peu stupide. La programmation ce n'est pas des math, non. ça utilise les math mais on y trouve également de la logique entre autres choses.
Tu ne peux pas prendre n'importe quel programme et prouver sa "correctitude" avec uniquement des math (bien que tu puisses le faire pour certains programmes).
Encore une fois on retrouve ici un défaut le la programmation orientée objet qui couple les méthodes à un état et il est beaucoup plus difficile de tester des fonctions avec des effets de bord. Maintenant, si tu prend des fonctions sans effet de bord au maximum, quelque soit le paradigme, et que tu génères des suites de test non-triviales, tu aura une base solide pour développer.
Tu ne peux pas prendre n'importe quel programme et prouver sa "correctitude" avec uniquement des math (bien que tu puisses le faire pour certains programmes).
Encore une fois on retrouve ici un défaut le la programmation orientée objet qui couple les méthodes à un état et il est beaucoup plus difficile de tester des fonctions avec des effets de bord. Maintenant, si tu prend des fonctions sans effet de bord au maximum, quelque soit le paradigme, et que tu génères des suites de test non-triviales, tu aura une base solide pour développer.