UNIVERSIDAD DE GUADALAJARA

INTRODUCCIN A LOS MTODOS FORMALES EN LA INGENIERA DESOFTWARERosy Jimnez Meza ajimenezme@hotmail.com

INGENIERA DE SOFTWAREDe acuerdo a la IEEE, la Ingeniera de Software es la disciplina o rea de la informtica que ofrece mtodos y tcnicas para el desarrollo, operacin y mantenimiento de software de calidad, esto es la aplicacin de la ingeniera al desarrollo de software.

Modelo en cascadaFase 1:Definicin de Requerimientos

Fase 2:

Diseo del Software y del Sistema

Fase 3:

Construccin

Fase 4:

Integracin y Pruebas del Sistema

Fase 5:

Operacin y Mantenimiento

Ingeniera de Software

FASE 1: DEFINICIN DE REQUERIMIENTOS Se refiere a la elicitacin, anlisis, especificacin, validacin y administracin de los requerimientos de software. Los requerimientos de software expresan las necesidades y restricciones que debe satisfacer un producto de software para contribuir a la solucin de un problema real.

Ingeniera de Software

FASE 2: DISEO DEL SOFTWAREEs el proceso que involucra la definicin de la arquitectura, componentes , interfaces y otras caractersticas de un sistema o componente. El diseo software debe describir: La arquitectura (descomposicin y organizacin de componentes) y las interfaces entre dichos componentes. Los componentes con el nivel de detalle adecuado para poder construirlos.

Ingeniera de Software

FASE 3: CONSTRUCCIN DEL SOFTWARECreacin detallada del software de manera funcional y significativa, a travs de la codificacin, verificacin, pruebas unitarias, pruebas de integracin y depuracin. Principios bsicos: 1.Minimizar la complejidad 2.Anticipar los cambios 3.Construir para verificar

Ingeniera de Software

FASE 4: PRUEBAS DEL SOFTWARESirve para evaluar la calidad de un producto de software o para mejorarlo, mediante la identificacin de sus defectos y problemas. Las pruebas se realizan en un conjunto finito de casos, los cuales se seleccionan de un dominio de ejecuciones infinitas.

Ingeniera de Software

PROBLEMAS QUE MOTIVARON EL DESARROLLO DE LA I.S.La "Crisis del Software", a finales de los aos 60, dio origen a la Ingeniera de Software, caracterizada por:1. 2. 3.

Imprecisin de los planes del proyecto y de la estimacin de costos. Baja productividad del personal de desarrollo y mantenimiento. Baja calidad del producto: alto costo, baja confiabilidad, baja flexibilidad y adaptabilidad, etc. Insatisfaccin del cliente o usuario. Retrasos en la entrega del producto. Altos costos de desarrollo: el costo de producir software es muy superior al de producir hardware. Complejidad creciente en los requerimientos de software: los nuevos requerimientos siempre tienden a superar la tecnologa disponible. Escasez de personal altamente calificado. Complejidad del mantenimiento.

4. 5. 6.

7.

8. 9.

QU ES UN MTODO FORMAL?

Mtodo formal es cualquier tcnica que trate la construccin y/o el anlisis de modelos matemticos que contribuyen a la automatizacin del desarrollo de sistemas informticos.

EL PAPEL DE LOS MTODOS FORMALES EN LA INGENIERA DEL SOFTWARESe basan en el empleo de tcnicas, lenguajes y herramientas definidos matemticamente. Facilitan el anlisis y construccin de sistemas confiables independientemente de su complejidad. Delatan posibles inconsistencias o ambigedades que de otra manera pudieran pasar desapercibidas.

CONT. EL PAPEL DE LOS MTODOS FORMALES EN LA INGENIERA DEL SOFTWAREFacilita el desarrollo de especificaciones claras, concisas y no ambiguas. Permite el anlisis funcional de la especificacin. Posibilita el desarrollo de implementaciones correctas respecto a sus especificacin.

VENTAJAS DE LOS MTODOS FORMALESSe comprende mejor el sistema. La comunicacin con el cliente mejora ya que se dispone de una descripcin clara y no ambigua de los requisitos del usuario. El sistema se describe de manera ms precisa. El sistema se asegura matemticamente que es correcto segn las especificaciones. Mayor calidad software respecto al cumplimiento de las especificaciones. Mayor productividad

CLASIFICACIN DE LOS MTODOS FORMALESEspecificaciones basadas en lgica de primer orden y teora de conjuntos: Z, VDM y B Especificaciones algebraicas: Larch, OBJ, TADs. Especificacin de comportamiento: y Mtodos basados en lgebra de procesos: CCS,CSP y LOTOS. y Mtodos basados en Redes de Petri y Mtodos basados en lgica temporal

REFERENCIAS

IEEE SWEBOK. Guide to the Software Engineering Body of Knowledge (2004 edition, PDF version only) Authored by Alain Abran, James W. Moorehttp://www.computer.org/portal/web/store?product_id=RN0000001

Introduccin a los Mtodos Formaleshttp://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Introduc ci%C3%B3n_a_los_M%C3%A9todos_Formales