Nos travaux ont pour cadre la sûreté de fonctionnement des systèmes informatiques. Ils portent sur l’élimination des fautes, et plus particulièrement au test du logiciel. Le premier chapitre rassemble des travaux pour adapter la conception du test aux technologies de développement logicielles. Deux technologies sont considérées : la technologie orientée-objet et la méthode formelle B. Le deuxième chapitre porte sur des associations test et vérification formelle. Selon les cas, nous consolidons la vérification d’algorithmes partiellement prouvés ou nous facilitons l’analyse de contrexemples retournés par un model checker. Le troisième chapitre traite de la génération de test par des procédés méta heuristiques, en prenant l’exemple du recuit simulé. Enfin, le quatrième chapitre aborde le test de systèmes mobiles. Les traces d’exécutions sont vérifiées par rapport à un ensemble de propriétés décrites par des scénarios graphiques, en combinant des algorithmes d’appariement de graphes et de calcul d’ordres partiels d’événements.