Model-Based Quality Assurance of Protocol Documentation: Tools and Methodology

WOLFGANG GRIESKAMP; NICOLAS KICILLOF; KEITH STOBIE; VICTOR BRABERMAN

SOFTWARE TESTING, VERIFICATION & RELIABILITY

JOHN WILEY & SONS LTD

Año: 2011 p. 1 - 21

0960-0833

Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. The Protocol Engineering Team in the Windows organization is responsible for verifying the documentation to ensure it is of the highest quality. Various test-driven methods are being applied, including when appropriate, a model-based approach. This paper describes core aspects of the quality assurance process and tools that were put in place, and specifically focuses on model-based testing (MBT). Experience so far confirms that MBT works and that it scales, provided it is accompanied by sound tool support and clear methodological guidance.