Génération de données de test pour un "coverage testing" avec Pex - French version

Un test de couverture nécessite le parcours des différentes arbres de conditions dans la méthode à tester.
Considérons la méthode suivante :

        public void ComplexTask(string input)
        {
            if (string.IsNullOrEmpty(input))
            {
                throw new ArgumentNullException();
            }
            else
            {
                if (input.Contains("ERROR"))
                {
                }
                else if (input.Contains("SUCCESS"))
                {

                }
                else if (input.StartsWith("_"))
                {

                }
                else
                {

                }
            }
        }
Pour assurer le parcours intégral de l'exécution, il faut au moins avoir des valeurs correspondants à chaque condition.
Pex est un outil permettant de générer automatiquement ces tables de valeurs, cet outil est disponible ici 
Il suffit juste de copier la méthode dans l'éditeur de Pex puis la renommer par Puzzle et enfin l'executer. A la fin du traitement, l'outil affiche les valeurs intéressantes ( "boundary values" )