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
What exactly should I test for in a software application according to SE-Radio Episode 322: Bill Venners on Property Based Tests and the clip Property-Based Testing?
What are formal methods?
Talk about formal verification and how different programming with "specs" or natural language will look like. Think about what Cursor wants to build.