Charla: "Aseguramiento de la Calidad de Documentación de Protocolos Basado en Modelos"

La documentación de protocolos es una parte importante de las obligaciones legales de Microsoft con el Departamento de Justicia de los Estados Unidos y con la Unión Europea. Microsoft se comprometió a producir documentación de alta calidad para ciertos protocolos de Windows. Estos documentos permiten la interoperabilidad entre productos desarrollados por terceras partes y los sistemas operativos de Microsoft.

El Equipo de Ingeniería de Protocolos de Windows tiene un rol fundamental dentro de Microsoft en el proceso de aseguramiento de la calidad de esta documentación. Se encarga de verificar más de 25.000 páginas de especificaciones de unos 250 protocolos para comprobar que sean correctas, de modo que un desarrollador pueda implementar los protocolos documentados a partir de la información que contienen, más un conocimiento básico del dominio. Este esfuerzo mayúsculo requiere de la aplicación de métodos y herramientas innovadores. El equipo creó una metodología llamada Proceso de Aseguramiento de la Calidad de Documentación de Protocolos (Protocol Documentation Quality Assurance Process, abreviado PQAP), del cual el testing basado en modelos (Model-Based Testing, MBT) es una pieza fundamental.

El testing basado en modelos tiene una tradición de más de una década dentro de Microsoft. Las primeras herramientas que lo soportaron fueron puestas en producción a fines de los noventa. Hoy en día existen varias herramientas de MBT en la compañía, incluyendo la familia de productos llamada Spec Explorer, desarrollada originalmente en Microsoft Research, y convertida en producto para uso externo como parte de este esfuerzo.

En esta charla voy a explicar las bases del PQAP y las herramientas que lo soportan. Aunque el MBT ya se había aplicado exitosamente en procesos industriales, este es el primer intento de usarlo en una escala de esta magnitud y en el contexto de un área crítica para el negocio dentro de Microsoft y, por la información que tenemos, a lo ancho de la industria informática. La experiencia adquirida confirma que el MBT funciona y que escala bien, siempre que se lo acompañe con un buen soporte de herramientas y una clara guía metodológica, y se lo soporte invirtiendo en capacitación.