Conception et mise en œuvre d'une technique de formalisation par des triplets pour l'automatisation de la mesure de la taille fonctionnelle à partir d'exigences logicielles écrites en langage naturel

Gerançon, Bruel (2022). « Conception et mise en œuvre d'une technique de formalisation par des triplets pour l'automatisation de la mesure de la taille fonctionnelle à partir d'exigences logicielles écrites en langage naturel » Thèse. Montréal (Québec, Canada), Université du Québec à Montréal, Doctorat en informatique cognitive.

Fichier(s) associé(s) à ce document :
[img]
Prévisualisation
PDF
Télécharger (7MB)

Résumé

Le domaine de l’automatisation de la mesure de la taille fonctionnelle des logiciels, à partir des documents de spécifications logicielles, reste et demeure peu développé jusqu’à présent. En effet, la littérature consultée a montré que les tentatives d’automatisation du processus de la mesure de la taille fonctionnelle des logiciels ont eu peu de succès au niveau de l’industrie. Plusieurs outils d’automatisation de la mesure de la taille fonctionnelle des logiciels ont été développés en fonction de la méthode COSMIC ISO 19761 et de celle de IFPUG. Toutefois, ces outils présentent de nombreux défauts, contraintes et limitations. De plus, les méthodes, techniques et outils de rédaction des documents de spécifications logicielles utilisés dans l’industrie sont loin de permettre l’automatisation de la mesure de la taille fonctionnelle des logiciels. Dans l’industrie, les exigences du logiciel sont généralement écrites en langage naturel, et aucun détail technique n’est précisé. Ainsi, les exigences du logiciel sont incomplètes, incohérentes et propices aux ambiguïtés, et donc des erreurs d’interprétation peuvent facilement être commises par les analystes. De ce fait, l’automatisation de la mesure de la taille fonctionnelle des logiciels n’est pas une tâche évidente. Cette thèse propose une nouvelle technique de rédaction d’exigences du logiciel permettant de favoriser l’automatisation du processus de mesure de la taille fonctionnelle des logiciels à partir des documents de spécifications logicielles écrites en langage naturel. De ce fait, nous avons exploré les techniques, outils et méthodes de rédaction d’exigences logicielles existantes, ainsi que leurs limitations. Par la suite, nous avons examiné les possibilités offertes par un modèle de spécification des exigences fondé sur la logique des prédicats du 1er ordre. En effet, nos contributions portent principalement sur trois (3) propositions qui sont notamment : a) un modèle de triplets fondé sur la logique des prédicats du 1er ordre, comme modèle de spécification, de rédaction et de représentation des exigences logicielles pour permettre l’automatisation de la taille fonctionnelle des logiciels à partir des exigences écrites sous forme de structure de triplet ; b) un outil permettant de générer des triplets à partir des exigences logicielles écrites en langage naturel, en vue de l’automatisation du processus de mesure de la taille fonctionnelle des logiciels ; c) l’implémentation des règles de la méthode COSMIC permettant d’identifier les types de mouvements de données (Entré, Sortie, Lecture, éCriture) de chaque processus fonctionnel. Les résultats de cette recherche démontrent que la rédaction d’exigences fonctionnelles sous forme de structure de triplets permet d’automatiser le processus de mesure de la taille fonctionnelle des logiciels à partir des documents de spécifications. Notre technique a été éprouvée, testée et validée par l’outil d’automatisation proposé, tel que défini par la méthode COSMIC ISO 19761. Nous avons testé l’outil avec dix (10) documents de spécifications d’exigences logicielles, en raison de cinq (5) projets anglais et de cinq (5) projets français. Les résultats présentés ont été comparés à ceux d’experts humains certifiés avec la méthode COSMIC. Les résultats mesurés manuellement des projets écrits en anglais sont publiés et disponibles sur le site Internet de COSMIC. En fait, l’outil d’automatisation que nous proposons pour valider notre technique de rédaction d’exigences présente des résultats automatisés cohérents avec les résultats manuels validés et publiés par des experts, avec une précision moyenne de 96,96%, variant entre 93,14% et 100%. _____________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Méthode COSMIC, Automatisation, Taille fonctionnelle, Triplet, Traitement automatique des langues naturelles.

Type: Thèse ou essai doctoral accepté
Informations complémentaires: Fichier numérique reçu et enrichi en format PDF/A.
Directeur de thèse: Nkambou, Roger
Mots-clés ou Sujets: Mesure du logiciel / Automatisation / Taille fonctionnelle / Exigence logicielle / Traitement automatique des langues naturelles
Unité d'appartenance: Faculté des sciences > Département d'informatique
Déposé par: Service des bibliothèques
Date de dépôt: 24 août 2022 08:56
Dernière modification: 24 août 2022 08:57
Adresse URL : http://archipel.uqam.ca/id/eprint/15762

Statistiques

Voir les statistiques sur cinq ans...