D'ailleurs faire des programmes prouvés c'est possible, c'est réalisé dans certains domaines critiques/importants.
C'est possible pour des cas tres precis, et ca s'arrete la, des que la complexite du soft est trop grande ca devient impossible.
Et même par exemple dans les jeux vidéos pour console il y a très peu de bugs puisque l'éditeur sait très bien qu'il ne pourra pas patcher.
Il y a tres peu de bugs car :
- Le materiel est fige
- Les conditions du systeme sont figees aussi, il n'y a pas un OS avec scheduler qui interrompt pour faire tourner la tache Y, etc... qui tourne dessous
resultat, quand les gars testent le jeu sur la console, ils sont quasiment sur de passer par le cheminement que l'utilisateur suivra et deceleront les bugs avant lui dans la plupart des cas, alors que sur des PC ayant 3000 configurations differentes, dans des conditions de lancement differentes, c'est tres loin d'etre le cas. Bref, il pourrait y avoir des dizaines et dizaines de bugs dans un jeu de console, simplement ils ne sont pas dans les chemins de code que 99% des clients voient, alors que pour un jeu sur PC, les chemins de code les plus courants sont plus divers et la les bugs se voient.
Le developpement de jeux ne change quasiment pas entre la version PC et la version console, c'est tres tres souvent un code commun, ca n'empeche pas la version PC de planter.
[^] # Re: Comme d'habitude....
Posté par pasBill pasGates . En réponse au journal Repenser les langages et le développement logiciel. Évalué à 10.
C'est possible pour des cas tres precis, et ca s'arrete la, des que la complexite du soft est trop grande ca devient impossible.
Et même par exemple dans les jeux vidéos pour console il y a très peu de bugs puisque l'éditeur sait très bien qu'il ne pourra pas patcher.
Il y a tres peu de bugs car :
- Le materiel est fige
- Les conditions du systeme sont figees aussi, il n'y a pas un OS avec scheduler qui interrompt pour faire tourner la tache Y, etc... qui tourne dessous
resultat, quand les gars testent le jeu sur la console, ils sont quasiment sur de passer par le cheminement que l'utilisateur suivra et deceleront les bugs avant lui dans la plupart des cas, alors que sur des PC ayant 3000 configurations differentes, dans des conditions de lancement differentes, c'est tres loin d'etre le cas. Bref, il pourrait y avoir des dizaines et dizaines de bugs dans un jeu de console, simplement ils ne sont pas dans les chemins de code que 99% des clients voient, alors que pour un jeu sur PC, les chemins de code les plus courants sont plus divers et la les bugs se voient.
Le developpement de jeux ne change quasiment pas entre la version PC et la version console, c'est tres tres souvent un code commun, ca n'empeche pas la version PC de planter.