Resum


Hui en dia el tamany del programari s’utilitza en la gestió i control de la producció com un dels paràmetres essencials dels models d’estimació que contribueixen a la qualitat dels projectes de programari i els corresponents productes finals. Encara que la importància de la mesura del tamany en etapes primerenques és evident, actualment aquest mesurament és només aconseguit en fases tardanes del cicle de vida de desenvolupament de programari (anàlisi, disseny i implementació).
El tamany del programari pot ser quantificat mitjançant diferents tècniques, com el nombre de línies de codi i els mètodes de Mesurament de Tamany Funcional. Un mètode de Mesurament de Tamany Funcional avalua el tamany del programari quantificant els requisits funcionals. El mètode Anàlisi de Punts de Funció (FPA) és el mètode majorment utilitzat. Aquest mètode va ser ideat per a mesurar Sistemes d'Informació de Gestió desenvolupats amb mètodes tradicionals. Encara que IFPUG FPA ha anat aconseguint una creixent popularitat en la indústria, aquest mètode no és d'aplicació a tot tipus de programari i a nous paradigmes de desenvolupament de programari.
Per tal d'abordar aquestes debilitats, COSMIC-FFP ha sorgit com un mètode de segona generació i ha sigut aprovat com a estàndard internacional (ISO/IEC 19761). Existeixen ja diverses propostes que utilitzen COSMIC-FFP per tal de mesurar el tamany funcional d'aplicacions de programari. No obstant això, aquestes propostes no tenen una definició rigorosa i sistemàtica; per exemple, un problema comú és la falta de claredat en la definició de diversos conceptes que contribueixen al tamany del programari, particularment a nivell de modelatge de requisits. Una altra debilitat és que la validació i verificació no són tractades adequadament per aquestes propostes, a pesar que l'estàndard ISO/IEC 14143-3 proveeix d'un marc de treball general per a verificar si un mètode de Mesurament de Tamany Funcional és exacte, reproduïble, repetible, etc.
Aquesta tesi afronta aquestos problemes, analitzant i adaptant COSMIC-FFP per tal de mesurar el tamany funcional de futures aplicacions de programari a partir de la seua corresponent especificació de requisits en el context d'OO-Method. OO-Method és un mètode de producció de programari basat en una estratègia de transformació de models.
Per tant, l'objectiu d'aquesta tesi és doble: 1) Definir un procediment per a la mesura automàtica del tamany funcional en una fase més primerenca del procés de producció de programari utilitzant COSMIC-FFP; i 2) avaluar la qualitat d'aquest procediment quant al seu disseny, aplicació i resultats obtinguts. Per tal d'aconseguir aquestos objectius un procediment de mesurament de tamany funcional anomenat RmFFP ha sigut sistemàticament definit. Per a dur a terme aquesta definició s'ha utilitzat el model general de procés de mesurament de programari suggerit per Abran i Jacquet.
La present tesi inclou: 1) la definició d'un conjunt de regles de correspondència que permet identificar les primitives significatives del Model de Requisits; 2) La definició d'un conjunt de regles de mesurament per a obtindre el tamany funcional de sistemes OO generats usant OO-Method; 3) l'aplicació d’ambdós conjunts de regles a casos d'estudi reals; 4) la validació del disseny per mitjà de l'avaluació de conformitat amb la ISO/IEC 19761, la validació teòrica emprant un marc formal i una anàlisi duta a terme des d'una perspectiva de la metrologia; 5) l'avaluació dels resultats en termes de l'exactitud i reproductibilitat; 6) finalment, l'avaluació empírica de les percepcions dels usuaris utilitzant RmFFP per a mesurar el tamany funcional a partir d'una fase primerenca. Es va corroborar que RmFFP és fàcil d’utilitzar i beneficiós, i a més, es pretén que siga emprat en el futur.