 |
1 connecté |
| Pages: 12 |
| ||||
Francesco Participation 797 posts | Système d'exploitation: Linux - Navigateur: Firefox 2 Pas seulement. Méthode de preuve de programme aussi  Gates gave you the windows. GNU gave us the whole house.(Alexandrin) | |||
| ||||
Freem Participation 843 posts  | Système d'exploitation: Windows XP - Navigateur: Firefox 2 C'est quoi ça?? Tu me dis, j'oublie. Tu m'enseignes, je me souviens. Tu m'impliques, j'apprends. - Benjamin Franklin | |||
| ||||
| Francesco Participation 797 posts | Système d'exploitation: Windows NT - Navigateur: Firefox 2 Un truc qui fait correctement, demande beaucoup plus de temps pour écrire une fonction, mais beaucoup moins au final pour debugger ton programme !Surtout prévu pour les algos (on va éviter les IHM), le principe consiste à écrire plein de commentaires décrivant exactement le comportement des fonctions et des procédures : Spécification, pré et post conditions. Si jamais je trouve un petit cours la dessus sur le net, je met le lien ici, histoire de vous donner un exemple ^^ Gates gave you the windows. GNU gave us the whole house.(Alexandrin) | |||
| ||||
zuzuf Participation 511 posts | Système d'exploitation: Linux - Navigateur: Firefox 2 j'avais pas précisé que pour faire de l'info en prépa j'ai du prendre la filière MP et prendre l'option Info. D'ailleurs j'ai surtout pris MP pour l'Info  , sinon c'est effectivement en école d'ingé qu'on commence l'Info.En ce qui concerne une preuve de programme, je trouve qu'il vaut mieux un bon test unitaire. Parce que le programme qui te dit que ton code est validé n'a raison que si tu ne t'es pas planté en l'écrivant ... c'est un problème sans fin Linux a un noyau, windows un pepin | |||
| ||||
| Francesco Participation 797 posts | Système d'exploitation: Linux - Navigateur: Konqueror Le test unitaire ne fait pas office de preuve. Et ton test ne dis que ton code n'est valide que si tu ne t'es pas planté en l'écrivant (oui, oui, je te pique ton argument).Quand au programme qui valide le code source, c'es un humain (il n'existe pas encore d'outils pour le faire automatique, c'es beaucoup trop complexe). Cela permet de faciliter la relecture de code, ainsi que de faciliter la maintenance. Ce que les tests ne permettent pas. Gates gave you the windows. GNU gave us the whole house.(Alexandrin) | |||
| Pages: 12 |
 |
