Jessica Kerr was discussing property-based testing (i.e. quickcheck, scalacheck) on a podcast recently, and I thought it was interesting she noted that the red-green-refactor cycle didn't make as much sense with property-based testing.
It's more "contemplative" - thinking about invariants of your software rather than designing for mocks and various injected components.
(although property-based testing is a bit less effective in languages that don't make type information available, to generate the input values)
yep! Although it's kind of a weird dynamic going on - the host gets defensive at times, getting a sense these two were grating on each other a little bit. Always enjoy the things Jessica has to say though.
It's more "contemplative" - thinking about invariants of your software rather than designing for mocks and various injected components.
(although property-based testing is a bit less effective in languages that don't make type information available, to generate the input values)