Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

De nos jours, en raison de l'augmentation de la portée des systèmes informatiques et des exigences de la qualité de logiciel, le processus de développement de logiciel est devenu de plus en plus complexe et de plus en plus difficile à contrôler. De nombreuses métriques logicielles et des méthodes de mesure ont étés établies et utilisées comme des indices utiles et significatifs, et ce afin de mieux comprendre et maîtriser le processus de construction logicielle tout en assurant la qualité du produit final. La présente étude est un survol des métriques logicielles et des méthodes appliquées dans la construction de logiciels; cependant, nous classifions ces mesures variantes et ces méthodes de mesure en fonction de leurs multiples buts d'utilisation, et réalisons une étude analytique de chaque métrique en exposant ses avantages et ses inconvénients. De plus, ces analyses comparatives sont réalisées entre les différents types des métriques. Dans le présent travail, nous expliquons la complexité élevée du processus de construction en exposant les facteurs qui influencent la progression de construction logicielle. Par la suite, nous présentons et analysons les divers modèles d'estimation et les métriques appliquées dans l'estimation logicielle afin de prédire l'envergure et l'effort de développement. L'estimation du projet est considérée comme une activité indispensable dans le processus de construction. Ainsi, nous faisons une comparaison horizontale entre les modèles d'estimation d'effort de développement. Par la suite, nous effectuons une revue des métriques en mesurant la taille logicielle, la complexité de logiciel et la structure de programme orienté objet. Les analyses de ces métriques portent sur leur degré de précision de mesure et leur utilité dans la mesure de qualité logicielle. Enfin, nous mettons l'accent sur les métriques et les méthodes adoptées pour mesurer la progression de construction de logiciel; certaines métriques et technologies de mesure sont introduites et analysées telles le jalonnement, les métriques de qualité logicielle, la technologie EVM, etc. De plus, nous faisons une étude analytique des différentes métriques impliquées dans les différents modèles de développement de logiciel. Nous concluons qu'il est très difficile de trouver un ensemble de métriques standards dans l'application industrielle malgré un grand nombre de métriques et de méthodes de mesure qui sont inventés et adoptées, parce que la sélection et l'adaptation des métriques dépendent des différents objectifs d'utilisation, chaque objectif correspondant en effet aux métriques spécifiques les plus adaptives et les plus pertinentes. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Métrique logicielle, Progression de construction, Développement de logiciel, Estimation logicielle, Gestion de projet, Qualité logicielle, Complexité de logiciel.

Depuis leur apparition, la cohésion et le couplage (C&C) ont fait couler beaucoup d'encre, et ce en raison du rôle qui leur a été attribué dans la détermination des traits de plus qu'un attribut de la qualité du logiciel. Cette détermination a pris plusieurs aspects modelés selon les besoins et les réalisations de chaque étape d'évolution par lesquels ils sont passés. Ces aspects ont contribué grandement au retrait d'une large ambigüité qui a couvert le couple C&C comme tout autre concept mesurable de la qualité logicielle. En revanche, ils ont pris part à l'exacerbation du nombre de questions de recherche ---quelques unes vagues et d'autres précises, à propos de ce qui a formé une preuve évidente de la difficulté d'utilisation de ces deux concepts. Depuis toujours la source du problème de cette difficulté est connue: définitions informelles, et la solution est unique et unanime: définition de mesures objectives et normalisées. Mais, les visions, qui diffèrent à cause des multiples chemins possibles à prendre et des divers moyens envisageables, rendent en quelque sorte la réalisation de cette solution difficile. Dans notre étude nous avons analysé l'histoire de ces deux concepts en prenant comme point de départ le livre Structured Design de Yourdon et Constantine (1979). Nous avons ensuite suivi à la trace les changements de ces concepts tout au long des trois dernières décennies, en analysant une vingtaine d'articles marquants. Avec cette étude, nous avons découvert, qu'avec leurs visions différentes, les chercheurs sont arrivés à résoudre certains sous-problèmes (qui découlent du problème principal qui s'est avéré très complexe), tout en découvrant d'autres sous-problèmes qui ont besoin d'être solutionnés, pour que le tout permette un éclaircissement et une précision qui accordent une utilisation efficace du couple C&C, dans la production d'applications d'envergure où l'on applique les principes du génie logiciel (GL). Le résultat de notre étude peut être résumé par le «non» que nous avons donné comme réponse à notre question de recherche principale «Est-ce que les concepts de cohésion et de couplage ont des définitions assez précises pour pouvoir être employés de manière efficace dans le GL ?». ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Cohésion, Complexité, Couplage, Modularisation, Métrique, Qualité.

Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Les métriques logicielles jouent un rôle très important dans la prédiction de la qualité. Elles aident les gestionnaires dans la prise de décisions afin de budgétiser, contrôler, estimer le coût et analyser les risques d'un produit au cours de son développement. Dans ce travail, nous proposons une approche basée sur les connaissances pour analyser et estimer des facteurs de qualité dans des systèmes à objets. Pour concrétiser notre approche, nous avons construit un prototype regroupant les fonctionnalités de deux logiciels. Nous avons utilisé le logiciel Weka pour faire l'apprentissage automatique de connaissances et ainsi construire des modèles prédictifs. Ensuite, nous avons traduit ces modèles en un système à base de règle JRules, pour la prédiction et la prise de décision. Ces deux fonctions principales sont offertes pour deux types d'utilisateur : un débutant et un expert dans le domaine de la conception en génie logiciel. Le rôle principal de l'expert est de valider un tel modèle prédictif. Nous avons expérimenté notre prototype sur des bases de données qui représentent des mesures de métriques récoltées sur des logiciels fonctionnels. Les résultats obtenus dans le cadre de différentes expériences permettent de prédire et d'estimer certains facteurs de qualité tels que la maintenabilité, la réutilisabilité et la prédisposition aux fautes. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Qualité du logiciel, apprentissage automatique, base de connaissances, modèles prédictifs, système à base de règles, prise de décision.

.