• [^] # Re: Se passer des tests ...

    Posté par (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 3.

    Pour moi la vérification n'est pas supérieur aux tests. Il y a des spécifications que tu seras bien en peine de valider avec un vérificateur.
    Exemple de spécification :
    - le temps de réponse moyen est de 300ms.
    - la charge nominale sur un serveur de type TrucMuche est de 5000 requêtes simultanées avec un temps de réponse acceptable.
    - l'interface graphique doit respecter les HIG Gnome.
    - l'utilisateur ne doit jamais attendre plus d'1 seconde entre 2 écrans successifs.
    - l'application doit utiliser la police de caractère par défaut de l'environnement.
    Bon courage pour spécifier tout ca en pre-post conditions :)
    Par contre ca s'écrit très bien en tests. Voir ca s'automatise.
    Bref, les vérificateurs c'est très bien si tu te cantonnes au périmètre purement mathématique d'un programme.
    Mais dans la vraie vie, un logiciel est rarement limité à ca... quelques briques tout au plus...