La complexité des systèmes répartis pose un problème lorsqu'il s'agit de les vérifier. De tels systèmes sont souvent construits par assemblage de composants parmi lesquels seuls certains sont développés. Les autres préexistent; on ne dispose pas toujours de leur spécification ou de leurs sources. Il est donc intéressant de supporter l'intégration de tels composants dans un processus de spécification et de vérification, même s'il est difficile de les évaluer individuellement. Cet article propose une utilisation de techniques de spécifications structurées pour générer des jeu de tests de taille raisonnables permettant d'évaluer le comportement de composants à intégrer dans un système. Pour cela, nous proposons d'exploiter la description externe d'un composant en utilisant le formalisme OF-CLass (encapsulation de réseaux de Petri). Des profils de tests sont alors définis en s'appuyant sur la logique HML en vue de produire automatiquement les jeux de tests correspondants.