FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1491534912> ?p ?o ?g. }

• W1491534912 abstract "RESUMELa localisation de l'emplacement ou diverses fonctionnalites d'un logiciel sont implementees au sein du code source peut etre utile a la comprehension de programme et pour diverses activites de reingenierie. Dans l'industrie avionique, la reingenierie est un sujet d'actualite puisque plusieurs systemes logiciels doivent etre modernises. Or, cette reingenierie doit conserver la richesse algorithmique des logiciels existants. Les travaux presentes dans ce memoire visent donc a appuyer les efforts de reingenierie en avionique via l'utilisation d'une methodologie de localisation de fonctionnalites a partir de l'analyse statique du code source.Le principal objectif est de definir une telle methodologie applicable a des logiciels configures dynamiquement, type de logiciel qu'on retrouve entre autres dans l'industrie avionique. La methodologie developpee se base sur l'extraction d'un graphe de flux de controle representant le code source et l'utilisation de model checking pour verifier diverses proprietes reliees aux fonctionnalites du logiciel. Chacune des etapes de la methodologie est automatisee, ce qui lui confere un avantage tres interessant par rapport aux autres techniques de localisation de fonctionnalites existantes.Un second objectif des recherches presentees est d'appliquer cette methodologie sur un systeme de gestion de vol provenant de l'industrie avionique. Par la suite, les resultats obtenus sont interpretes afin de determiner la distribution des differentes fonctionnalites au sein du code source de ce logiciel. Cette distribution est presentee en termes de quantite de fichiers, de blocs de code et de lignes de code relies a chaque fonctionnalite. La technique developpee permet d'identifier le code relie a un ensemble de fonctionnalites du logiciel, ce qui serait utilisable dans une optique d'identification de produits logiciels. Les resultats obtenus peuvent donc etre utilises dans le cadre d'une reingenierie du logiciel et peuvent faciliter l'extraction d'un modele de ligne de produits logiciels. La methodologie presentee ici est, a notre connaissance, la premiere technique automatisee de localisation de fonctionnalites basees sur l'analyse statique. Les resultats obtenus suite a l'analyse du systeme de gestion de vol montrent que la localisation de fonctionnalites par analyse statique du code source est possible sous certaines conditions. Diverses ameliorations, telles que le traitement des pointeurs de fonctions et l'analyse de la propagation des variables, pourraient eventuellement etre appliquees a la methodologie afin d'ameliorer sa precision dans certains contextes.----------ABSTRACTLocating where software features are implemented in source code can be useful to program comprehension and software reengineering. In the avionics industry, reengineering is a hot topic since many software systems need to be modernized. However, this reengineering effort must preserve existing algorithms to allow their reuse. This thesis aims to support avionics software reengineering by using a feature location methodology based on static analysis of the source code.The main objective is to define such methodology applicable in dynamically configured software, a type of software sometimes found in the avionics industry. The methodology is based on the extraction of a control flow graph representing the source code and the use of model checking to verify properties related to each feature found in the software program. Each step of the methodology is automated, which provides an interesting advantage compared to other existing feature location approaches.A second objective of the researches presented in this thesis is to apply the developed methodology on a flight management system from the avionics industry. Results are then interpreted to obtain the system features' distribution over the source code. This distribution is presented by number of files, code blocks and lines of code related to each software feature. The developed methodology allows a user to obtain the source code related to a set of software features, which is information that could be used to identify software products. Thus, results can be used in the context of software reengineering and can facilitate the extraction of a software product line model.To the best our knowledge, the methodology presented here is the first automated feature location approach based solely on static analysis. Results from the analysis of the flight management system show that locating features using static analysis of the source code is possible under certain conditions. Some improvements, such as considering function pointers and the propagation of variables, could eventually be applied to our methodology to improve its precision in some contexts." @default.
• W1491534912 created "2016-06-24" @default.
• W1491534912 creator A5003431930 @default.
• W1491534912 date "2012-04-01" @default.
• W1491534912 modified "2023-09-23" @default.
• W1491534912 title "Localisation de fonctionnalités par analyse statique dans du code avionique configuré dynamiquement" @default.
• W1491534912 cites W119536668 @default.
• W1491534912 cites W1489265535 @default.
• W1491534912 cites W1494019345 @default.
• W1491534912 cites W1505090407 @default.
• W1491534912 cites W1539768714 @default.
• W1491534912 cites W1542117522 @default.
• W1491534912 cites W1583539488 @default.
• W1491534912 cites W1600480122 @default.
• W1491534912 cites W1635782815 @default.
• W1491534912 cites W1777576722 @default.
• W1491534912 cites W1797299833 @default.
• W1491534912 cites W1822192794 @default.
• W1491534912 cites W1849935949 @default.
• W1491534912 cites W1857184435 @default.
• W1491534912 cites W1967031800 @default.
• W1491534912 cites W1967180522 @default.
• W1491534912 cites W1988546540 @default.
• W1491534912 cites W1992055950 @default.
• W1491534912 cites W2000743515 @default.
• W1491534912 cites W2002237220 @default.
• W1491534912 cites W2041853131 @default.
• W1491534912 cites W2052598892 @default.
• W1491534912 cites W2061832758 @default.
• W1491534912 cites W2067838808 @default.
• W1491534912 cites W2068160829 @default.
• W1491534912 cites W2081840025 @default.
• W1491534912 cites W2090403712 @default.
• W1491534912 cites W2099327151 @default.
• W1491534912 cites W2103110841 @default.
• W1491534912 cites W2103473833 @default.
• W1491534912 cites W2110220994 @default.
• W1491534912 cites W2113476536 @default.
• W1491534912 cites W2114152285 @default.
• W1491534912 cites W2114712864 @default.
• W1491534912 cites W2118799888 @default.
• W1491534912 cites W2121234902 @default.
• W1491534912 cites W2125682153 @default.
• W1491534912 cites W2128581098 @default.
• W1491534912 cites W2128888088 @default.
• W1491534912 cites W2131135493 @default.
• W1491534912 cites W2136022755 @default.
• W1491534912 cites W2138965497 @default.
• W1491534912 cites W2139543149 @default.
• W1491534912 cites W2139974906 @default.
• W1491534912 cites W2140792139 @default.
• W1491534912 cites W2141656096 @default.
• W1491534912 cites W2149237601 @default.
• W1491534912 cites W2150647484 @default.
• W1491534912 cites W2151318864 @default.
• W1491534912 cites W2155829706 @default.
• W1491534912 cites W2157771728 @default.
• W1491534912 cites W2160616025 @default.
• W1491534912 cites W2161527051 @default.
• W1491534912 cites W2163960678 @default.
• W1491534912 cites W2165851616 @default.
• W1491534912 cites W2167980913 @default.
• W1491534912 cites W2298313545 @default.
• W1491534912 cites W2340735175 @default.
• W1491534912 cites W252369111 @default.
• W1491534912 cites W2579116210 @default.
• W1491534912 cites W2913459036 @default.
• W1491534912 cites W296121516 @default.
• W1491534912 hasPublicationYear "2012" @default.
• W1491534912 type Work @default.
• W1491534912 sameAs 1491534912 @default.
• W1491534912 citedByCount "0" @default.
• W1491534912 crossrefType "journal-article" @default.
• W1491534912 hasAuthorship W1491534912A5003431930 @default.
• W1491534912 hasConcept C138885662 @default.
• W1491534912 hasConcept C15708023 @default.
• W1491534912 hasConcept C17744445 @default.
• W1491534912 hasConceptScore W1491534912C138885662 @default.
• W1491534912 hasConceptScore W1491534912C15708023 @default.
• W1491534912 hasConceptScore W1491534912C17744445 @default.
• W1491534912 hasLocation W14915349121 @default.
• W1491534912 hasOpenAccess W1491534912 @default.
• W1491534912 hasPrimaryLocation W14915349121 @default.
• W1491534912 isParatext "false" @default.
• W1491534912 isRetracted "false" @default.
• W1491534912 magId "1491534912" @default.
• W1491534912 workType "article" @default.