Dans cet article, nous présentons une approche originale pour la génération de tests à partir de modèles statecharts Statemate. Cette approche est fondée sur le calcul des comportements du modèle et sur une recherche d’atteignabilité de ces comportements. Le calcul des séquences de test met en oeuvre les fonctions d’évaluation symbolique en programmation logique avec contraintes de l’environnement de génération de tests BZ-Testing-Tools. Cette approche a été utilisée sur plusieurs applications réelles de contrôleurs de calculateurs embarqués dans le contexte automobile. Elle permet en particulier de traiter les principales fonctions de modélisation statecharts Statemate : les états parallèles et hiérarchiques, la sémantique Superstep, les timers. Cet article introduit le mécanisme de calcul des comportements à partir d’un statechart, présente l’algorithme de recherche d’atteignabilité des comportements, puis illustre la génération des tests sur un exemple de contrôleur embarqué sur véhicule.