MBT 2008 Invited Talk




Using Model-Based Testing for Quality Assurance of Protocol Documentation

Invited talk by Wolfgang Grieskamp

Architect, Protocol Tools and Test Team, Microsoft

Microsoft is producing high-quality documentation for Windows client-server and server-server protocols.  My group in the Windows organization is responsible for verifying the documentation to ensure it is of the highest quality.  We are applying various test-driven methods including, when appropriate, a model-based testing (MBT) approach. Our experiences so far, after applying MBT on a large scale to many protocols using test vendors in India and in China, confirm that it works and that it scales, provided it is accompanied by sound tool support and clear methodological guidance. This talk describes certain aspects of the quality assurance process we put in place, specifically focusing on its MBT anchor.