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 appropriat...

Full description

Saved in:
Bibliographic Details
Published in2008 1st International Conference on Software Testing, Verification, and Validation pp. 502 - 506
Main Authors Grieskamp, W., MacDonald, D., Kicillof, N., Nandan, A., Stobie, K., Wurden, F.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.04.2008
Subjects
Documentation
Industrial training
Investments
Large-scale systems
Model-based testing
Performance evaluation
Protocols
Quality assurance
Software testing
Spec Explorer
Test-driven
Text analysis
Writing
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9780769531274
076953127X
ISSN:2159-4848
2771-3091
DOI:10.1109/ICST.2008.50