Sciweavers

ICST
2008
IEEE

Model-Based Quality Assurance of Windows Protocol Documentation

13 years 10 months ago
Model-Based Quality Assurance of Windows Protocol Documentation
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our 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 approach. This paper describes certain aspects of the quality assurance process we put in place, and specifically focuses on model-based testing (MBT). Our experiences so far confirm that MBT works and that it scales, provided it is accompanied by sound tool support and clear methodological guidance.
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where ICST
Authors Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden
Comments (0)