Brevet FR3042291A1 (20170414)
REVENDICATIONS1. Dispositif (1) de vérification d'éléments logiciels (14) à analyser, comprenant au moins un ordinateur (2) exécutant un logiciel principal, dit environnement de développement (3), des organes (4,5) d'entrée de données 5 comportant au moins un organe (5) adapté pour lire un code source de chaque élément logiciel et des moyens (6) de visualisation d'un résultat d'analyse, et au moins un logiciel d'analyse, dit analyseur statique (7), comprenant une liste de règles (12) de codage et de métriques (13) à respecter par l'élément logiciel à analyser, 10 caractérisé en ce que l'analyseur statique comprend deux modules d'extension : - un premier module, dit module graphique (8), adapté pour recevoir des paramètres de test et traiter et afficher des résultats de test sur les moyens (6) de visualisation, et - un second module, dit analyseur de test (9), adapté pour définir et exécuter 15 une structure de test sur au moins un élément logiciel et pour fournir des résultats de test audit module graphique, ledit analyseur de test comprenant au moins un séquenceur (10) de test adapté pour définir pour chaque élément logiciel au moins un module de test (11), chaque module de test vérifiant la conformité de l'élément logiciel avec une et unique règle ou une 20 et unique métrique.\n<CLM>\1\tDispositif selon la revendication 1, caractérisé en ce que chaque séquenceur de test (10) est adapté au langage dans lequel l'élément logiciel (14) est écrit.\n<CLM>\1\tDispositif selon l'une des revendications 1 ou 2, caractérisé 25 en ce que l'analyseur de test (9) est adapté pour appeler une pluralité de séquenceurs (10) de tests en fonction du langage dans lequel les éléments de logiciel sont écrits et d'une liste préétablie de règles et/ou de métriques à vérifier.\n<CLM>\1\tDispositif selon l'une des revendications 1 à 3, caractérisé en ce que l'analyseur de test (9) est adapté pour déclencher une lecture du code 30 source d'au moins un élément logiciel (14), déterminer un séquenceur de test (10) 3042291 15 approprié à partir du langage dans lequel cet élément logiciel est écrit, extraire la liste des règles (12) et/ou métriques (13) adaptées audit langage et transmettre ledit élément logiciel au(x) module(s) de test (11) correspondants.\n<CLM>\1\tDispositif selon l'une des revendications 1 à 4, caractérisé en ce que chaque module de test (11) comporte un automate adapté pour exécuter un traitement d'une règle (12) unique ou d'une métrique (13) unique sur le code source d'un élément logiciel (14) et pour retourner une valeur représentative d'un résultat de la métrique considérée ou de conformité à la règle considérée.\n<CLM>\1\tDispositif selon l'une des revendications 1 à 5, caractérisé 10 en ce que chaque module de test (11) retourne à l'analyseur de test (9) une liste des éléments logiciels (14) testés avec leur résultat pour la règle ou la métrique considérée.\n<CLM>\1\tDispositif selon l'une des revendications 1 à 6, caractérisé en ce l'analyseur de test (9) transmet au module graphique (8) la liste des éléments 15 logiciels (14) testés avec leurs résultats pour toutes les règles et métriques vérifiées en vue de leur affichage sur les moyens (6) de visualisation.\n<CLM>\1\tProcédé, mis en oeuvre par ordinateur, de vérification d'éléments logiciels (14) à analyser, du type utilisant au moins un ordinateur (2) exécutant un logiciel principal, dit environnement de développement (3), des 20 organes (4,5) d'entrée de données comportant au moins un organe (5) adapté pour lire un code source de chaque élément logiciel et des moyens (6) de visualisation d'un résultat d'analyse, et au moins un logiciel d'analyse, dit analyseur statique (7), comprenant une liste de règles (12) de codage et de métriques (13) à respecter par l'élément logiciel à analyser, caractérisé en ce que, pour chaque élément logiciel à 25 analyser : - un second module, dit analyseur de test (9), définit et exécute une structure de test sur ledit élément logiciel, ledit analyseur de test comprenant un séquenceur (10) de test, - chaque séquenceur de test définit pour chaque élément logiciel au moins une 30 liste de modules de test (11), 3042291 16 - chaque module de test vérifie la conformité de l'élément logiciel avec une et unique règle ou une et unique métrique, - l'analyseur de test retourne des résultats de test à un premier module, dit module graphique (8), 5 - ledit module graphique affiche les résultats de test sur les moyens (6) de visualisation.\n<CLM>\1\tProcédé selon la revendication 8, caractérisé en ce que l'analyseur (9) de test exécute chaque règle (12), respectivement chaque métrique (13) séquentiellement sur tous les éléments logiciels (14).\n<CLM>\1\tProcédé selon la revendication 8, caractérisé en ce que l'analyseur (9) de test exécute séquentiellement toutes les règles (12), respectivement toutes les métriques (13), sur chaque élément logiciel (14).\n<CLM>\1\tProgramme d'ordinateur comprenant des moyens pour l'exécution des étapes du procédé selon l'une quelconque des revendications 8 à 10 15 lorsque ledit programme est exécuté sur ordinateur pour l'analyse statique du code source d'éléments logiciels (14) caractérisé en ce qu'il comprend : - un premier module, dit module graphique (8), adapté pour recevoir des paramètres de test et traiter et afficher des résultats de test sur des moyens (6) de visualisation, et 20 - un second module, dit analyseur de test (9), adapté pour définir et exécuter une structure de test sur au moins un élément logiciel et pour fournir des résultats de test audit module graphique, ledit analyseur de test comprenant au moins un séquenceur (10) de test adapté pour définir pour chaque élément logiciel au moins un module de test (11), chaque module de test vérifiant la conformité de 25 l'élément logiciel avec une et unique règle ou une et unique métrique.