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

    Posté par . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

    La vérification consiste à construire (ou obtenir) une spécification et prouver qu'un code source s'y conforme. Le test consiste à placer le programme exécutable dans les conditions - à trouver, ce qui n'a rien d'évident - dans lesquelles il est susceptible d'être utilisé et... voir ce qui se produit. Ce sont deux choses différentes, orthogonales, toutes deux indispensables dans un projet où la sûreté est importante.
    Je dis simplement que la vérification est supérieure aux testsCeci a à peu près autant de sens qu'affirmer que C++ est supérieur à XML.