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

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

Πρόγραμμα Σπουδών: ΠΜΣ Τμήματος Πληροφορικής (2014-σήμερα)

Εγγεγραμμένοι φοιτητές: 1
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΤΕΧΝΟΛΟΓΙΕΣ ΓΝΩΣΗΣ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΛΟΓΙΣΜΙΚΟΥΥποχρεωτικό Κατ' Επιλογήν117,5
ΤΕΧΝΟΛΟΓΙΕΣ ΠΛΗΡΟΦΟΡΙΑΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΩΝ ΣΤΗΝ ΕΚΠΑΙΔΕΥΣΗΕπιλογής117,5
ΨΗΦΙΑΚΑ ΜΕΣΑ- ΥΠΟΛΟΓΙΣΤΙΚΗ ΝΟΗΜΟΣΥΝΗΕπιλογής117,5
ΔΙΚΤΥΑΚΑ ΣΥΣΤΗΜΑΤΑΕπιλογής117,5

Πρόγραμμα Σπουδών: ΠΜΣ Τμήματος Πληροφορικής (2013-σήμερα)

Εγγεγραμμένοι φοιτητές: 0
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
Πληροφοριακά ΣυστήματαΥποχρεωτικό117,5
Τεχνολογίες Πληροφορίας και Επικοινωνιών στην ΕκπαίδευσηΕπιλογής117,5
Ψηφιακά ΜέσαΕπιλογής117,5
Επικοινωνιακά Συστήματα και ΤεχνολογίεςΕπιλογής117,5

Πρόγραμμα Σπουδών: ΠΜΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 2

Εγγεγραμμένοι φοιτητές: 0
ΚατεύθυνσηΤύπος ΠαρακολούθησηςΕξάμηνοΈτοςECTS
ΠΛΗΡΟΦΟΡΙΑΚΑ ΣΥΣΤΗΜΑΤΑΥποχρεωτικό117,5
ΤΕΧΝΟΛΟΓΙΕΣ ΠΛΗΡΟΦΟΡΙΑΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΩΝ ΣΤΗΝ ΕΚΠΑΙΔΕΥΣΗΕπιλογής117,5
ΨΗΦΙΑΚΑ ΜΕΣΑΕπιλογής117,5
ΕΠΙΚΟΙΝΩΝΙΑΚΑ ΣΥΣΤΗΜΑΤΑ ΚΑΙ ΤΕΧΝΟΛΟΓΙΕΣΕπιλογής117,5

Πληροφορίες Τάξης
ΤίτλοςΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ
Ακαδημαϊκό Έτος2017 – 2018
Περίοδος ΤάξηςΧειμερινή
Διδάσκοντες μέλη ΔΕΠ
Ώρες Εβδομαδιαία3
Class ID
600110523
Τύπος Μαθήματος 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