Robert Binder’s massive Testing Object-Oriented Systems is always on my desk. At over 1500 pages long, the book is a challenge to read cover-to-cover, but I like to peruse a few choice chapters from time to time.
Binder wrote an article about the compliance testing of Microsoft’s court-ordered publication of its Windows client-server protocols in 2012. Interestingly, instead of testing software against documentation, they were required to do the reverse, because the code was already published and had to be used as the gold standard. Under scrutiny and tight deadlines, they managed to check that 60,000 pages of documentation matched the protocols exactly, by using model-based testing (MBT).
I had not paid attention to MBT in the book, but after reading this article, I have become very curious and will certainly learn more about it.