Même un hello.c, tu ne peux pas garantir qu'il soit sans bug, car tu t'appuies sur :
1) le matériel,
2) le système d'exploitation,
3) le compilateur,
4) des bibliothèques.
Et tu ne peux pas garantir que sous certaines conditions, un de ces 3 éléments ne va pas faire que ton hello.c aura un comportement non prévu.
Il est donc IMPOSSIBLE de garantir qu'un logiciel est SANS BUG à moins de détailler très précisément l'environnement exact auquel cette déclaration se rattache, et encore, ce n'est pas une tâche aisée.
[^] # Re: Une autre raison ...
Posté par Dring . En réponse au journal Pourquoi nous vendons un code contenant des bogues.... Évalué à 1.
1) le matériel,
2) le système d'exploitation,
3) le compilateur,
4) des bibliothèques.
Et tu ne peux pas garantir que sous certaines conditions, un de ces 3 éléments ne va pas faire que ton hello.c aura un comportement non prévu.
Il est donc IMPOSSIBLE de garantir qu'un logiciel est SANS BUG à moins de détailler très précisément l'environnement exact auquel cette déclaration se rattache, et encore, ce n'est pas une tâche aisée.