SCD-Universite de Rennes 1 De la nécessité d’une vision holistique du code pour l’analyse statique et la correction automatique des applications Web The necessity of an holistic code view for static analysis and automatic refactoring of Web Applications Analyse statiquemultilinguismeJava (informatique)Logiciels InternetQualitéSécurité (informatique)HolismeTransformationComputer programs -- VerificationMultilingualismJava (Computer program language)Internet -- Computer programs Logiciels - - Vérification Thèses et écrits académiques Multilinguisme Thèses et écrits académiques Java (langage de programmation) Thèses et écrits académiques Internet - - Logiciels Thèses et écrits académiques L'omniprésence de l'informatique a comme conséquences, parmi d'autres, la multiplication du volume logiciel existant et en cours de développement pour répondre à une demande toujours croissante. Cette course à la productivité implique une industrialisation de la production de code sous contrôle qualitatif de plus en plus exigeante.Cette thèse tend à repousser des limites constatées dans le domaine de la qualité logicielle. Ces limites perceptibles dans les outils actuels concernent (1) le périmètre d'analyse, (2) l'ergonomie et les contextes d'utilisation, ainsi que (3) les solutions de correction du code proposées.Le point prépondérant de cette étude est la valorisation de l'ensemble des contenus qui entrentdans la composition d'une application pour améliorer les performances de l'analyse statique.Cette approche nous a permis d'obtenir des réponses plus complètes pour les problématiques déjà couvertes par l'existant. Cette diversité des sources nous a également permis de formuler des nouvelles analyses plus spécifiques et mieux adaptées aux caractéristiques de l'application cible. Nous avons aussi montré que la parallélisation de l'exécution et la possible automatisation de corrections aux problèmes trouvés lors de l'analyse permettent d'appliquer rapidement un nombre important de transformations sur un code volumineux. Ubiquitous computing has as a consequence, among others, the existing and under development software’s size increasing to meet an increasing demand. This race for productivity implies industrialization of the code production under a more demanding quality control. This thesis tends to push the limits founded in the field of software quality. These limits, which are notice able in the current tools are (1) the scope of analysis, (2) ergonomics and usages contexts , and (3) the proposed code correction solutions.The overriding point of this study is the integration of all kind of code which composing an application to improve static analysis performance.This approach allowed us to get more answers to resolve problems already covered by existing tools. This diversity of sources has also allowed to make further more specific analysis and better adapted to the characteristics of the target application.We have also shown that a parallel computation and a possible automatic problem correction found during the analysis can quickly apply a large number of transformations on a large size code. Electronic Thesis or DissertationText fr application/pdf1 : 2720 Kohttps://ecm.univ-rennes1.fr/nuxeo/site/esupversions/97e18c9f-0f48-41e5-ab49-6280560f67c6 Levointurier Christophe 1980-10-24 FR 16019671X 2011REN1S156 http://www.theses.fr/2011REN1S156 2011-12-08 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Université européenne de Bretagnethesis.degree.grantor_2 139075119 Doctorat non ouiBodin Françoisintervenant_1069660387RouséeFrankintervenant_2160196671 Mathématiques, informatique, signal, électronique et télécommunicationsecoleDoctorale_1 139007164 ddc:004 Bodin FrançoisRouséeFrankUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieUniversité européenne de BretagnePôle de recherche et d'enseignement supérieur de BretagneMathématiques, informatique, signal, électronique et télécommunicationsÉcole doctorale Mathématiques, informatique, signal, électronique et télécommunications (Rennes) ASCII PDF 2785228