Automatizar el diseño de los casos de prueba

Uno de los puntos fuertes que nos planteamos al comenzar con GXtest fue la generación de casos de prueba a partir de modelos. Hoy en día con GXtest se pueden expresar los casos de prueba como modelos pero no se puede generar automáticamente casos de prueba a partir de ellos.

La idea es que el tester pueda expresar el conocimiento que tiene sobre la realidad en un modelo para que luego a partir del mismo se generen los casos de prueba.

Les recomiendo que lean este artículo para entender mejor la motivación de este enfoque

Test Case Design: Manually or Automated?

Los dos modelos que siempre tuvimos en mente fueron el modelo de máquinas de estado y el modelo de casos de uso/diagrama de flujo.

¿Cómo podemos utilizar este enfoque con GXtest?

Una opción es utilizar (como dice en el artículo) una herramienta como Ms Visio para modelar nuestra realidad. Este modelado podría ser por ejemplo con un diagrama de flujo en donde en las distintas interacciones con el sistema se utilicen nombres de casos de prueba realizados en GXtest.

Luego que tenemos el modelo listo, este puede ser utilizado por una herramienta para generar distintos casos de pruebas, basándose en algoritmos conocidos de generación (realizando recorridas sobre el modelo). Estos nuevos casos de prueba generados, pueden estar en un formato "compatible" con GXtest.

Me parece que este es un mecanismo interesante para mejorar el testing en las empresas, mejorando de esta forma el alcance y cubrimiento de nuestras pruebas.

Algunas preguntas para quienes leen el blog, ¿Con que herramientas realizan el modelo de la realidad y/o de los requerimientos? ¿Ven factible aplicar algoritmos para la generación de casos de prueba a partir de estos modelos?