Generation automatique de tests pour les systemes du RGT