FR3024566A1 - Procede de verification de tracabilite de premieres instructions en un langage de programmation procedurale generees a partir de secondes instructions en un langage de modelisation - Google Patents
Procede de verification de tracabilite de premieres instructions en un langage de programmation procedurale generees a partir de secondes instructions en un langage de modelisation Download PDFInfo
- Publication number
- FR3024566A1 FR3024566A1 FR1457513A FR1457513A FR3024566A1 FR 3024566 A1 FR3024566 A1 FR 3024566A1 FR 1457513 A FR1457513 A FR 1457513A FR 1457513 A FR1457513 A FR 1457513A FR 3024566 A1 FR3024566 A1 FR 3024566A1
- Authority
- FR
- France
- Prior art keywords
- instructions
- code
- modeling
- traceability
- block
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000000034 method Methods 0.000 title claims abstract description 42
- 238000004458 analytical method Methods 0.000 claims abstract description 24
- 238000012790 confirmation Methods 0.000 claims abstract description 9
- 238000013507 mapping Methods 0.000 claims abstract description 6
- 230000003993 interaction Effects 0.000 claims description 21
- 238000012545 processing Methods 0.000 claims description 11
- 238000004590 computer program Methods 0.000 claims description 7
- 238000012795 verification Methods 0.000 claims description 4
- 238000003860 storage Methods 0.000 claims description 3
- 230000007850 degeneration Effects 0.000 claims 1
- 230000006870 function Effects 0.000 description 7
- 238000012360 testing method Methods 0.000 description 4
- 230000006399 behavior Effects 0.000 description 2
- 238000013500 data storage Methods 0.000 description 2
- 239000012634 fragment Substances 0.000 description 2
- 238000010276 construction Methods 0.000 description 1
- 230000002950 deficient Effects 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000005457 optimization Methods 0.000 description 1
- 230000008569 process Effects 0.000 description 1
- 230000009897 systematic effect Effects 0.000 description 1
- 230000002123 temporal effect Effects 0.000 description 1
- 238000011144 upstream manufacturing Methods 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Creation or generation of source code model driven
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
Description
Claims (12)
- REVENDICATIONS1. Procédé de vérification de traçabilité de premières instructions de code en un langage de programmation procédurale générées à partir de secondes instructions de code en un langage de modélisation, 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) Analyse syntaxique : o des premières instructions de code selon une bibliothèque du dit langage de programmation procédurale de sorte à générer un arbre syntaxique abstrait (AST) des premières instructions, et o des secondes instructions de code selon une bibliothèque dudit langage de modélisation de sorte à générer un arbre de modélisation (MDT) des secondes instructions ; (b) Analyse sémantique : o De l'arbre syntaxique abstrait (AST) des premières instructions de sorte à identifier des motifs représentatifs de blocs fonctionnels élémentaires des premières instructions ; o De l'arbre de modélisation (MDT) des secondes instructions de sorte à identifier des propriétés caractéristiques de blocs fonctionnels élémentaires des secondes instructions ; (c) Mise en correspondance deux à deux des blocs fonctionnels élémentaires identifiés, et confirmation de la traçabilité de premières instructions de code seulement si : o pour chaque bloc des premières instructions il existe un bloc fonctionnellement équivalent des secondes instructions, et o pour chaque bloc des secondes instructions il existe un bloc fonctionnellement équivalent des premières instructions.
- 2. Procédé selon la revendication 1, dans lequel ledit langage de modélisation est un langage de programmation graphique.
- 3. Procédé selon la revendication 2, dans lequel ledit langage de programmation graphique est Simulink® ou Scilab.
- 4. Procédé selon l'une des revendications précédentes, dans lequel le langage de programmation procédurale est un langage basé sur C.
- 5. Procédé selon l'une des revendications précédentes, dans lequel chaque bloc identifié comprend une interaction avec au moins un autre bloc, l'étape (c) comprenant la mise en correspondance deux à deux desdites interactions, et la confirmation de la traçabilité de premières instructions de code seulement si : o pour chaque interaction entre deux blocs des premières instructions il existe la même interaction entre les deux blocs correspondant des secondes instructions, et o pour chaque interaction entre deux blocs des secondes instructions il existe la même interaction entre les deux blocs correspondant des premières instructions.
- 6. Procédé selon l'une des revendications précédentes, dans lequel l'étape (b) comprend également l'analyse sémantique de l'arbre syntaxique abstrait (AST) des premières instructions de sorte à identifier les variables des premières instructions, et l'analyse sémantique de l'arbre de modélisation (MDT) des secondes instructions de sorte à identifier les signaux et les constantes des secondes instructions.
- 7. Procédé selon la revendication 6, comprenant une étape (d) de mise en correspondance des variables identifiées avec les signaux et constantes identifiées identifiés en fonction de règles degénération dudit langage de programmation procédurale à partir du langage de modélisation, et confirmation de la traçabilité de premières instructions de code seulement si pour chaque variable identifiée il existe un signal et/ou une constante correspondant identifiés.
- 8. Procédé selon l'une des revendications précédentes, comprenant une étape subséquente (e) d'instanciation des premières instructions de code dans un système (2) si leur traçabilité est confirmée.
- 9. Procédé selon l'une des revendications précédentes, comprenant une étape préalable (a0) de génération des secondes instructions de code à partir des secondes instructions de code par les moyens de traitement de données (11).
- 10. Equipement (1) de vérification de traçabilité de premières instructions de code en un langage de programmation procédurale produites à partir de secondes instructions de code en un langage de modélisation, caractérisé en ce qu'il comprend des moyens de traitement de données (11) configurés pour la mise en oeuvre de : Un module d'analyse syntaxique : o des premières instructions de code selon une bibliothèque dudit langage de programmation procédurale de sorte à générer un arbre syntaxique abstrait (AST) des premières instructions, et o des secondes instructions de code selon une bibliothèque dudit langage de modélisation de sorte à générer un arbre de modélisation (MDT) des secondes instructions un module d'analyse sémantique : o De l'arbre syntaxique abstrait (AST) des premières instructions de sorte à identifier des motifs représentatifs de blocs fonctionnels élémentaires des premières instructions ;o De l'arbre de modélisation (MDT) des secondes instructions de sorte à identifier des propriétés caractéristiques de blocs fonctionnels élémentaires des secondes instructions ; Un module de mise en correspondance deux à deux des blocs fonctionnels élémentaires identifiés, et de confirmation de la traçabilité de premières instructions de code seulement si : o pour chaque bloc des premières instructions il existe un bloc fonctionnellement équivalent des secondes instructions, et o pour chaque bloc des secondes instructions il existe un bloc fonctionnellement équivalent des premières instructions.
- 11. Produit programme d'ordinateur comprenant des instructions de code pour, lorsque ledit programme est exécuté sur un ordinateur, l'exécution d'un procédé selon l'une des revendications 1 à 9 de vérification de traçabilité de premières instructions de code en un langage de programmation procédurale générées à partir de secondes instructions de code en un langage de modélisation.
- 12. Moyens 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 à 9 de vérification de traçabilité de premières instructions de code en un langage de programmation procédurale générées à partir de secondes instructions de code en un langage de modélisation.
Priority Applications (5)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR1457513A FR3024566B1 (fr) | 2014-08-01 | 2014-08-01 | Procede de verification de tracabilite de premieres instructions en un langage de programmation procedurale generees a partir de secondes instructions en un langage de modelisation |
FR1557401A FR3024788B1 (fr) | 2014-08-01 | 2015-07-31 | Procede de verification de tracabilite de premieres instructions en un langage de programmation procedurale generees a partir de secondes instructions en un langage de modelisation |
US15/500,908 US10417110B2 (en) | 2014-08-01 | 2015-08-03 | Method for verifying traceability of first instructions in a procedural programming language generated from second instructions in a modelling language |
EP15747460.2A EP3195113B1 (fr) | 2014-08-01 | 2015-08-03 | Procédé de vérification de traçabilité de premières instructions en un langage de programmation procédurale générées à partir de secondes instructions en un langage de modélisation |
PCT/EP2015/067858 WO2016016473A1 (fr) | 2014-08-01 | 2015-08-03 | Procédé de vérification de traçabilité de premières instructions en un langage de programmation procédurale générées à partir de secondes instructions en un langage de modélisation |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FR1457513A FR3024566B1 (fr) | 2014-08-01 | 2014-08-01 | Procede de verification de tracabilite de premieres instructions en un langage de programmation procedurale generees a partir de secondes instructions en un langage de modelisation |
Publications (2)
Publication Number | Publication Date |
---|---|
FR3024566A1 true FR3024566A1 (fr) | 2016-02-05 |
FR3024566B1 FR3024566B1 (fr) | 2016-08-19 |
Family
ID=52473980
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FR1457513A Active FR3024566B1 (fr) | 2014-08-01 | 2014-08-01 | Procede de verification de tracabilite de premieres instructions en un langage de programmation procedurale generees a partir de secondes instructions en un langage de modelisation |
Country Status (1)
Country | Link |
---|---|
FR (1) | FR3024566B1 (fr) |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20120254827A1 (en) * | 2009-09-14 | 2012-10-04 | The Mathworks, Inc. | Verification of computer-executable code generated from a model |
US8464204B1 (en) * | 2008-10-06 | 2013-06-11 | The Mathworks, Inc. | Verification of computer-executable code generated from a model |
US8522196B1 (en) * | 2001-10-25 | 2013-08-27 | The Mathworks, Inc. | Traceability in a modeling environment |
-
2014
- 2014-08-01 FR FR1457513A patent/FR3024566B1/fr active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8522196B1 (en) * | 2001-10-25 | 2013-08-27 | The Mathworks, Inc. | Traceability in a modeling environment |
US8464204B1 (en) * | 2008-10-06 | 2013-06-11 | The Mathworks, Inc. | Verification of computer-executable code generated from a model |
US20120254827A1 (en) * | 2009-09-14 | 2012-10-04 | The Mathworks, Inc. | Verification of computer-executable code generated from a model |
Non-Patent Citations (1)
Title |
---|
O'HALLORAN C ET AL: "Verification of picture generated code", AUTOMATED SOFTWARE ENGINEERING, 1999. 14TH IEEE INTERNATIONAL CONFEREN CE ON. COCOA BEACH, FL, USA 12-15 OCT. 1999, LOS ALAMITOS, CA, USA,IEEE COMPUT. SOC, US, 12 October 1999 (1999-10-12), pages 127 - 136, XP010358479, ISBN: 978-0-7695-0415-5, DOI: 10.1109/ASE.1999.802160 * |
Also Published As
Publication number | Publication date |
---|---|
FR3024566B1 (fr) | 2016-08-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CA2505943C (fr) | Controle de la robustesse d'une modelisation d'un systeme physique | |
EP1387261A1 (fr) | Logiciel de generation de code d'application informatique et langage de description de logiciel | |
WO2010009996A1 (fr) | Procede de compilation de programme informatique | |
FR2920893A1 (fr) | Procede d'analyse de la fiabilite d'installations techniques a l'aide de modeles physiques, utilisation d'un tel procede et support d'informations pour sa mise en oeuvre | |
Ordiales Coscia et al. | Anti-pattern free code-first web services for state-of-the-art Java WSDL generation tools | |
FR2713368A1 (fr) | Procédure et procédé de communication entre machines et procédé généralisé de préparation de programmes afférents. | |
US11249880B1 (en) | Debugging and simulating application runtime execution | |
EP3195113B1 (fr) | Procédé de vérification de traçabilité de premières instructions en un langage de programmation procédurale générées à partir de secondes instructions en un langage de modélisation | |
US10146529B2 (en) | Monitoring rules declaration and automatic configuration of the monitoring rules | |
FR3024566A1 (fr) | Procede de verification de tracabilite de premieres instructions en un langage de programmation procedurale generees a partir de secondes instructions en un langage de modelisation | |
FR2923925A1 (fr) | Procede d'evaluation de la surete de fonctionnement d'un systeme | |
EP2419823A1 (fr) | Procede d'assistance au developpement ou a l'utilisation d'un systeme complexe | |
EP1588351A1 (fr) | Production automatique d'interfaces de reconnaissance vocale pour un domaine d'application | |
EP3754506A1 (fr) | Procédé de validation automatique de cots et dispositif pour la mise en oeuvre du procédé | |
FR3001553A1 (fr) | Dispositif de commande pour un systeme d'automatisme | |
FR3091106A1 (fr) | Système de supervision formelle de communications | |
WO2017108924A1 (fr) | Procédé de détection de problèmes de testabilité d'un module informatique | |
Richa | Qualification of source code generators in the avionics domain: Automated testing of model transformation chains | |
WO2024121266A1 (fr) | Systeme de deploiement et de test d' un composant d' un logiciel sur un ensemble de ressources materielles | |
Jajal et al. | Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters | |
FR3077663A1 (fr) | Procede d'elaboration d'un programme informatique et dispositif d'elaboration correspondant | |
EP4394642A1 (fr) | Système informatique de validation formelle d'un système physique en ingénierie des systèmes, procédé et programme d'ordinateur correspondants | |
Martin | Analyse détaillée de trace en dépit d'événements manquants | |
FR3026511A1 (fr) | Procede de test d'un composant logiciel | |
FR3031820A1 (fr) | Procede de determination de la validite d'un modele |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PLFP | Fee payment |
Year of fee payment: 2 |
|
PLSC | Publication of the preliminary search report |
Effective date: 20160205 |
|
PLFP | Fee payment |
Year of fee payment: 3 |
|
CD | Change of name or company name |
Owner name: SAGEM DEFENSE SECURITE, FR Effective date: 20161214 |
|
CJ | Change in legal form |
Effective date: 20161214 |
|
PLFP | Fee payment |
Year of fee payment: 4 |
|
PLFP | Fee payment |
Year of fee payment: 5 |
|
PLFP | Fee payment |
Year of fee payment: 6 |
|
PLFP | Fee payment |
Year of fee payment: 7 |
|
PLFP | Fee payment |
Year of fee payment: 8 |
|
PLFP | Fee payment |
Year of fee payment: 9 |
|
PLFP | Fee payment |
Year of fee payment: 10 |
|
PLFP | Fee payment |
Year of fee payment: 11 |