Descripción
Temas en métodos formales de derivación de pruebas, gestión de pruebas, verificación y validación asistida por CASE a alto nivel, medidas y métricas de flujo de datos y control para evaluar la calidad de diseños y código, análisis de regresión y pruebas.
Texto de referencia en su idioma de origen
Topics in formal test derivation methods, test management, high-level, CASE-based verification and validation, data-flow and control-flow measures and metrics for assessing quality of designs and code, regression analysis and testing.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/COMP/