🚀 go-pugleaf

In 'fr.comp.lang.c', Yves Kuhry <gamotte@hotmail.com> wrote:

> Bonjour,
> 
>     connaissez vous des liens ou des bouquins qui
> d�taillent les diff�rentes fa�ons de mettre � l'�preuve
> un programme pour s'assurer qu'il comporte le moins de
> bugs possibles ?
> 
> merci
> 
> p.s. je poste sur fclc parceque j'imagine que la
> pertinence des tests d�pend du langage utilis�

Erreur. La place de ce type de question est 

fr.comp.developpement

cross-post et suivi l�-bas.

Je ne pense pas qu'il existe de m�thode exhaustive pour tester un programme 
dans son ensemble.

Par contre, j'ai l'habitude de pratiquer des tests unitaires qui v�rifient la 
bonne tenue des sp�cifications d'une fonction ou d'une machine � �tat. 

Ceci, associ� � une bonne (mais toujours am�liorable) connaissance du langage 
pour �viter les UB, et un outil (maison) de v�rification de la m�moire pour 
s'assurer qu'il n'y a pas de fuites me permettent de produire du code r�put� 
fiable (indispensable en application de type 'serveur' fonctionnant 24h/24).

-- 
-ed- emdel at noos.fr
The C-language FAQ: http://www.eskimo.com/~scs/C-faq/top.html
C-library: http://www.dinkumware.com/htm_cl/index.html
FAQ de f.c.l.c : http://www.isty-info.uvsq.fr/~rumeau/fclc/

"Clearly your code does not meet the original spec."
"You are sentenced to 30 lashes with a wet noodle."
                          -- Jerry Coffin in a.l.c.c++