Model-based quality assurance of protocol documentation: tools and methodology

Authors:
Wolfgang Grieskamp;Nicolas Kicillof;Keith Stobie;Victor Braberman
Affiliations:
Microsoft Corporation, Redmond, WA, U.S.A.;Microsoft Corporation, Redmond, WA, U.S.A.;Microsoft Corporation, Redmond, WA, U.S.A.;University of Buenos Aires, Buenos Aires, Argentina
Venue:
Software Testing, Verification & Reliability
Year:
2011

Citing 0
Cited 12

Program abstractions for behaviour validation

Proceedings of the 33rd International Conference on Software Engineering
Microsoft's Protocol Documentation Program: Interoperability Testing at Scale

Queue - Interoperability
Towards flexible and efficient model-based testing, utilizing domain-specific modelling

Proceedings of the 10th Workshop on Domain-Specific Modeling
The complexity of asynchronous model based testing

Theoretical Computer Science
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods

Information and Software Technology
Mining behavior models from enterprise web applications

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Enabledness-based program abstractions for behavior validation

ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
An orchestrated survey of methodologies for automated software test case generation

Journal of Systems and Software
A taxonomy for requirements engineering and software test alignment

ACM Transactions on Software Engineering and Methodology (TOSEM)
An Industrial Experience on using Models to Test Web Service-Oriented Applications

Proceedings of International Conference on Information Integration and Web-based Applications & Services
Supporting incremental behaviour model elaboration

Computer Science - Research and Development
Supporting incremental behaviour model elaboration

Computer Science - Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

Microsoft is producing interoperability 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 that 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. Copyright © 2010 John Wiley & Sons, Ltd.