Software Quality Assurance

En raison de la crise du COVID-19, les informations ci-dessous sont susceptibles d’être modifiées, notamment celles qui concernent le mode d’enseignement (en présentiel, en distanciel ou sous un format comodal ou hybride).

5 crédits

30.0 h + 15.0 h

Enseignants

Pecheur Charles;

Langue
d'enseignement

Anglais

Thèmes abordés

concepts de qualité du logiciel
spécification et exactitude d'un programme
test de logiciels
vérification et validation de logiciels
révision et audit de logiciels
métriques et meurses de logiciels
fiabilité de logiciels

Acquis
d'apprentissage

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.

Modes d'évaluation
des acquis des étudiants

En raison de la crise du COVID-19, les informations de cette rubrique sont particulièrement susceptibles d’être modifiées.

Le cours inclut les devoirs, comptant pour 40% de la note, et un examen, comptant pour 60% de la note. Les affectations ne peuvent pas être refaites pour la session de septembre. La note reste acquise en septembre.

Autres infos

Préalables:

LINGI1101 : logique mathématique
LSINF1121 : maîtrise de la programmation orienté-objet, de l'algorithmique et des structures de données
LSINF1225 : avoir participé à la réalisation d'un projet logiciel de taille réduite

Avoir eu ou avoir simulanément une expérience avec le développement d'un systèmes informatique de taille moyenne à large

Ressources
en ligne

https://moodleucl.uclouvain.be/course/view.php?id=10913

Bibliographie

Les diapositives de cours ainsi que d'autres informations pertinentes et pratiques relatives au cours seront accessibles sur Moodle. La même plate-forme sera également le moyen de communication entre l'enseignant (s) et les étudiants.
Lectures recommandées :

Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement. Jeff Tian. 2005, Wiley-IEEE Computer Society Press.
M. Pezzè and Michal Young, Software Testing and Analysis: Process, Principles, and Techniques, Wiley, 2008.
J. Laski, W. Stanley. Software Verification and Analysis. Springer 2009.
N.E. Fenton and S.L. Pfleeger. Software Metrics: A Rigorous and Practical Approach. 2nd edition, Thomson Computer Press, 1996.

Faculté ou entité
en charge

INFO

Programmes / formations proposant cette unité d'enseignement (UE)

Intitulé du programme

Sigle

Crédits

Prérequis

Acquis
d'apprentissage

Master [120] : ingénieur civil en informatique

INFO2M

Master [120] en sciences informatiques

SINF2M

Master [120] : ingénieur civil biomédical

GBIO2M