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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/15937
Ver los metadatos del registro completo
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 |