Model Based Testing

Manual Testing

Traditional Automated Testing

Model-Based Testing

Software under test

Example Model

Example Model 2

1 Bug Found

How to replicate (36 actions)?

e_StartBrowser v_HomePage e_SearchProducts v_SearchProducts e_HomePage v_HomePage e_Cart v_Cart v_Cart (switch model) e_HomePage v_HomePage e_AddToCart/productsInCart++; v_AddToCartDialog e_ProceedToCheckout v_Cart v_Cart (switch model) e_SearchProducts v_SearchProducts e_HomePage v_HomePage v_HomePage (switch model) e_AddToCart/productsInCart++; v_AddToCartDialog e_ContinueShopping v_HomePage v_HomePage (switch model) e_SearchProducts v_SearchProducts e_Cart v_Cart e_SearchProducts e_Cart v_Cart e_SearchProducts v_SearchProducts e_HomePage v_HomePage v_HomePage (switch model) e_AddToCart/productsInCart++; v_AddToCartDialog e_ContinueShopping v_HomePage e_AddToCart/productsInCart++; v_AddToCartDialog e_ContinueShopping v_HomePage e_AddToCart/productsInCart++; v_AddToCartDialog e_ContinueShopping v_HomePage e_AddToCart/productsInCart++; v_AddToCartDialog e_ProceedToCheckout v_Cart e_HomePage v_HomePage e_AddToCart/productsInCart++; v_AddToCartDialog e_ContinueShopping v_HomePage e_AddToCart/productsInCart++; v_AddToCartDialog e_ContinueShopping v_HomePage e_AddToCart/productsInCart++; v_AddToCartDialog e_ProceedToCheckout v_Cart e_Subtract/productsInCart--; v_Cart e_Add/productsInCart++; v_Cart e_Subtract/productsInCart--; v_Cart v_Cart (switch model) e_SearchProducts v_SearchProducts (bug here)