Description
Techniques pour le test systématique des systèmes logiciels. Validation et vérification logiciel, débogage logiciel, assurance qualité, mesure et prédiction de la fiabilité logicielle. Accent sur le traitement de ces sujets dans le contexte des systèmes temps réel et distribués.
Préalables
- Préalable(s) : SYSC 3120 ou SYSC 3020.
Conditions et modalités
- Empêche l'obtention d'un crédit additionnel pour COMP 4004.
- Préalable(s) : SYSC 3120 ou SYSC 3020.
- Cours magistraux trois heures par semaine, laboratoire/analyse de problèmes trois heures par semaine.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/undergrad/courses/SYSC/