Concept de Analyse de code

Présentation

Ce chapitre présente les concepts de Analyse de code tels qu'intégrés dans EcoStruxure Machine Expert.

Composants logiciels de Analyse de code

Le schéma suivant propose une vue d'ensemble des principaux composants logiciels de Analyse de code :

Ces composants peuvent être classés dans trois catégories :

  • Les composants de l'interface utilisateur qui affichent des données :

    • Éditeurs permettant d'écrire du code source

    • Éditeurs permettant de visualiser les résultats concernant les métriques ou les conventions, ou la structure du code source sous forme graphique

  • Les modèles de données utilisés comme entrée ou sortie pour d'autres composants :

    • Modèle de langage

    • Modèle de dépendance

    • Modèle RDF (Resource Description Framework)

    • Résultats de requête

  • Les composants qui transforment des données :

    • Le compilateur de code source (avec modèle de langage en sortie) vérifie la syntaxe du code source et crée le modèle de langage qui permet de générer le code exécuté sur des contrôleurs.

    • L'analyseur de code source (avec modèle de dépendance en sortie) analyse le modèle de langage, le transforme en modèle de dépendance et met à jour le modèle de dépendance.

    • Le générateur de modèles RDF (avec modèle RDF en sortie) transforme le modèle de dépendance en modèle RDF pour faire le lien avec les technologies de Web sémantique.

    • Le moteur d'exécution de requêtes (avec résultats de requête en sortie) exécute des requêtes SPARQL sur le modèle RDF afin d'obtenir les résultats correspondants.

Données d'analyse (modèle de dépendance)

L'application est analysée et un modèle de dépendance est généré.

Le modèle de dépendance est constitué de nœuds connectés via des fronts.

Exemples de types de nœuds :

Type de nœud

Description

Bloc fonction

Bloc fonction (FB) dans le modèle de dépendance. Créé pour chaque bloc fonction ajouté au projet EcoStruxure Machine Expert.

Programme

Programme (PRG) dans le modèle de dépendance. Créé pour chaque programme ajouté au projet EcoStruxure Machine Expert.

Fonction

Fonction (FC) dans le modèle de dépendance. Créé pour chaque fonction ajoutée au projet EcoStruxure Machine Expert.

...

...

Exemples de types de fronts :

Type de front

Description

Lecture

Opération de lecture depuis le code (source) vers un nœud de variable (cible).

Écriture

Opération d'écriture depuis le code (source) vers un nœud de variable (cible).

Appel

Appel d'un élément (bloc fonction, méthode, action, programme, etc.) depuis le code (source) vers un nœud cible.

Extension

Extension d'un type de base. Exemple : extension d'un bloc fonction par un autre bloc.

...

...

Technologies de Web sémantique

Ouverte et flexible, la fonction d'analyse de code s'appuie sur plusieurs technologies de Web sémantique, notamment :

Synchronisation entre le modèle de dépendance et le modèle RDF

Le modèle de dépendance est généré suite à une opération d'analyse de code.

Il est synchronisé avec un modèle RDF pour faire le lien avec une fonction d'analyse de code ouverte et flexible qui prend en charge le langage de requête.

Triple Storage RDF

Pour permettre l'analyse de projets volumineux, le modèle RDF est stocké dans un processus distinct appelé Triple Storage RDF.

Le Triple Storage RDF est utilisé par défaut. Au besoin, il est possible de configurer son comportement à l'aide du Gestionnaire d'analyse de code.

SPARQL et RDF

La structure Resource Description Framework (RDF) désigne un modèle de données décrivant des ressources ainsi que les relations qui les lient.

Exemple :

:(Sujet)

:(Prédicat)

:(Objet)

:Car

:Weights

:1000 kg

:Car

:ConsistsOf

:Wheels

:Car

:ConsistsOf

:Engine

SPARQL est l'acronyme de « Sparql Protocol and RDF Query Language ». La spécification SPARQL (https://www.w3.org/TR/sparql11-overview/) fournit des langages et des protocoles qui permettent d'interroger et de manipuler des graphes RDF (à l'instar des requêtes SQL).

Exemple de requête SPARQL simple permettant d'obtenir l'ID de nœud et le nom des blocs fonction d'un modèle RDF :

SELECT ?NodeId ?Name
WHERE {
       # Select all FunctionBlocks and their names
       ?NodeId a :FunctionBlock ;
             :Name ?Name .
}