Software Quality Assurance

A la fin de cette unité d’enseignement, l’étudiant est capable de :

Eu égard au référentiel AA du programme « Master ingénieur civil en informatique », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :

• INFO2.3-5
• INFO6.3

Eu égard au référentiel AA du programme « Master [120] en sciences informatiques », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :

• SINF1.M3
• SINF2.3-5
• SINF6.3

Les étudiants ayant suivi ce cours avec fruit seront capables de :

• Définir la qualité des logiciels et décrire le rôle des activités d'assurance de la qualité dans le processus de logiciel.
• Décrivez comment un contrat peut être utilisé pour spécifier le comportement d'un composant de programme.
• Décrire et distinguer les différents types et niveaux de tests (unitaires, d'intégration, les systèmes, et l'acceptation).
• Appliquer une variété de stratégies pour les tests et le débogage de programmes simples.
• Décrivez comment les outils de vérification statique et dynamique disponibles peuvet être intégrés dans l'environnement de développement de logiciel.
• Appliquer des techniques de spécification et d'analyse formelles à laconceptions de programmes avec une faible complexité.
• Entreprendre une inspection d'un segment de code de taille moyenne.
• Comparer les techniques simples de mesure de logiciels.
• Décrire les approches pour estimationn de faute.
• Expliquer les problèmes qui existent pour atteindre de niveaux élevés de fiabilité des logiciels.