Métodos formales e Ingeniería de Software 1 Formal Methods and Software Engineering Méthodes formelles et génie logiciel

  Autor

Edgar Serna 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ó
Esta direcci?n de correo electr?nico est? protegida contra los robots de spam, necesita tener Javascript activado para poder verla , Esta direcci?n de correo electr?nico est? protegida contra los robots de spam, necesita tener Javascript activado para poder verla

Tipo de artículo:      Revisión resultado de investigación
Recepción:              2010-04-08
Revisión:                 2010-04-19
Aprobación:            2010-05-15

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ás importantes 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 su principio matemático, en potencialmente automatizables.

Palabras clave: Especificación, Ingeniería de software, Métodos formales, Validación, Verificación.


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 testing techniques and, because of its mathematical principle, they are potentially automatable.

Keywords: Formal Methods, Software Engineering, Specification, Validation, Verification.

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 pour l’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 devraient rester comme principes essentiales dans le développement de logiciels, parce qu’ils deviennent la référence pour appliquer las techniques de preuve et, à cause de son principe mathématique, ils ont la potentialité de être automatisées.