Testeo basado en modelos

Model Based Testing
Contenido
1-Validacion basada en modelos 2
1.1-Proceso de realización manual del testing 4
1.2-Automatización del testing 6
1.2.1-Automatización de la ejecución (Test Case Abstractos) 6
1.2.2- Validación basada en modelos 10
1.3-Ventajas de la validación basada en modelo 14
1.4-Modelos útiles para la validación 15
1.4.1-Máquina de estados finitos (FSM) 151.4.2-Máquina de estados finitos ampliada (EFSM) 18
1.4.3-Statecharts 21
1.4.4-UML Testing profile (UTP) 21
1.5-Limitaciones de la validación basada en modelo 22
1.6- Enfoques de validación basada en modelo 22
1.6.1- La taxonomía 22
1.6.2- Enfoques destacables 24
1.7- El MDA aplicado al testing 25
1.7.1- Desarrollo y validación aplicando MDA (UML y UTP) 25
1.7.2- Ciclo de vida en Vde un desarrollo 26
1.8- Herramientas para la generación de casos de prueba 28

1-Validacion basada en modelos

El testeo basado en modelos es una nueva metodología para generar casos de pruebas para los requerimientos del sistema. Para ello hay que centrarse en un modelo de datos y generar una infraestructura en lugar de crear test individuales de manera manual. Debido a que cada vez seprecisa que el software sea más preciso, se han buscado técnicas de testeo que sustituyan al testeo de forma manual. Estas técnicas de testeo automático son de gran ayuda para los probadores de software. La aplicación más simple ejecuta los test de forma automática. Esto permite que los bancos de prueba creados de forma manual sean usados como test de regresión. Esta metodología engloba eldesarrollo y el uso de modelos para generar los test. El modelo es una especificación de las entradas del software, y puede ser desarrollado en fases tempranas del ciclo a partir de la información de los requerimientos. El criterio de selección de los test es expresado en algoritmos, y puede ser ajustado en función de la experiencia del probador. En un caso ideal, se puede generar un conjunto de pruebasde regresión, y esto es una solución para probar una parte del software: dicho conjunto incluye las entradas, salidas esperadas, y la infraestructura necesaria para ejecutar los test de forma automática.
Este método se emplea para describir la programación de un modelo el cual puede ser automatizado. Por ejemplo, un tipo de modelo puede especificar el número de estados que tiene una aplicación,los caminos que existen entre esos estados y lo que debería ocurrir al pasar de un estado a otro.
Todo esto tiene unos costes reales como podrían ser: la construcción de un modelo útil, creación de algoritmos que exploren dicho modelo, sistemas de registro que permitan a las malezas a través de los fallos de interés.
Hay varios probadores de software que han logrado avances importantes dentrodel campo del testeo basado en modelos, algunos de ellos son Ben Simo y Harry Robinson, que ha usado la metodología MBT dentro de empresas tan importantes como son Bell Labs, Microsoft y Google. También tiene varios ensayos revelantes y de gran ayuda.
Lo que se pretende lograr es, principalmente, el disponer de un modelo que represente formalmente el comportamiento del sistema a validar. Parapoder plasmar este modelo, no es necesario que el sistema haya sido desarrollado, sino que puede ser generado a la vez que se desarrolla dicho proceso a partir de los requisitos.
El modelo requerido para la validación basada en modelos no es el mismo que el empleado para el desarrollo de la aplicación. El modelo empleado en la validación basada en modelos plasma el comportamiento funcionalesperado del sistema. En este modelo no interesa el cómo se logra dicho comportamiento, por lo que se realiza una validación de caja negra.

1.1-Proceso de realización manual del testing

Al realizar el testeo de un sistema, se pretende verificar que el comportamiento de dicho sistema se corresponde con el comportamiento especificado en los requerimientos de desarrollo del sistema. El proceso que...