Premium
Model‐based quality assurance of protocol documentation: tools and methodology
Author(s) -
Grieskamp Wolfgang,
Kicillof Nicolas,
Stobie Keith,
Braberman Victor
Publication year - 2011
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.427
Subject(s) - documentation , quality assurance , interoperability , protocol (science) , computer science , software engineering , quality (philosophy) , process (computing) , engineering management , operating system , engineering , operations management , medicine , philosophy , external quality assessment , alternative medicine , epistemology , pathology
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.