Skip to content

Probando algunas tools de Model-based testing

mayo 19, 2011

Nmodel

Se compila primero el modelo, luego el adapter. Fue necesario quitar la ambigüedad de “Action”, por lo que se le agregó “NModel.Terms.”

Bastante complejo de usar. No es fácil hacer el modelo. Hay que implementarlo en código, y luego se puede verificar mirándolo gráficamente.

Ahora digamos que NModel evolucionó a otra herramienta de Microsoft llamada Spec Explorer.

GraphWalker

http://graphwalker.org/ Este es el nuevo nombre del proyecto mbt de Tigris.

http://www.ostatic.org/mbt por acá dice que se puede usar para hacer los modelos la herramienta yEd. Esto permite guardar en graphml que es un estándar para representar grafos en xml.

yEd permite editar muchos tipos de modelos, es bien fácil de usar.

Para que los models le sirvan a GraphWalker tienen que cumplir algunas condiciones: no puede tener estado final, y tiene que tener nodo start, con etiquetas en las aristas y nodos.

Acá hay documentación de los parámetros y más http://mbt.tigris.org/    http://mbt.tigris.org/wiki/

Documentación de cómo modelar http://mbt.tigris.org/doc.html

Este ejemplo muestra muy bien cómo usar las EFSM http://mbt.tigris.org/demo.html

Todo en una presentación http://www.cs.tut.fi/tapahtumat/testaus10/Karl.pdf

ModelJunit

Extensión de jUnit para soportar mbt: http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/

Es prácticamente igual a Nmodel, pero para java.

Anuncios
Dejar un comentario

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s

A %d blogueros les gusta esto: