Show simple document record

dc.contributor.advisorFrappier, Marcfr
dc.contributor.advisorSt-Denis, Richardfr
dc.contributor.authorDiab, Hassanfr
dc.date.accessioned2014-05-16T16:03:48Z
dc.date.available2014-05-16T16:03:48Z
dc.date.created2003fr
dc.date.issued2003fr
dc.identifier.isbn0494001941fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/5044
dc.description.abstractLa méthode des points de fonction, proposée par Albrecht, permet de mesurer la taille fonctionnelle d'un logiciel durant la phase de spécification des besoins. Elle a été améliorée par l'IFPUG (International Function Points User Group). Cette méthode des points de fonction a été étendue par le groupe COSMIC (Common Software Measurement International Consortium) pour la mesure des systèmes temps réels, appelée COSMIC-FFP. Cependant, les définitions de ces deux méthodes sont ambiguës, ce qui les rend difficiles à automatiser. Dans cette thèse, nous avons formalisé la définition des points de fonction selon la méthode d'IFPUG pour mesurer des spécifications écrites en langage B. Nous avons également formalisé la définition de COSMIC-FFP pour des spécifications écrites avec la notation de Rational Rose RealTime (RRRT). De plus, nous avons développé un outil, [Special characters omitted.], qui permet de mesurer automatiquement COSMIC-FFP pour des spécifications RRRT. Nos définitions formelles permettent de lever plusieurs ambiguïtés et de rendre ces mesures objectives, ce qui permettra d'éliminer la variance dans le processus de mesure.La formalisation permet également l'automatisation de la mesure.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Hassan Diabfr
dc.titleFormalisation et automatisation de la mesure des points de fonctionfr
dc.typeThèsefr
tme.degree.disciplineInformatiquefr
tme.degree.grantorFaculté des sciencesfr
tme.degree.levelDoctoratfr
tme.degree.namePh.D.fr


Files in this document

Thumbnail

This document appears in the following Collection(s)

Show simple document record