Ingenieria de Software: ¿Herramientas que permitan verificar?, ¿Existen?

[astinx]

Hola, hace un tiempo que estoy buscando una herramienta de modelado para realizar diversos diagramas (diagramas de flujos de datos, diagramas de transición de estados, etc.) y que permita verificar la correctitud de los mismos. Actualmente uso lápiz y papel, y luego lo paso, para que quede mas prolijo por Umbrello (actualmente también estoy buscando una herramienta de la misma naturaleza, pero mas potente xD). ¿Conocen de alguna herramienta así?, la ingeniería de software se me ha hecho la materia mas aburrida de las que he cursado, ya que en cada libro que consulto proponen diferentes representaciones para los distintos diagramas o diferentes agregados, solo coincidiendo en algunos axiomas básicos de la materia. Por eso ando buscando una herramienta que me permita verificar la consistencia de los ejercicios.

Muchas gracias por detenerse a leer.

Saludos!

[Xandrete]

Mmmm... mi profe de Ingeniería del Software usaba un programa para ese fin, que nos mostró el último día de clase.

La cosa es que ese programa lo hicieron en mi universidad, entre los profesores de la asignatura, y que yo sepa lo utilizan ellos nada más.

Por otro lado, creo que hay un programa llamado ArgoUML que permite hacer verificación. Sin embargo, es aún MUY experimental (yo me desesperaba con él, y eso que sólo lo usaba cuando tenía que entregar algún diagrama por Internet y quería dejarlo bonito).

De todas formas, para una asignatura que vas a cursar durante tan solo unos meses, no creo que valga la pena aprender a manejar el programa. Además, te aseguro que te deprimirás un montón cuando te indique un montón de fallos por todas partes que ni te habías imaginado.

A mí me gustó la asignatura ^^. El único problema que tuve con ella es que me daba muchísimo palo hacer lo que me pedían. No es que resultara difícil, es que era una tarea no muy gratificante. En más de un examen me dieron ganas de contestar "no, por favor, ahora no tengo ganas de hacer esto". De hecho, en los últimos exámenes fui sin haber hecho ni un sólo ejercicio en mi casa para practicar, porque eran un coñazo (¡y me fue perfectamente! Técnica completamente recomendada, xD).

¡Saludos!

[astinx]

Jjajaja si te comprendo, no es que no sea una materia lucrativa, uno después en algún que otro lugar va a terminar usando casos de uso o UML, sin embargo lleva tanto tiempo hacer los escenarios que, bueh, genera pereza xD. Gracias por la recomendación voy a probarlo, aproposito, ¿De que universidad eres? (Lo pregunto solo para poder ver si llego a averiguar algo acerca de ese programa que mencionaste).

Saludos y muchas gracias por contestar!

[Xandrete]

¡Ok! ¡Te lo mando por privado!
¡Saludos!