Software Quality Assurance

lingi2251  2020-2021  Louvain-la-Neuve

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
Q2
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 :

1 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
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

Master [120] en sciences informatiques

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