Software Quality Assurance

lingi2251  2020-2021  Louvain-la-Neuve

Software Quality Assurance
Due to the COVID-19 crisis, the information below is subject to change, in particular that concerning the teaching mode (presential, distance or in a comodal or hybrid format).
5 credits
30.0 h + 15.0 h
Q2
Teacher(s)
Pecheur Charles;
Language
English
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:
  • INFO2.3-5
  • INFO6.3
Given the learning outcomes of the "Master [120] in Computer Science" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes:
  • SINF1.M3
  • SINF2.3-5
  • SINF6.3
Students completing this course successfully will be able to:
  • Define software quality and describe the role of quality assurance activities in the software process. '
  • Describe how a contract can be used to specify the behavior of a program component. '
  • Describe and distinguish among the different types and levels of testing (unit, integration, systems, and 'acceptance). 
  • Apply a variety of strategies to the testing and debugging of simple programs.
  • Describe how available static and dynamic verification tools can be integrated into the software development 'environment. '
  • Apply formal specification and analysis techniques to software designs and programs with low complexity. '
  • Undertake an inspection of a medium-size code segment.
  • Compare simple software measurement techniques. '
  • Describe approaches for fault estimation. '
  • Explain the problems that exist in achieving high levels of software reliability. '
 
Evaluation methods

Due to the COVID-19 crisis, the information in this section is particularly likely to change.

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
Having prior or simultaneous experience with the development of a medium- to large-scale software system.
Online resources
https://moodleucl.uclouvain.be/course/view.php?id=10913
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 :
  • 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


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

Title of the programme
Sigle
Credits
Prerequisites
Aims
Master [120] in Computer Science and Engineering
INFO2M
5
Master [120] in Computer Science
SINF2M
5
Master [120] in Biomedical Engineering
GBIO2M
5