A measurement-based approach for assessing uml statechart diagrams understandability

Los modelos y las tecnicas de modelado en general se encuentran en la base de multiples disciplinas, Siempre han sido una pieza clave en la Ingenieria del Software, pero aun mas desde la aparicion de propuestas como MDA que utilizan las transformaciones de modelos para construir software. De ahi que la calidad de los modelos sea una pieza clave en la calidad de los productos software finales, ya que la afectara directamente. En esta tesis se ha tratado de evaluar una caracteristica de la calidad, la entendebilidad, por la repercusion que tiene sobre un aspecto tan importante como la mantenibilidad. Mas concretamente, se evalua la entendibilidad de los diagramas de estados UML, por la importancia que estos tienen al ser los encargados de modelar el comportamiento dinamico de las principales clases de un sistema orientado a objetos. Se ha propuesto un conjunto de metricas, definidas de manera informal y formal, para los diagramas de estados UML, basandose en los principales elementos del metamodelo relacionados con este tipo de diagrama. Las metricas se han validado tanto teorica como empiricamente. La validacion teorica se ha llevado a cabo bajo dos perspectivas distintas: una aproximacion basada en propiedades propuesta por Briand, Morasca y Basili y el marco DISTANCE, basado en la Teoria de la Medida, propuesto por Poels y Dedene. La validacion empirica se compone de 10 experimentos agrupados en 3 familias distintas. En la primera se validaron las metricas propuestas y se construyo un modelo de prediccion preliminar. En la segunda se estudio en profundidad como los estados compuestos afectan a la entendibilidad de los diagramas. Finalmente, en la tercera se trato de hallar el nivel optimo de anidamiento dentro de los estados compuestos. Por ultimo, se presenta GenMETRIC, una herramienta generica y extensible, parte de un entorno global de Ingenieria del Software para medicion. Esta herramienta permite la definicion, el cal