Formalisation et automatisation de la mesure des points de fonction

La 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, mcROSE , 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.