14 mitos de los Metodos Formales

Como ya sabemos lo metodos formales son lenguajes, técnicas y herramientas basadas en matemática y/o lógica para describir y verificar sistemas de software y/o hardware. Generalemente los MF no son muy usados en la mayoria de las empresas de hoy en día, agunos de los motivos pueden ser :

• Conservadurismo de la gerencia.
• Falta de capacitación.
• Inmadurez. Algunas clases de sistemas son dificiles de modelar utilizando las técnicas actuales.
• Desconocimiento de los avances. Muy pocos saben los éxitos conseguidos con estas técnicas en ejemplos no-triviales.
• Desviación academisista. Los investigadores de la academia se concentran sólo en diseñar lenguajes y asignarles semánticas formales, y no continúan en la generación de herramientas de soporte.

Existen otros seguramente.....

Ahora si los 14 mitos de los metodos formales que he leido por ahi y me parecieron relevantes son los siguientes :

1. Sólo se obtiene SOFTWARE PERFECTO.
2. Es lo mismo que demostración de programas.
3. Son tan costosos que su uso sólo se justifica en sistemas críticos.
4. Requieren gran destreza matématica.
5. Incrementan el costo de desarrollo.
6. Los clientes no pueden entender las especificaciones.
7. Sólo se han usado en sistemas triviales.
8. Retrasan el proceso de desarrollo.
9. No hay herramientas que los soporten.
10. Reemplazan los métodos de desarrollo tradicionales.
11. Sólo se aplican a software.
12. Son innecesarios.
13. No hay soporte técnico.
14. Los métodos - formalistas siempre los usan.