Brevet FR3045860A1 (20170623)
REVENDICATIONS1. Procédé de détection de problèmes de testabilité d'un module informatique défini : d'une part par des premières instructions de code en un langage de modélisation, lesdites premières instructions de code représentant une plüralitedé bltiCÉ dudit rficidùlë infehâtique repartis eh' un -ofi "PfuËiéu'i'scomposants et une pluralité de relations entre les blocs et/ou les composants ; d'autre part par des deuxièmes instructions de code en un langage textuel, lesdites deuxièmes instructions de code représentant une liste de spécifications chacune associée à une capabilité et définissant au moins un flux d'informations au niveau de la capabilité ; le procédé étant caractérisé en ce qu'il comprend la mise en oeuvre par des moyens de traitement de données (11) d'un équipement (1) d'étapes de : (a) Expression des premières et deuxièmes instructions de code chacun sous une forme de modèle instanciant un méta-modèle commun mettant en correspondance d'une part les blocs avec les capabilités, et d'autre part lesdites relations avec lesdits flux d'informations ; (b) Synchronisation en un modèle consolidé des modèles associés respectivement aux premières et deuxièmes instructions de code ; (c) Expression à partir dudit modèle consolidé d'un graphe dans lequel les blocs et les composants sont des noeuds, et les relations sont des arêtes ; (d) Calcul par un algorithme de parcours de graphe de la largeur et/ou de la profondeur dudit graphe ; (e) Emission d'un signal indiquant un problème de testabilité du module informatique si au moins une desdites largeur et profondeur calculées est supérieure à un seuil prédéfini.\n<CLM>\1\tProcédé selon la revendication 1, dans lequel ledit langage de modélisation est un langage de programmation graphique, et ledit langage textuel étant un langage de description d'exigences. 3045860 20\n<CLM>\1\tProcédé selon l'une des revendications 1 et 2, dans lequel ledit seuil prédéfini est trois. 5\n<CLM>\1\tProcédé selon l'une des revendications 1 à 3, dans lequel l'étape (d) comprend également le calcul du nombre de composants dans le module informatique, du nombre de blocs pour chaque composant, et du nombre -de -sp-écifintidn pour chacrue bro-c;l'étap'ê "(e) E7ffi5rén-a-nt 'êgâlernerit d'un signal indiquant un problème de testabilité du module informatique si au 10 moins l'un de ces npmbres calculés est supérieur à un seuil prédéfini.\n<CLM>\1\tProcédé selon l'une des revendications 1 à 4, dans lequel l'étape (b) comprend préalablement la vérification de la cohérence des modèles associés respectivement aux premières et deuxièmes instructions de code, l'étape 15 (e) comprenant également l'émission d'un signal indiquant un problème de testabilité du module informatique si au moins une incohérence entre les modèles est identifiée.\n<CLM>\1\tProcédé selon l'une des revendications 1 à 5, dans lequel la 20 largeur du graphe correspond au plus grand nombre de blocs le long d'un chemin dans les arêtes du graphe représentatives de flux d'informations de type donnée, entre deux informations de type donnée observables.\n<CLM>\1\tProcédé selon l'une des revendications 1 à 6, dans lequel la 25 profondeur du graphe correspond au plus grand nombre de blocs le long d'un chemin dans les arêtes du graphe représentatives de flux d'informations de type commande, entre deux informations de type commande observables.\n<CLM>\1\tProcédé selon l'une des revendications 6 et 7, dans lequel une 30 information observable est une information d'entrée ou de sortie d'un composant, ou une information fournie par un bloc d'instrumentation.\n<CLM>\1\tProcédé selon l'une des revendications 1 à 8, comprenant une étape subséquente (f) de génération d'instructions de code dans un langage de 3045860 21 programmation procédurales à partir des premières instructions de code si aucun problème de testabilité n'est signalé à l'étape (e).\n<CLM>\1\tProcédé selon la revendication 9, comprenant une étape 5 subséquente (F) d'instanciation dans un système (2) des instructions de code générées dans un langage de programmation procédurales.\n<CLM>\1\tEquipement (1) de détection de problèmes de testabilité d'un module informatique défini : 10 d'une part par des premières instructions de code en un langage de modélisation, lesdites premières instructions de code représentant une pluralité de blocs dudit module informatique repartis en un ou plusieurs composants et une pluralité de relations entre les blocs et/ou les composants ; 15 d'autre part par des deuxièmes instructions de code en un langage textuel, lesdites deuxièmes instructions de code représentant une liste de spécifications chacune associée à une capabilité et définissant au moins un flux d'informations au niveau de la capabilité ; l'équipement (1) étant caractérisé en ce qu'il comprend des moyens de traitement 20 de données (11) configurés pour la mise en oeuvre de : un module d'expression des premières et deuxièmes instructions de code chacun sous une forme de modèle instanciant un méta-modèle commun mettant en correspondance d'une part les blocs avec les capabilités, et d'autre part lesdites relations avec lesdits flux d'informations ; 25 un module de synchronisation en un modèle consolidé des modèles associés respectivement aux premières et deuxièmes instructions de code ; un module d'expression à partir dudit modèle consolidé d'un graphe dans lequel les blocs et les composants sont des noeuds, et les relations sont des arêtes ; 30 un module de calcul par un algorithme de parcours de graphe de la largeur et/ou de la profondeur dudit graphe ; un module d'émission d'un signal indiquant un problème de testabilité du module informatique si au moins une desdites largeur et profondeur calculées est supérieure à un seuil prédéfini. 3045860\n<CLM>\1\tProduit programme d'ordinateur comprenant des instructions de code pour l'exécution d'un procédé selon l'une des revendications 1 à 10 de détection de problèmes de testabilité d'un module informatique, lorsque ledit 5 programme est exécuté sur un ordinateur.\n<CLM>\1\tMoyens de stockage lisibles par un équipement informatique sur lesquels un produit programme d'ordinateur comprend des instructions de code pour l'exécution d'un procédé selon l'une des revendications 1 à 10 de de 10 détection de problèmes de testabilité d'un module informatique. 22