Improve Your Tests with Property State-Machine Tests

Explore advanced testing techniques in this 41-minute conference talk from Scala Days Conferences. Learn how to leverage property-based testing for state machines in Scala to effectively validate critical system components. Discover the basics of property state-machine testing, an extension of regular state-machine testing that ensures expected system evolution. Gain insights into testing system traces over complete execution flows, such as a shopping cart purchase process, to uncover issues that may only become apparent after multiple steps. Examine the benefits of a black-box testing approach, where developers interact with the system solely through events, commands, and responses, allowing for internal system changes while maintaining desired public behavior. Compare this method to white-box approaches in Scalacheck and Hedgehog, and understand how it can yield superior results. Through examples and code samples, enhance your testing skills and deepen your understanding of critical system components.