Software Quality Assurance

lingi2251  2019-2020  Louvain-la-Neuve

Software Quality Assurance
Note du 29 juin 2020
Sans connaitre encore le temps que dureront les mesures de distances sociales liées à la pandémie de Covid-19, et quels que soient les changements qui ont dû être opérés dans l’évaluation de la session de juin 2020 par rapport à ce que prévoit la présente fiche descriptive, de nouvelles modalités d’évaluation des unités d’enseignement peuvent encore être adoptées par l’enseignant ; des précisions sur ces modalités ont été -ou seront-communiquées par les enseignant·es aux étudiant·es dans les plus brefs délais.
5 crédits
30.0 h + 15.0 h
Q2
Enseignants
Pecheur Charles;
Langue
d'enseignement
Anglais
Préalables
Maitrise de la programmation, algorithmique et structures de données (tel que LINFO1121), notions de base en mathématique discrète (tel que LINFO1114 ou LEPL1108), expérience de développement de projets logiciels de taille réduite (tel que LINFO1125).
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.
 

La contribution de cette UE au développement et à la maîtrise des compétences et acquis du (des) programme(s) est accessible à la fin de cette fiche, dans la partie « Programmes/formations proposant cette unité d’enseignement (UE) ».
Modes d'évaluation
des acquis des étudiants
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 biomédical

Master [120] : ingénieur civil en informatique

Master [120] en sciences informatiques