Tu peux activer (ou ne pas désactiver) plein de features, c'est utile d'avoir une erreur qui te dit "oh tu sors des limites de ton tableau" (par exemple) mais il fait faire quoi à ta voiture, dans ces cas là, ton gestionnaire d'exception ?
Il faut que ce soit valider statiquement. Comme ça tu peut obliger le programmeur à gérer le cas.
Pour le valider statiquement tu as plusieurs options :
prouver le programme
mettre en place des règles de programmations qui empêchent que ça arrivent (ou qui réduisent les risques)
utiliser ou outil d'analyse statique qui arrive à voir ce genre de cas
utiliser un langage qui t'empêche de le faire
avoir des tests unitaires avec une bonne couverture du code
...
Évidement ils ne sont pas exclusifs (quoi que trouver un bon outil d'analyse statique pour un langage qui fait ce genre de vérifications ne doit pas être simple). Évidement si tu n'en fait aucun faut pas s'attendre à ce que le résultat soit génial...
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Quelles sont les entrées / sorties d'un tel programme ?
Posté par barmic . En réponse au journal Encore un exemple de code spaghetti : Toyota. Évalué à 2.
Il faut que ce soit valider statiquement. Comme ça tu peut obliger le programmeur à gérer le cas.
Pour le valider statiquement tu as plusieurs options :
Évidement ils ne sont pas exclusifs (quoi que trouver un bon outil d'analyse statique pour un langage qui fait ce genre de vérifications ne doit pas être simple). Évidement si tu n'en fait aucun faut pas s'attendre à ce que le résultat soit génial...
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)