Produire une procédure d'essais pour valider la conformité d'un système