Contract-Based Testing
Bill discusses the significance of formal contracts in code, particularly through property-based testing, which helps specify function behavior. He highlights the challenges of defining contracts for mutable objects, using iterators as a key example. Additionally, he explains the concept of a reference implementation, illustrating how it can be used to validate the behavior of new data structures against established ones.In this clip
From this podcast
Software Engineering Radio - the podcast for professional software developers
SE-Radio Episode 322: Bill Venners on Property Based Tests
Related Questions