Test de spécifications de logiciels synchrones