How Model-Based Testing Catches Edge Cases Manual Scripts Miss
from Software Testing with Fexingo: QA, Automation, and Reliable Software Engineering Hosted by Fexingo
In this episode, Lucas and Luna explore model-based testing, a technique where you build a formal model of your system's expected behavior and automatically generate test cases from it. They use a concrete example: testing a simple vending machine state machine. Lucas explains how model-based testing uncovered ordering edge cases that standard manual test scripts overlooked. The discussion covers tools (like GraphWalker and Spec Explorer), practical setup steps, and why this approach is especially powerful for complex stateful systems like payment workflows and IoT devices. The hosts also share a real-world case where model-based testing prevented a critical banking bug. #ModelBasedTesting #SoftwareTesting #QA #Automation #TestGeneration #StateMachine #EdgeCases #GraphWalker #SpecExplorer #VendingMachine #BankingBug #IoT #TestDesign #FiniteStateMachine #Technology #FexingoBusiness #BusinessPodcast #Podcast Keep every episode free: buymeacoffee.com/fexingo
Embed this episode
No transcript yet.