62 314 2 PB

“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 Iberoamericana. [pp. 158-184]

Métodos formales e Ingeniería de Software 1
Formal Methods and Software Engineering
Méthodes formelles et génie logiciel
EdgarSerna Montoya
Candidato a Magíster en Ingenierí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étodosformales?
3. Los métodos formales en 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

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 dela Facultad de Ingenierías de las Fundación Universitaria Luis
Amigó, en la línea de investigación: “Sistemas de Información y Sociedad del conocimiento SISCO”.
1

158

“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 yActualidad Iberoamericana. [pp. 158-184]

Resumen. 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ásimportantes fases del ciclo de vida, labor que requiere 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 suprincipio matemático, en
potencialmente automatizables.
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, formal
specification 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
testingtechniques and, because of its mathematical principle, they are
potentially automatable.
Keywords: Formal Methods,
Validation, Verification.

Software

Engineering,

Specification,

Résumé. Les méthodes formelles ont émergé comme points de vue
analytiques qui rendent possible la vérification du développement de
systèmes grâce à la logique et les mathématiques, en apportant grandes
avantages pourl’amélioration de la qualité des logiciels et par conséquent
la Génie Logiciel. Dans ce champ de connaissance, la spécification
formelle est une des plus importantes phases de cycle de vie, travail qui
exige beaucoup d’attention puisque son fonction est garantir que le
fonctionnement et la performance du logiciel soient correctes dans tous
les situations. Dans le futur, les méthodes formelles...