ΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ

Πληροφορίες Μαθήματος
ΤίτλοςΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ / SOFTWARE VERIFICATION
ΚωδικόςIWW-01-06
ΣχολήΘετικών Επιστημών
ΤμήμαΠληροφορικής
Κύκλος / Επίπεδο2ος / Μεταπτυχιακό
Περίοδος ΔιδασκαλίαςΧειμερινή
Υπεύθυνος/ηΠαναγιώτης Κατσαρός
ΚοινόΌχι
ΚατάστασηΕνεργό
Course ID600000870

Πληροφορίες Τάξης
ΤίτλοςΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ
Ακαδημαϊκό Έτος2017 – 2018
Περίοδος ΤάξηςΧειμερινή
Διδάσκοντες μέλη ΔΕΠ
Ώρες Εβδομαδιαία3
Class ID
600110534
Τύπος Μαθήματος 2016-2020
  • Επιστημονικής Περιοχής
Τύπος Μαθήματος 2011-2015
Ειδικού Υποβάθρου / Κορμού
Τρόπος Παράδοσης
  • Πρόσωπο με πρόσωπο
Ηλεκτρονική Διάθεση Μαθήματος
Erasmus
Το μάθημα προσφέρεται και σε φοιτητές προγραμμάτων ανταλλαγής.
Γλώσσα Διδασκαλίας
  • Ελληνικά (Διδασκαλία, Εξέταση)
Προαπαιτήσεις
Γενικές Προαπαιτήσεις
Το μάθημα είναι αυτοτελές.
Μαθησιακά Αποτελέσματα
Οι φοιτητές αναμένεται ότι στα πλαίσια του μαθήματος θα • μάθουν να σχεδιάζουν και να αυτοματοποιούν δοκιμές λογισμικού • μάθουν να σχεδιάζουν και να υλοποιούν αλγορίθμους στατικής ανάλυσης προγραμμάτων • εξοικειωθούν με την προδιαγραφή ιδιοτήτων ορθότητας και τον έλεγχο μοντέλων με κατάλληλα εργαλεία • εφαρμόσουν τεχνικές επαλήθευσης σε προβλήματα ασφάλειας από συστήματα λογισμικού με ταυτοχρονισμό ή/και επικοινωνία • εφαρμόσουν τεχνικές επαλήθευσης σε λογισμικό με τρωτή ασφάλεια
Γενικές Ικανότητες
  • Εφαρμογή της γνώσης στην πράξη
  • Προσαρμογή σε νέες καταστάσεις
  • Λήψη αποφάσεων
  • Αυτόνομη εργασία
  • Άσκηση κριτικής και αυτοκριτικής
  • Προαγωγή της ελεύθερης, δημιουργικής και επαγωγικής σκέψης
Περιεχόμενο Μαθήματος
Επικύρωση και επαλήθευση λογισμικού, Δοκιμές λογισμικού: δοκιμές white-box, δοκιμές black-box, δοκιμές με μοντέλα, δοκιμές αντικειμενοστρεφούς λογισμικού, Στατική ανάλυση προγράμματος: ανάλυση ροής δεδομένων, δια-διαδικασιακή ανάλυση, Αξιωματική επαλήθευση, Έλεγχος Μοντέλων, Επαλήθευση συμπεριφοράς, Αφαίρεση
Λέξεις Κλειδιά
Δοκιμές λογισμικού, Στατική ανάλυση προγράμματος, Έλεγχος μοντέλων
Τύποι Εκπαιδευτικού Υλικού
  • Σημειώσεις
  • Διαφάνειες
Χρήση Τεχνολογιών Πληροφορίας και Επικοινωνιών
Χρήση Τ.Π.Ε.
  • Χρήση Τ.Π.Ε. στη Διδασκαλία
  • Χρήση Τ.Π.Ε. στην Επικοινωνία με τους φοιτητές
Περιγραφή
Χρησιμοποιείται η πλατφόρμα e-learning (moodle) για τη διάθεση του μαθήματος μέσω διαδικτύου και για την επικοινωνία με τους φοιτητές. Επίσης, οι παραδόσεις γίνονται με χρήση εποπτικών μέσων διδασκαλίας (ηλεκτρονικές διαφάνειες).
Οργάνωση Μαθήματος
ΔραστηριότητεςΦόρτος ΕργασίαςECTSΑτομικάΟμαδικάErasmus
Διαλέξεις391,3
Μελέτη και ανάλυση βιβλίων και άρθρων903
Εκπόνηση μελέτης (project)933,1
Εξετάσεις30,1
Σύνολο2257,5
Αξιολόγηση Φοιτητών
Περιγραφή
Οι φοιτητές έχουν τη δυνατότητα να επιλέξουν την αξιολόγηση με βάση γραπτή εργασία μελέτης μιας τεχνικής επαλήθευσης (30 %) μαζί την επίδοσή τους στην τελική γραπτή εξέταση (70 %) ή εναλλακτικά μπορούν να αναλάβουν την επίλυση ενός ανοικτού προβλήματος επαλήθευσης και την παρουσίαση των αποτελεσμάτων σε προφορική εξέταση. Η φοίτηση είναι επιτυχής, εφόσον αξιολογείται με προβιβάσιμο βαθμό (6). Η ανακοίνωση των κριτηρίων αξιολόγησης, της εργασίας και των επιδόσεων των φοιτητών γίνεται στην πλατφόρμα e-learning.
Μέθοδοι Αξιολόγησης Φοιτητών
  • Γραπτή Εξέταση με Ερωτήσεις Σύντομης Απάντησης (Διαμορφωτική, Συμπερασματική)
  • Γραπτή Εργασία (Διαμορφωτική, Συμπερασματική)
  • Γραπτή Εξέταση με Επίλυση Προβλημάτων (Διαμορφωτική, Συμπερασματική)
Βιβλιογραφία
Επιπρόσθετη βιβλιογραφία για μελέτη
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
Τελευταία Επικαιροποίηση
13-06-2016