Resumen

La evaluación de las propiedades no funcionales (NFP) del software es un problema importante en el desarrollo de software. En el contexto del desarrollo orientado a modelos, un enfoque emergente para el análisis de diferentes NFPs consiste en los siguientes pasos: (a) extender los modelos de software con anotaciones que describan la NFP de interés; (b) transformar automáticamente el modelo de software anotado al formalismo elegido para el análisis de NFP; (c) analizar el modelo formal utilizando solucionadores existentes; (d) evaluar el software basándose en los resultados y dar retroalimentación a los diseñadores. Este enfoque de modelado-análisis-evaluación puede aplicarse a cualquier lenguaje de modelado de software, ya sea de propósito general o específico de dominio. En este artículo, nos enfocamos en el desarrollo basado en UML y en la NFP de confiabilidad, que abarca la fiabilidad, disponibilidad, seguridad, integridad y mantenibilidad. El artículo presenta el perfil utilizado para extender UML con información de confiabilidad, la transformación del modelo

• Materias:Energías renovables Hidrocarburos Infección Enfermedades mentales Tumor
• Subjects:Renewable energy Hydrocarbons Infection Mental illness Tumor
• Palabras claves:Evaluación; Software; Propiedades no funcionales; Desarrollo basado en modelos; Análisis; Confiabilidad
• Keywords:Assessment; Software; Nonfunctional properties; Model-driven development; Analysis; Dependability