Analyse de la Testabilité des Logiciels Flots de Données Synchrones