Resumen


Hoy en día el tamaño del software es utilizado en la gestión y control de producción como uno de los parámetros esenciales de los modelos de estimación que contribuyen a la calidad de los proyectos de software y productos entregables. Aunque la importancia de la medición temprana del tamaño es evidente, actualmente esta medición es solamente alcanzada en fases tardías del ciclo de vida del software (análisis, diseño e implementación).
El tamaño de software puede ser cuantificado usando diferentes técnicas, como las líneas de código y los métodos de medición de tamaño funcional. Un método de medición de tamaño funcional mide el tamaño del software cuantificando los requisitos funcionales. El método Análisis de Puntos de Función (FPA) es el método mayormente utilizado. Este método fue desarrollado para medir Sistemas de Información de Gestión desarrollados con metodos tradicionales. Aunque IFPUG FPA ha ido alcanzado mayor popularidad  en la industria, este método carece de aplicabilidad a todo tipo de software  y a nuevos  paradigmas de desarrollo.
Para direccionar estas debilidades, COSMIC-FFP ha surgido como un método de segunda generación y ha sido aprobado como un estandar internacional (ISO/IEC 19761). Sin embargo, la generalidad de COSMIC-FFP requiere ser instanciado por medio de un procedimiento más específico y sistemático en conjunción con un método de desarrollo de software.
Existen varias propuestas que usan COSMIC-FFP para medir el tamaño funcional de aplicaciones software a partir de especificaciones de alto nivel. Sin embargo, estas propuestas carecen de una definición rigurosa y sistemática; por ejemplo, un problema común es la falta de claridad en la definición de varios conceptos que contribuyen al tamaño de software, particularmente a nivel de modelado de requisitos. Otra debilidad es que la validación y verificación no son tratadas adecuadamente  por estas propuestas, a pesar de que el estándar ISO/IEC 14143-3 provee un marco general para verificar si un método de medición de tamaño funcional es exacto, reproducible, repetible, etc.
 Esta tesis afronta estos problemas analizando y adaptando COSMIC-FFP para medir el tamaño funcional de futuras aplicaciones de software a partir de su correspondiente especificación de requisitos en el contexto de OO-Method. OO-Method es un método de producción de software basado en una estrategia de transformación de modelos.
Por lo tanto, el objetivo de esta tesis es doble: 1) Definir un procedimiento para la medición automática del tamaño funcional en una fase más temprana del proceso de producción de software usando COSMIC-FFP; y 2) evaluar la calidad de este procedimiento en cuanto a su diseño, aplicación y resultados obtenidos. Para lograr estos objetivos, un procedimiento de medición de tamaño funcional llamado RmFFP ha sido sistemáticamente definido. Para hacer esto, se utilizó un modelo general de proceso de medición del software, sugerido por Abran y Jacquet. 
La presente tesis incluye: 1) la definición de un conjunto de reglas de representación que permite identificar las primitivas significativas del Modelo de Requisitos; 2) La definición de un conjunto de reglas de medición para obtener el tamaño funcional de sistemas OO generados usando OO-Method; 3) la aplicación de estas reglas a casos de estudio reales; 4) la validación del diseño por medio de la evaluación de conformidad con la ISO/IEC 19761, la validación teórica usando un marco formal y un análisis llevado a cabo desde una perspectiva de la metrología; 5) la evaluación de los resultados en términos de la exactitud y reproducibilidad; 6) finalmente, la evaluación empírica de las percepciones de los usuarios utilizando RmFFP para medir el tamaño funcional a partir de una fase más temprana. Se corroboró que RmFFP es fácil de usar y útil, y además, existe la intención de ser usado en el futuro.