Oui, c'est pour ça que j'avais écrit qu'il n'existe « quasiment » pas.
Mais une branche pas appelée, c'est pas un « problème » je trouve. C'est quelques bits ou octets gâchés, certes, mais ça n'influe pas sur l'exécution du programme.
C'est un signe comme quoi le programme n'a pas été proprement spécifié, et contient de la redondance...
Néanmoins, j'avoue n'avoir pas pensé à la bête erreur d'une boucle sans fin qui rend caduque tout le reste du programme. Mais là, j'ai beau être un fanatique des méthodes formelles, je crois qu'un minimum de test devrait régler ces problèmes.
[^] # Re: La nuit du code mort vivant
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Des outils d'audit de code Java. Évalué à 2.
Mais une branche pas appelée, c'est pas un « problème » je trouve. C'est quelques bits ou octets gâchés, certes, mais ça n'influe pas sur l'exécution du programme.
C'est un signe comme quoi le programme n'a pas été proprement spécifié, et contient de la redondance...
Néanmoins, j'avoue n'avoir pas pensé à la bête erreur d'une boucle sans fin qui rend caduque tout le reste du programme. Mais là, j'ai beau être un fanatique des méthodes formelles, je crois qu'un minimum de test devrait régler ces problèmes.