Model-Based Quality Assurance of Windows Protocol Documentation
Model-Based Quality Assurance of Windows Protocol Documentation
复制标题
基于模型的 Windows 协议文档质量保证
DOI：
10.1109/icst.2008.50
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
F. L. Wurden
中科院分区：
文献类型：
--
作者：
W. Grieskamp;N. Kicillof;Dave MacDonald;A. Nandan;Keith Stobie;F. L. Wurden
Microsoft正在为Windows客户端-服务器和服务器-服务器协议制作高质量的文档。我们Windows组织中的团队负责验证文档，以确保其具有最高质量。我们正在应用各种测试驱动的方法，包括在适当的时候，基于模型的方法。本文描述了我们实施的质量保证过程的某些方面，特别关注基于模型的测试（MBT）。我们迄今为止的经验证实，只要有健全的工具支持和明确的方法指导，MBT是有效的，而且是可扩展的。
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.