On décrit un appareil pour valider une opération d'un dispositif à valider, dans lequel une unité d'entrée d'informations (601) introduit des informations de configuration fonctionnelles représentant une fonction d'un dispositif à valider. Une unité d'entrée de condition (603) introduit des conditions concernant une séquence d'entrée/sortie qui est appliquée au dispositif. Une unité de génération de fonction (605) engendre une fonction d'article de validation qui remplit toutes les conditions basées sur les informations de configuration fonctionnelles. Une unité d'extraction (609) extrait une combinaison d'éléments de configuration qui constituent les informations de configuration fonctionnelles comme article de validation basé sur la de la fonction d'article de validation.