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

• Auteur / Autrice : Christophe Levointurier
• Direction : François Bodin, Frank Rousée
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2011
• Etablissement(s) : Rennes 1
• Ecole(s) doctorale(s) : École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes)
• Partenaire(s) de recherche : Autre partenaire : Université européenne de Bretagne (2007-2016)

Mots clés

Mots clés contrôlés

Logiciels

Internet

Java (langage de programmation)

Multilinguisme

Logiciels -- Vérification

Résumé

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.