¿Qué son las pruebas basadas en modelos?

¿Qué son las pruebas basadas en modelos?

Las pruebas basadas en modelos son una técnica de prueba de software en la que el comportamiento en tiempo de ejecución del software bajo prueba se compara con las predicciones realizadas por un modelo. Un modelo es una descripción del comportamiento de un sistema. El comportamiento se puede describir en términos de secuencias de entrada, acciones, condiciones, salida y flujo de datos de entrada a salida. Debe ser prácticamente comprensible y reutilizable; compartible debe tener una descripción precisa del sistema bajo prueba.

Hay numerosos modelos disponibles y describen diferentes aspectos del comportamiento del sistema. Ejemplos del modelo son:

  • Flujo de datos
  • Flujo de control
  • Gráficos de dependencia
  • Tablas de decisiones
  • Máquinas de transición de estados

Las pruebas basadas en modelos describen cómo se comporta un sistema en respuesta a una acción (determinada por un modelo). Proporcione acciones y vea si el sistema responde según las expectativas.

Es un método formal ligero para validar un sistema. Esta prueba se puede aplicar tanto a pruebas de hardware como de software.

Ejemplo de prueba basada en modelos

Pruebas basadas en modelos: ¡cosas que debe saber!

El modelo anterior explica el enfoque simplificado de escribir poesía en un bloc de notas y las posibles acciones relacionadas con cada paso. Para todas y cada una de las acciones (como comenzar, ingresar un poema, guardar), Caso de prueba Se pueden generar datos y se puede verificar el resultado.

Tipos de MBT

Hay dos tipos de marcos de prueba basados ​​​​en modelos:

  1. Offline/a priori: Generación de Test Suites antes de ejecutarlo. Un conjunto de pruebas no es más que una colección de casos de prueba.
  2. En línea/sobre la marcha: Generación de Suites de Pruebas durante la ejecución de las pruebas

Diferentes modelos en pruebas

Para entender el MBT es necesario entender algunos de los modelos que se explican a continuación. Repasémoslos uno por uno:

Máquinas de estado finito

Este modelo ayuda a los evaluadores a evaluar el resultado según la entrada seleccionada. Diversas combinaciones de las entradas pueden dar como resultado un estado correspondiente del sistema.

El sistema tendrá un estado específico y un estado actual, que se rige por un conjunto de entradas proporcionadas por los evaluadores.

Considere el ejemplo-

Existe un sistema que permite a los empleados iniciar sesión en la aplicación. Ahora, el estado actual del empleado es "Fuera" y se convierte en "Adentro" una vez que inicia sesión en el sistema. En el estado "en", un empleado puede ver, imprimir y escanear documentos en el sistema.

Pruebas basadas en modelos: ¡cosas que debe saber!

Gráficos estatales

Es una extensión de la máquina de estados finitos y puede usarse para complex y sistemas en tiempo real. Los gráficos de estado se utilizan para describir diversos comportamientos del sistema. Tiene un número definido de estados. El comportamiento del sistema se analiza y representa en forma de eventos para cada estado.

Por ejemplo -

Los defectos se generan en la herramienta de gestión de defectos con el estado Nuevo. Una vez que los desarrolladores lo solucionan, debe cambiarse al estado Corregido. Si un defecto no se soluciona, cambie el estado a Reabrir. Los gráficos estatales deben diseñarse de tal manera que requieran un evento para cada estado.

Pruebas basadas en modelos: ¡cosas que debe saber!

Lenguaje unificado de modelado UML)

Lenguaje de modelado unificado (UML) es un lenguaje de modelado estandarizado de propósito general. UML incluye un conjunto de técnicas de notación gráfica para crear modelos visuales que pueden describir el comportamiento muy complicado del sistema.

UML tiene notaciones como:

  • Actividades
  • Actores
  • Procesos de negocio
  • Componentes
  • Lenguaje de programación

Pruebas basadas en modelos: ¡cosas que debe saber!

Desafíos de las pruebas basadas en modelos

La implementación de MBT en todas las organizaciones obviamente requiere una gran cantidad de inversión y esfuerzo. seguirwing son los inconvenientes del MBT en Ingeniería de Software.

  • Habilidades necesarias requeridas en los probadores
  • El tiempo de la curva de aprendizaje será más
  • Difícil entender el modelo en sí.

Ventajas de las pruebas de modelos

El following son los beneficios de MBT:

  • Fácil mantenimiento de casos/suites de pruebas
  • Reducción de costos
  • Cobertura de prueba mejorada
  • Puede ejecutar diferentes pruebas en n número de máquinas.
  • Detección temprana de defectos
  • Aumento del número de defectos
  • Ahorro de tiempo
  • Mejora de la satisfacción laboral del evaluador

Conclusión

Los evaluadores construyen modelos mentales de todos modos durante sus pruebas. Esos modelos mentales se pueden transformar en modelos sobre papel. Esto ayuda a los evaluadores a lograr legibilidad y reutilización.

Las pruebas basadas en modelos son un nuevo enfoque para pruebas de software. La evolución de las pruebas de software se muestra a continuación:

Pruebas basadas en modelos: ¡cosas que debe saber!