Software Quality Assurance

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

• 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

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) ».

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.

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.

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