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

Autores
Grieskamp, Wolfgang; Kicillof, Nicolas; Stobie, Keith; Braberman, Victor Adrian
Año de publicación
2011
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Grieskamp, Wolfgang. Microsoft Corporation; Estados Unidos
Fil: Kicillof, Nicolas. Microsoft Corporation; Estados Unidos
Fil: Stobie, Keith. Microsoft Corporation; Estados Unidos
Fil: Braberman, Victor Adrian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
Quality Assurance Process
Test-Driven
Model-Based
Protocols
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/15937

id CONICETDig_c68bda0856b57e85543ae9443287fe53
oai_identifier_str oai:ri.conicet.gov.ar:11336/15937
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Model-based quality assurance of protocol documentation: tools and methodologyGrieskamp, WolfgangKicillof, NicolasStobie, KeithBraberman, Victor AdrianQuality Assurance ProcessTest-DrivenModel-BasedProtocolshttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Microsoft 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.Fil: Grieskamp, Wolfgang. Microsoft Corporation; Estados UnidosFil: Kicillof, Nicolas. Microsoft Corporation; Estados UnidosFil: Stobie, Keith. Microsoft Corporation; Estados UnidosFil: Braberman, Victor Adrian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaWiley2011-03info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/zipapplication/pdfhttp://hdl.handle.net/11336/15937Grieskamp, Wolfgang; Kicillof, Nicolas; Stobie, Keith; Braberman, Victor Adrian; Model-based quality assurance of protocol documentation: tools and methodology; Wiley; Software Testing, Verification & Reliability; 21; 1; 3-2011; 55-711099-1689enginfo:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.427info:eu-repo/semantics/altIdentifier/url/http://onlinelibrary.wiley.com/doi/10.1002/stvr.427/abstractinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T10:35:20Zoai:ri.conicet.gov.ar:11336/15937instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 10:35:20.533CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Model-based quality assurance of protocol documentation: tools and methodology
title Model-based quality assurance of protocol documentation: tools and methodology
spellingShingle Model-based quality assurance of protocol documentation: tools and methodology
Grieskamp, Wolfgang
Quality Assurance Process
Test-Driven
Model-Based
Protocols
title_short Model-based quality assurance of protocol documentation: tools and methodology
title_full Model-based quality assurance of protocol documentation: tools and methodology
title_fullStr Model-based quality assurance of protocol documentation: tools and methodology
title_full_unstemmed Model-based quality assurance of protocol documentation: tools and methodology
title_sort Model-based quality assurance of protocol documentation: tools and methodology
dc.creator.none.fl_str_mv Grieskamp, Wolfgang
Kicillof, Nicolas
Stobie, Keith
Braberman, Victor Adrian
author Grieskamp, Wolfgang
author_facet Grieskamp, Wolfgang
Kicillof, Nicolas
Stobie, Keith
Braberman, Victor Adrian
author_role author
author2 Kicillof, Nicolas
Stobie, Keith
Braberman, Victor Adrian
author2_role author
author
author
dc.subject.none.fl_str_mv Quality Assurance Process
Test-Driven
Model-Based
Protocols
topic Quality Assurance Process
Test-Driven
Model-Based
Protocols
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
Fil: Grieskamp, Wolfgang. Microsoft Corporation; Estados Unidos
Fil: Kicillof, Nicolas. Microsoft Corporation; Estados Unidos
Fil: Stobie, Keith. Microsoft Corporation; Estados Unidos
Fil: Braberman, Victor Adrian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description 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.
publishDate 2011
dc.date.none.fl_str_mv 2011-03
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/15937
Grieskamp, Wolfgang; Kicillof, Nicolas; Stobie, Keith; Braberman, Victor Adrian; Model-based quality assurance of protocol documentation: tools and methodology; Wiley; Software Testing, Verification & Reliability; 21; 1; 3-2011; 55-71
1099-1689
url http://hdl.handle.net/11336/15937
identifier_str_mv Grieskamp, Wolfgang; Kicillof, Nicolas; Stobie, Keith; Braberman, Victor Adrian; Model-based quality assurance of protocol documentation: tools and methodology; Wiley; Software Testing, Verification & Reliability; 21; 1; 3-2011; 55-71
1099-1689
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.427
info:eu-repo/semantics/altIdentifier/url/http://onlinelibrary.wiley.com/doi/10.1002/stvr.427/abstract
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/zip
application/pdf
dc.publisher.none.fl_str_mv Wiley
publisher.none.fl_str_mv Wiley
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844614371170320384
score 13.070432