Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών Ερευνητικά Θέματα Ανάπτυξης Λογισμικού https://courses.softlab.ntua.gr/softdev/

Ερευνητικά Θέματα Ανάπτυξης Λογισμικού
(Research Topics in Software Development)

Μεταπτυχιακό μάθημα, εαρινού εξαμήνου
(ΣΗΜΜΥ, κωδικός 640)

Ανακοινώσεις | Υλικό: Γενικά, Εργασίες, Παλαιότερα έτη
Διαλέξεις: 22/3 | 29/3 | 5/4

Ανακοινώσεις

Υλικό

Γενικά

• Ενημερωτικό φυλλάδιο ( PDF) με την περιγραφή και την ύλη του μαθήματος.
• Οι διαλέξεις και η διδακτέα ύλη δεν ακολουθούν κάποιο βιβλίο, διότι ως επί το πλείστον το μάθημα εξετάζει σύγχρονα ερευνητικά θέματα που δεν έχουν ακόμα συμπεριληφθεί σε κάποιο σύγγραμμα. Όμως έχει εκτενείς διαφάνειες για την κάθε παράδοση όπως επίσης και μια σειρά από papers της σύγχρονης ερευνητικής βιβλιογραφίας των αντίστοιχων τομέων. Όλο το υλικό του μαθήματος υπάρχει διαθέσιμο ή προσπελάσιμο σε ηλεκτρονική μορφή.
• Από την τρίτη εβδομάδα του μαθήματος και μετά, η κάθε παράδοση θα περιλαμβάνει παρουσίαση και συζήτηση πάνω σε κάποια papers. Οι φοιτητές θα πρέπει να έχουν διαβάσει τα αντίστοιχα papers πριν τη συζήτησή τους και να έχουν στείλει στο διδάσκοντα μέσω e-mail:
  • μια σύντομη περιγραφή (περίπου μισή με μία σελίδα ανά paper) των πλεονεκτημάτων (strengths) και μειονεκτημάτων (weaknesses) του κάθε paper, και
  • μια σειρά από θέματα προς συζήτηση σχετικά με τα papers.
  Η αποστολή των παραπάνω πρέπει να γίνει το αργότερο μέχρι την προηγούμενη της αντίστοιχης παράδοσης. Οι φοιτητές μπορούν να παραλείψουν το πολύ δύο (2) τέτοιες αποστολές χωρίς να μειωθεί η βαθμολογία τους. Η συνεργασία φοιτητών στο παραπάνω δεν επιτρέπεται.
• Εκτός από τα παραπάνω, το μάθημα περιλαμβάνει και ασκήσεις ή και projects πάνω στη χρήση συγκεκριμένων εργαλείων λογισμικού που εξετάζονται στο μάθημα. Περισσότερες πληροφορίες θα δοθούν κατά τη χρονική στιγμή ανακοίνωσης των εργασιών.

Εργασίες

Θα ανακοινωθούν κατά τη διάρκεια του εξαμήνου.

Παλαιότερα έτη

Σελίδα του μαθήματος για τα ακαδημαϊκά έτη: 2006-07.

Διαλέξεις

Παράδοση εξ αποστάσεως 22/3/2021

• Θέματα διεξαγωγής του μαθήματος
• Εισαγωγή
  • Τρόποι ανάπτυξης λογισμικού
  • Ελαττώματα λογισμικού (software defects)
  • Ανάλυση και επικύρωση λογισμικού (software validation)
  • Ανάλυση προγραμμάτων και χρήσεις της
• Διαφάνειες εισαγωγής
• Ένα video σχετικό με την εισαγωγή του μαθήματος

Παράδοση εξ αποστάσεως 29/3/2021

• Εισαγωγή στην ανάλυση ροής δεδομένων (dataflow analysis)
  • Γράφοι ροής ελέγχου (control-flow graphs)
  • Παραδείγματα αναλύσεων ροής δεδομένων
    • Available expressions
    • Liveness analysis
    • Very busy expressions
    • Reaching definitions
  • Ευαισθησία ως προς τη ροή (flow sensitivity)
  • Ευαισθησία ως προς το περιεχόμενο (context sensitivity)
  • Ο γράφος των κλήσεων (call graph)
• Διαφάνειες ανάλυσης ροής δεδομένων
• Ένα video σχετικό με την ανάλυση ροής δεδομένων

Παράδοση εξ αποστάσεως 5/4/2021

• ’Ελεγχος λογισμικού: μέθοδοι, πρακτική και έρευνα
  • Ανάπτυξη και έλεγχος λογισμικού στην πράξη
  • Προδιαγραφές (specifications)
  • Μέθοδοι ελέγχου
    • Χειροκίνητος έλεγχος (manual testing)
    • Αυτόματοποιημένος έλεγχος (automated testing)
    • Έλεγχος παλινδρόμησης (regression testing)
  • Μετρικές κάλυψης (coverage metrics)
  • Κάποια ερευνητικά θέματα ελέγχου λογισμικού
    • Τυχαίος έλεγχος (random testing)
    • Επιτάχυνση ελέγχου παλινδρόμησης μέσω στατικής ανάλυσης
    • Aνάλυση μετάλλαξης (mutation analysis)
• Διαφάνειες ελέγχου λογισμικού
• Videos με μια εισαγωγή στον έλεγχο λογισμικού και στον τυχαίο έλεγχο