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)
How to reduce it?
How to reduce it?
How to reduce it?
How to reduce it?
How to reduce it?
How to reduce it?
How to reduce it?
References
Model Based Testing
By Tiến Võ Xuân
