Robert Binder’s Testing Object-Oriented Systems book has a reserved place on my desk. With over 1500 pages, it’s a never-ending read, but from time to time I pause to savour a few chapters.
Binder also wrote about the compliance testing of Microsoft’s court-ordered publication of its Windows client-server protocols in 2012. The article points to an interest fact: Microsoft used the software as the gold standard because it was already written and compared the documentation against the API. Under scrutiny and tight deadlines, they managed to check that 60,000 pages of documentation matched the protocols exactly, all thanks to model-based testing (MBT).