Εισαγωγή στην Ποιότητα Λογισμικού. Λάθη και Σφάλματα. Κατηγορίες ελέγχων, οργάνωση και κριτήρια κάλυψης. Έλεγχος μονάδων και ολοκλήρωσης. Αυτόματα εργαλεία ελέγχου. Έλεγχος συστήματος: στόχοι, βήματα, διαδικασίες και τεχνικές. Αξιοπιστία, διαθεσιμότητα, συντηρησιμότητα, ορισμοί, πρόβλεψη και μοντέλα αξιοπιστίας. Έλεγχος αποδοχής και εγκατάστασης. Τεκμηρίωση ελέγχων. Έλεγχος κρίσιμων για την ασφάλεια συστημάτων. Συντήρηση συστήματος: βασικές έννοιες, ορισμοί, προβλήματα, μετρικές. Βασικά θέματα σχετικά με την αξιολόγηση και βελτίωση προϊόντων, διαδικασιών και πόρων.
Πέρα από τη θεωρητική κάλυψη το μάθημα παρέχει και εργαστηριακά μαθήματα πρακτικής άσκησης στα οποία οι φοιτητές μαθαίνουν πως να κάνουν έλεγχο μονάδων στη Java χρησιμοποιώντας εργαλεία όπως το περιβάλλον ανάπτυξης εφαρμογών Ecliplse και το JUnit, πως να μετράνε τη κάλυψη ελέγχων με εργαλεία, και πως να κάνουν λειτουργικό έλεγχο και έλεγχο απόδοσης χρησιμοποιώντας εργαλεία όπως το Apache JMeter.