Treffer: Génération de séquences de test à partir d'une spécification B en PLC ensembliste / Test sequence generation using b specification in set PLC
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Weitere Informationen
Nous présentons dans cet article une méthode de génération de séquences de test fonctionnel aux limites à partir de spécification B. Cette méthode repose sur la réécriture de spécifications B en systèmes de contraintes et la partition du domaine des variables d'état de la spécification. Cette partition est basée sur un calcul de bornes effectué par un solveur spécifique utilisant des techniques de Programmation Logique avec Contraintes ensemblistes. Ce solveur permet ensuite la constitution d'états limites du système et leur intégration dans des séquences de test. La vérification des résultats des jeux de test est réalisée au moyen d'une observation indirecte: l'observation du comportement d'opérations activables. En effet, cette technique permet d'éviter le problème d'inobservabilité des variables d'état du système. Les résultats d'une étude de cas industriel, concernant l'application de la génération de jeux de test à la norme GSM 11.11 (carte à puces), sont présentés et discutés.