Méthodes dirigées par les modèles pour l'analyse dynamique appliquées à l'ingénierie de logiciels verts
| Autor: | Beziers la fosse, Thibault |
|---|---|
| Přispěvatelé: | NaoMod - Nantes Software Modeling Group (NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Ecole nationale supérieure Mines-Télécom Atlantique, Gerson Sunyé |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
Selection de tests de regression
Cyber-Physical Systems Energy efficiency Analyse dynamique Systèmes cyber-physique Dynamic analysis Model-Driven Engineering Regression test selection Ingénierie dirigée par les modèles Estimation énergétique [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] |
| Zdroj: | Software Engineering [cs.SE]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0232⟩ |
| Popis: | Model-Driven Engineering (MDE) is a process that promotes models as the central key element for all phases in a software development lifecycle. Improving the quality of a software at design time can be done by performing analysis on the model it is designed with. Performing static analysis on models is extremely common during development phases, however the limited possibilities of dynamic analysis in models prevents early improvements of software and system. This lack of dynamic analysis options is especially important in the context of energy aware software engineering: good design choices must be done early in the development cycle to optimize the energy consumption. In this thesis we propose several approaches for performing dynamic analysis on models. A first contribution injects execution traces into source code model, and a second one generates monitoring application of cyber-physical system based on design model. Several dynamic analysis use-cases for energy-efficiency are presented: either for energy estimation or to lighten the cost of regression testing.; L'ingénierie dirigée par les modèles est un processus de développement qui centralise l'utilisation de modèles à toutes les étapes de la création d'applications. Lors de la phase de conception d'une application, il est commun d'analyser son modèle afin de vérifier sa conformité. L'analyse statique de modèle est courante, cependant le manque d'informations dynamiques dans les modèles freine la détection d'anomalies tôt dans le cycle de développement. La détection d'anomalies de consommation énergétique tôt dans le cycle de développement est importante, et nécessite d'analyser dynamiquement le modèle. Cette thèse présente deux approches permettant l'analyse dynamiques de modèles. Une première contribution injectes des traces d'exécution au sein de modèles de code source, et une seconde contribution génère une application de surveillance de système cyber-physique, à partir de son modèle de conception. Plusieurs analyses dynamiques sont effectués en se reposant sur ces approches, notamment dans le cadre de l'efficacité énergétique et de l'optimisation des tests de non régression. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|