Model-Based Quality Assurance of the SMB2 Protocol Documentation

Author

Grieskamp, Wolfgang ; Kicillof, Nicolas ; MacDonald, Dave ; Nandan, Alok ; Stobie, Keith ; Wurden, Fred ; Zhang, Danpo

Author_Institution

Microsoft Corp., Redmond, WA

fYear

2008

fDate

12-13 Aug. 2008

Firstpage

235

Lastpage

240

Abstract

Microsoft is producing technical documentation for Windows client-server and server-server protocols to enable licensees to produce interoperable server products. This paper describes certain aspects of a new quality assurance process for technical documents as it is in place at Microsoft. We are applying various test methods including, when appropriate, a model-based approach. The paper uses the Server Message Block Protocol Version 2 (SMB2) as a running example to illustrate the process.

Keywords

client-server systems; open systems; protocols; quality assurance; software quality; system documentation; Microsoft; SMB2 protocol documentation; Server Message Block Protocol Version 2; Windows client-server protocol; Windows server-server protocol; interoperable server; model-based quality assurance; Documentation; Interference; Operating systems; Performance evaluation; Protocols; Quality assurance; Software quality; Testing; Text analysis; Writing; Model-Based Testing; Protocols; Specification Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software, 2008. QSIC '08. The Eighth International Conference on

Conference_Location

Oxford

ISSN

1550-6002

Print_ISBN

978-0-7695-3312-4

Type

conf

DOI

10.1109/QSIC.2008.34

Filename

4601549