Première méthode:
- T'y vas comme un barbare et tu codes.
- Tu obtiens un truc qui semble ressembler à un tri.
Deuxième méthode:
- Tu définis un algo de tri et tu prouve qu'il est correct;
- Tu codes ton algo en espérant que tu ne t'es pas planté dans tes indices.
Troisième méthode:
- Tu prends ton code et tu prouves formellement qu'il correspond à ton algo.
La deuxième méthode est prouvée semi-formellement.
[^] # Re: Des certifications CC-EALx
Posté par fmaz fmaz . En réponse à la dépêche Mandrakesoft retenue pour le développement d'un système d'exploitation ouvert de haute sécurité. Évalué à 6.
Première méthode:
- T'y vas comme un barbare et tu codes.
- Tu obtiens un truc qui semble ressembler à un tri.
Deuxième méthode:
- Tu définis un algo de tri et tu prouve qu'il est correct;
- Tu codes ton algo en espérant que tu ne t'es pas planté dans tes indices.
Troisième méthode:
- Tu prends ton code et tu prouves formellement qu'il correspond à ton algo.
La deuxième méthode est prouvée semi-formellement.