Descripción
Técnicas para las pruebas sistemáticas de sistemas de software. Validación y verificación de software, depuración de software, aseguramiento de calidad, medición y predicción de la fiabilidad del software. Énfasis en el tratamiento de estos temas en el contexto de sistemas en tiempo real y distribuidos.
Prerrequisitos
- Requisito(s): SYSC 3120 o SYSC 3020 .
Condiciones y modalidades
- Impide crédito adicional por Impide crédito adicional por COMP 4004 .
- Requisito(s): SYSC 3120 o SYSC 3020 .
- Clases tres horas a la semana, laboratorio/análisis de problemas tres horas a la semana.
Texto de referencia en su idioma de origen
Techniques for the systematic testing of software systems. Software validation and verification, software debugging, quality assurance, measurement and prediction of software reliability. Emphasis on the treatment of these topics in the context of real-time and distributed systems.
- Prerequisite(s): SYSC 3120 or SYSC 3020 .
- Precludes additional credit for Precludes additional credit for COMP 4004 .
- Lectures three hours a week, laboratory/problem analysis three hours a week.
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/undergrad/courses/SYSC/