Sven Luther wrote:
On Thu, Jun 26, 2003 at 06:59:37AM +0200, JusTiCe8 wrote:
C'est pas grave, des que tu trouve un bug, il faut le documenter, sinon,
il passe inapercu. Avec les manieres de developper deficiente que tout
le monde utilise aujourd'hui, les bugs sont forcement present et il n'y
a que cette methode pour les traquer.
Alors l�, �a me surprend, cela voudrait il dire que les erreurs sont une
fatalit� ?
Tant qu'on n'utilisera pas des methodes de developpement qui permettent
de ne pas faire d'erreurs oui. Utiliser un langage tel caml est deja un
Certe :).
Encore faudra t'il qu'une telle m�thode (utopie ?) ne soit pas trop
contraignante au point de n'�tre suivi par... personne :/.
premier pas, mais le mieux est souvent de partir d'abord de la preuve du
programme, et generer ensuite le code automatiquement. C'est possible en
coq qui peut generer du code ocaml, ou avec B, qui permet de generer
(manuellement si je ne me trompe) du code procedurale. Et B a servi pour
Le soucis de telles m�thodes est leur poids non n�gligeable dans le
processus de d�veloppement et surtout, facteur humain, la frustration
qui d�coule parfois de leur utilisation. Puisque se conformer � une
m�thodologie riguoureuse et stricte n�c�ssite une discipline plus que
militaire. Et bon, souvent, on veut vite se jeter dans le code d'o� des
probl�mes surgissant rapidement. Je sais ce que c'est et je voudrai
rendre hommage l� � toutes les personnes qui ont contribu�es, et
continuent de contribuer, de pr�s ou de loin � la cr�ation des outils de
dev sous Unix/Linux.
des grands projet, comme l'automatisation de la ligne Meteor a Paris par
exemple, qui a pris 4 ans de developpement, et a ete entierement prouve
en B avant d'etre code. Apres 2 ans de developpement, les commanditaire
du projet (la RATP ?) ont decide qu'ils avait confiance en la methode,
Thompson y � participer il em semble. De plus, une partie du travail a
�t� r�aliser en Ada si je me souviens bien.
et on arrete de faire des tests, apres 2 ans supplementaires, ils ont
lancer meteor pour la premiere fois (a vide bien sur) et tout a bien
marche. Bien sur, il faut rajouter apres du materiel sur, avec des liens
redondant, etc, chose que tu ne verra jamais dans ta machine desktop.
lol, �a c'est clair !!!
Mais bien sur, ce genre de methode est tres loin des pratiques du
logiciel libre, bien qu'il semble que la gestion des fichiers dans le
noyau Linux ai ete prouve en Coq, a ce qu'il parait.
Je sais pertinament que nous ne pouvons TOUT tester sur TOUTES les
configs possible et imaginable mais quand m�me... :/
La difference de developpement entre le logiciel libre, et le logiciel
conventionnelle, c'est que tout le monde a acces au code, et que donc il
est beaucoup plus facile de tester et de corriger les bugs, et bien sur,
il y a beaucoup plus de developpeurs et de testeurs que meme une boite
comme microsoft peut se permettre de payer. On peut faire une analogie
avec un algo genetique, ou la theorie de Darwin, en logiciel libre, le
code foissonne partout, et le meilleur s'impose apres un temps.
Entierement d'accord avec toi pour la premi�re partie, quant � la
seconde, c'est une analogie plut�t amusante je trouve. Mais le c�t�
"pervers" si je puis dire de celle ci est l'expression "le code
foissonne partout, et le meilleur s'impose apres un temps.", qui est en
l�g�re contradiction avec tes �changes r�cents au sujets du dev Debian
(les backports �tant des "mutations" chaotiques qui pourraient bien
s'imposer dans l'avenir ;) ) tel que j'ai pu le comprendre en tout cas.
Amicalement,
Sven Luther
A+,
J8.
