Ηλεκτρονική Διάθεση Μαθήματος
Μαθησιακά Αποτελέσματα
Οι φοιτητές αναμένεται ότι στα πλαίσια του μαθήματος θα
• μάθουν να σχεδιάζουν και να αυτοματοποιούν δοκιμές λογισμικού
• μάθουν να σχεδιάζουν και να υλοποιούν αλγορίθμους στατικής ανάλυσης προγραμμάτων
• εξοικειωθούν με την προδιαγραφή ιδιοτήτων ορθότητας και τον έλεγχο μοντέλων με κατάλληλα εργαλεία
• εφαρμόσουν τεχνικές επαλήθευσης σε προβλήματα ασφάλειας από συστήματα λογισμικού με ταυτοχρονισμό ή/και επικοινωνία
• εφαρμόσουν τεχνικές επαλήθευσης σε λογισμικό με τρωτή ασφάλεια
Περιεχόμενο Μαθήματος
Επικύρωση και επαλήθευση λογισμικού, Δοκιμές λογισμικού: δοκιμές white-box, δοκιμές black-box, δοκιμές με μοντέλα, δοκιμές αντικειμενοστρεφούς λογισμικού, Στατική ανάλυση προγράμματος: ανάλυση ροής δεδομένων, δια-διαδικασιακή ανάλυση, Αξιωματική επαλήθευση, Έλεγχος Μοντέλων, Επαλήθευση συμπεριφοράς, Αφαίρεση
Επιπρόσθετη βιβλιογραφία για μελέτη
1. D. Peled, "Software Reliability Methods", Springer-Verlag, 2001
2. G. Holzmann, "Design and Validation of Computer Protocols", Prentice Hall, 1990
3. F. Nielson, H. R. Nielson, C. M. Hankin, "Principles of Program Analysis", Springer, 1999