Formalisation et simulation de comportements pour le test d'objets gérés