Note from June 29, 2020
Although we do not yet know how long the social distancing related to the Covid-19 pandemic will last, and regardless of the changes that had to be made in the evaluation of the June 2020 session in relation to what is provided for in this learning unit description, new learnig unit evaluation methods may still be adopted by the teachers; details of these methods have been - or will be - communicated to the students by the teachers, as soon as possible.
Although we do not yet know how long the social distancing related to the Covid-19 pandemic will last, and regardless of the changes that had to be made in the evaluation of the June 2020 session in relation to what is provided for in this learning unit description, new learnig unit evaluation methods may still be adopted by the teachers; details of these methods have been - or will be - communicated to the students by the teachers, as soon as possible.
5 credits
30.0 h + 15.0 h
Q2
Teacher(s)
Pecheur Charles;
Language
English
Prerequisites
Mastery of programming, algorithms and data structures (such as LINFO1121), basic notions in discrete mathematics (such as LINFO1114 or LEPL1108), experience in development of small-size software projects (such as LINFO1125).
Main themes
- Software quality concepts
- Program specification and correctness
- Software testing
- Software verification and validation
- Software reviewing and audit
- Software metrics and measurement
- Software reliability
Aims
At the end of this learning unit, the student is able to : | |
| 1 |
Given the learning outcomes of the "Master in Computer Science and Engineering" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes:
|
The contribution of this Teaching Unit to the development and command of the skills and learning outcomes of the programme(s) can be accessed at the end of this sheet, in the section entitled “Programmes/courses offering this Teaching Unit”.
Evaluation methods
The course includes assignments, counting for 40% of the grade, and an exam, counting for 60% of the grade. Assignments cannot be redone for the September session; the grade remains acquired in September.
Other information
Background:
- LINGI1101 : mathematical logic
- LSINF1121 : master of object-oriented programming, algorithms and data structures
- LSINF1225 : participating in the implementation of a small-size software project
Online resources
Bibliography
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 :
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.
Faculty or entity
INFO
