Ing Software

Redalyc
Sistema de Información Científica
Red de Revistas Científicas de América Latina, el Caribe, España y Portugal

Serna Montoya, Edgar Métodos formales e Ingeniería de Software Revista Virtual Universidad Católica del Norte, núm. 30, mayo-septiembre, 2010, pp. 126 Fundación Universitaria Católica del Norte Colombia
Disponible en:http://redalyc.uaemex.mx/src/inicio/ArtPdfRed.jsp?iCve=194214476008

Revista Virtual Universidad Católica del Norte ISSN (Versión impresa): 0124-5821 asanchezu@ucn.edu.co Fundación Universitaria Católica del Norte Colombia

¿Cómo citar?

Número completo

Más información del artículo

Página de la revista

www.redalyc.org Proyecto académico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto

“Revista Virtual UniversidadCatólica del Norte”. No. 30, (mayo - septiembre de 2010, Colombia), acceso: [http://revistavirtual.ucn.edu.co/], ISSN 0124-5821 - Indexada Publindex-Colciencias, Latindex, EBSCO Information Services y Actualidad Iberoamericana

Métodos formales e Ingeniería de Software1 Formal Methods and Software Engineering Méthodes formelles et génie logiciel
Edgar Serna Montoya Candidato a Magíster enIngeniería de Sistemas Universidad Nacional, Medellín Grupo de investigación SISCO (FUNLAM) Profesor auxiliar Fundación Universitaria Luis Amigó edgar.sernamo@amigo.edu.co, eserna@gmail.com

Tipo de artículo: Recepción: Revisión: Aprobación:

Revisión resultado de investigación 2010-04-08 2010-04-19 2010-05-15

Contenido
1. Introducción 2. ¿Qué son los métodos formales? 3. Los métodos formalesen la ingeniería de software 4. Ventajas de los métodos formales 5. El futuro de los métodos formales 6. Conclusiones 7. Lista de referencias

1

Artículo resultado del proyecto de investigación: “Estructuración de una metodología genérica para la realización de pruebas de Caja Negra en los sistemas de información”, realizado por el grupo de investigación SISCO de la Facultad de Ingenierías delas Fundación Universitaria Luis Amigó, en la línea de investigación: “Sistemas de Información y Sociedad del conocimiento SISCO”.

1

“Revista Virtual Universidad Católica del Norte”. No. 30, (mayo - septiembre de 2010, Colombia), acceso: [http://revistavirtual.ucn.edu.co/], ISSN 0124-5821 - Indexada Publindex-Colciencias, Latindex, EBSCO Information Services y Actualidad IberoamericanaResumen. Los métodos formales surgieron como puntos de vista analíticos con los que es posible verificar el desarrollo de sistemas mediante la lógica y las matemáticas, lo que aporta grandes ventajas para mejorar la calidad de los programas y por tanto la Ingeniería de Software. En este campo del conocimiento, la especificación formal es una de las más importantes fases del ciclo de vida, labor querequiere mucho cuidado ya que su función es garantizar que tanto el funcionamiento como el desempeño del programa sean correctos, bajo cualquier situación. En el futuro, los métodos formales deberían estar presentes como principios esenciales en el desarrollo de software, ya que se convierten en la base para aplicar las técnicas de prueba y, dado su principio matemático, en potencialmenteautomatizables. Palabras clave: Especificación, formales, Validación, Verificación. Ingeniería de software, Métodos

Abstract. Formal methods have emerged as analytical points of view that allow checking systems development through logic and mathematics, providing significant benefits to improve the quality of programs, and therefore the Software Engineering. In this field of knowledge, formalspecification is one of the most important life cycle stages, a task that requires great care because its function is to ensure that both the operational and program performance will be correct in any situation. In the future, formal methods should be present as essential principles in software development since they become the basis for applying the testing techniques and, because of its mathematical...