Transcript CiclosVida3
Ingeniería de Software Desarrollo basado en Reuso • Basado en la reutilización sistemática, los sistemas se integran con componentes existentes o con sistemas comerciales • Etapas del proceso 1. 2. 3. 4. Análisis de componentes Modificación de requisitos Diseño del sistema con reutilización Desarrollo e integración • Este enfoque está cobrando cada vez más importancia pero todavía hay una experiencia limitada con él. Ingeniería de Software Desarrollo basado en Reuso Ingeniería de Software Desarrollo basado en Reuso con Espiral Ingeniería de Software Transformaciones Formales • Se basa en la transformación de una especificación “matemática” a un programa ejecutable • Se basan en la necesidad de razonar formalmente sobre las aplicaciones desarrolladas, y ser capaces no sólo de verificar que satisfacen las especificaciones del usuario, sino de poder demostrar ciertas propiedades sobre ellas • Las transformaciones pueden demostrarse y el programa final es conforme con su especificación Ingeniería de Software Transformaciones Formales Ingeniería de Software Transformaciones Formales – Notación Z • Z es una notación formal basada en la teoría de conjuntos de Zermelo • • • Utiliza los conceptos básicos de esa teoría (conjuntos, relaciones, funciones y variables) para describir sistemas y aplicaciones Z define los denominados esquemas, que permiten la construcción estructurada y modular de especificaciones software. Los esquemas sirven para modelar los aspectos tanto estáticos como dinámicos de un sistema Ingeniería de Software Transformaciones Formales – Notación Z • Aspectos estáticos 1. Los estados que puede alcanzar el sistema. 2. Los invariantes que se conservan en todas las transiciones entre estados. • Aspectos dinámicos 1. Las posibles operaciones que se pueden realizar sobre él. 2. Las relaciones entre las entradas y salidas del sistema. 3. Los cambios de estado del sistema, cuándo y cómo se producen. Ingeniería de Software Transformaciones Formales – Notación Z • Ejemplo: el siguiente esquema describe una estructura de datos que es una secuencia de números naturales de longitud menor que 10 • La parte superior es la de declaraciones, en donde se expresa el nombre de las variables y sus tipos La parte inferior expresa, de forma declarativa, las relaciones entre las variables que forman parte del esquema. • Ingeniería de Software Transformaciones Formales • Problemas 1. Se necesitan habilidades y el entrenamiento especializados para aplicar la técnica 2. Es difícil especificar formalmente algunos aspectos del sistema tales como la interfaz de usuario • Aplicabilidad 1. Sistemas críticos donde la seguridad o la fiabilidad debe garantizarse antes de que el sistema se ponga en explotación Ingeniería de Software Metodologías Ágiles • En los 80 y principios de los 90, existía un acuerdo generalizado en que la mejor forma de desarrollar buen software era a través de: 1. Cuidadosa planificación del proyecto 2. Formalizar el aseguramiento de calidad 3. Métodos de análisis y diseño soportados por herramientas CASE 4. Proceso de desarrollo controlado y riguroso Ingeniería de Software Metodologías Ágiles • Procedía de la experiencia de desarrollo de sistemas software grandes, de larga vida 1. Muchas veces estos sistemas eran críticos 2. Grandes equipos de desarrollo, a veces geográficamente dispersos, a veces trabajando incluso para empresas distintas 3. En estos sistemas era necesario una sobrecarga en planificación, diseño y documentación del sistema Ingeniería de Software Metodologías Ágiles • ¿Qué ocurre cuando se aplican estos métodos heavyweight a una aplicación de gestión de tamaño medio o pequeño? 1. La sobrecarga de trabajo (requisitos, diseño, documentación) domina el proceso de desarrollo 2. Se dedica más tiempo a cómo el sistema será desarrollado que a programación y prueba 3. Cada vez que cambia un requisito hay que hacer mucho trabajo de rediseño y redocumentación Insatisfacción del cliente y del equipo de desarrollo Ingeniería de Software Metodologías Ágiles • A finales de los 90, aparecen “métodos ágiles” (lightweight) como extreme programming (Beck2000) 1. Como reacción a los procesos muy burocratizados 2. Atención al software más que al diseño y la documentación 3. Enfoque basado en el desarrollo y la entrega de incrementos de funcionalidad muy limitada. 4. Iterativos e incrementales 5. Mejora constante del código, implicación del usuario en el equipo de desarrollo y la programación “sin complejos”. Ingeniería de Software Metodologías Ágiles Ingeniería de Software Metodologías Ágiles Las Metodologías Ágiles (MAs) valoran: Al individuo y las interacciones en el equipo de desarrollo más que a las actividades y las herramientas Desarrollar software que funciona más que conseguir una buena documentación Minimalismo respecto del modelado y la documentación del sistema La colaboración con el cliente más que la negociación de un contrato Responder a los cambios más que seguir estrictamente una planificación Ingeniería de Software Metodologías Ágiles • ¿Cuándo son útiles? (Sommerville2004) 1. Útiles para aplicaciones de gestión y productos software de tamaño pequeño o medio con requisitos que cambian rápidamente durante el proceso de desarrollo 2. No son útiles en desarrollo de software de gran escala con equipos de desarrollo en lugares distintos y con interacciones complejas con otros sistemas software y hardware. 3. Tampoco son útiles en sistemas críticos en los que es necesario un análisis detallado de los requisitos del sistema para comprender las implicaciones de seguridad (security safety) Ingeniería de Software Metodologías Ágiles Metodología Ágil Pocos Artefactos. El modelado es prescindible, modelos desechables. Pocos Roles, más genéricos y flexibles Metodología Tradicional Más Artefactos. El modelado es esencial, mantenimiento de modelos Más Roles, más específicos No existe un contrato tradicional, debe ser bastante flexible Existe un contrato prefijado Cliente es parte del equipo de desarrollo (además in-situ) El cliente interactúa con el equipo de desarrollo mediante reuniones Ingeniería de Software Metodología Ágil Orientada a proyectos pequeños. Corta duración (o entregas frecuentes), equipos pequeños (< 10 integrantes) y trabajando en el mismo sitio La arquitectura se va definiendo y mejorando a lo largo del proyecto Metodología Tradicional Aplicables a proyectos de cualquier tamaño, pero suelen ser especialmente efectivas/usadas en proyectos grandes y con equipos posiblemente dispersos Se promueve que la arquitectura se defina tempranamente en el proyecto Énfasis en los aspectos humanos: el Énfasis en la definición del proceso: individuo y el trabajo en equipo roles, actividades y artefactos Se esperan cambios durante el Se espera que no ocurran cambios proyecto de gran impacto durante el proyecto Ingeniería de Software Metodologías Ágiles Crystal Methodologies, Alistarir Cockburn, www.crystalmethodologies.org SCRUM, Ken Schwaber & Jeff Sutherland, www.controlchaos.com DSDM (Dynamic Systems Development Method), www.dsdm.org Lean Programming, Mary Poppendieck, www.poppendieck.com FDD (Feature-Driven Development), Peter Coad & Jeff De Luca, www.nebulon.com/fdd, www.coad.com/peter/#fdd Extreme Programming, Kent Beck www.extremeprogramming.org, www.xprogramming.com Adaptative Software Development, Jim Highsmith www.adaptivesd.com