Tests de spécification dans les modèles dynamiques