ΕΛ ΛΗΝ ΙΚΟ ΑΝΟ ΙΧΤ Ο Π ΑΝ ΕΠ ΙΣΤ ΗΜΙΟ

Προπτυχιακό Πρόγραμμα Σπουδών "ΠΛΗΡΟΦΟΡΙΚΗ"

ΠΛΗ 11 (2015-2016) – A' ΤΕΛΙΚΗ ΕΞΕΤΑΣΗ 28 ΜΑΪΟΥ 2016
ΔΕΛΤΙΟ ΑΠΑΝΤΗΣΕΩΝ ΕΡΩΤΗΣΕΩΝ ΠΟΛΛΑΠΛΩΝ ΕΠΙΛΟΓΩΝ
[ΔΙΑΡΚΕΙΑ ΕΞΕΤΑΣΗΣ 45΄]

Ονοματεπώνυμο:__________________________________________________ Τμήμα:________

Αρ. Μητρώου:________________ Αρ. και είδος ταυτότητας:______________________________

1 2 3 4 5 6

Επιλέξτε μία και μόνο απάντηση. Δεν υπάρχουν αρνητικοί βαθμοί για λαθεμένες απαντήσεις.

ΕΡΩΤΗΣΗ 1 (3)
Η (Α) Η (Β) Η (Γ) Η (Δ)

ΕΡΩΤΗΣΗ 2 (3)

Η (Α) Η (Β) Η (Γ) Η (Δ)

ΕΡΩΤΗΣΗ 3 (3)

Η (Α) Η (Β) Η (Γ) Η (Δ)

ΕΡΩΤΗΣΗ 4 (3)

Η (Α) Η (Β) Η (Γ) Η (Δ)

ΕΡΩΤΗΣΗ 5 (3)

Η (Α) Η (Β) Η (Γ) Η (Δ)

ΕΡΩΤΗΣΗ 6 (3)
Η (Α) Η (Β) Η (Γ) Η (Δ)

ΕΡΩΤΗΣΗ 7 (3)

Η (Α) Η (Β) Η (Γ) Η (Δ)

ΕΡΩΤΗΣΗ 8 (3)
Η (Α) Η (Β) Η (Γ) Η (Δ)

ΕΡΩΤΗΣΗ 9 (3)

Η (Α) Η (Β) Η (Γ) Η (Δ)

ΕΡΩΤΗΣΗ 10 (3)

Η (Α) Η (Β) Η (Γ) Η (Δ)

 ΕΛ ΛΗΝ ΙΚΟ ΑΝΟ ΙΧΤ Ο Π ΑΝ ΕΠ ΙΣΤ ΗΜΙΟ
Προπτυχιακό Πρόγραμμα Σπουδών "ΠΛΗΡΟΦΟΡΙΚΗ"
ΠΛΗ 11 (2015-2016) – A' ΤΕΛΙΚΗ ΕΞΕΤΑΣΗ 28 ΜΑΪΟΥ 2016

ΣΧΟΛΙΑΣΜΟΣ ΑΠΑΝΤΗΣΕΩΝ

ΕΡΩΤΗΜΑ 1
Τα ΔΡΔ δημιουργούνται κατά τη διάρκεια της ανάλυσης του συστήματος, όπως αναφέρεται
σαφώς στην ενότητα 3.4.2 του βιβλίου “Τεχνολογία Λογισμικού Ι”, Τόμος Α και χρησιμοποιούνται
ως είσοδος για το σχεδιασμό ενός συστήματος, όπως φαίνεται καθαρά στο σχήμα 4.3 του ίδιου
βιβλίου. Οπότε η πρόταση (Α) είναι λανθασμένη.

Το διάγραµµα ροής δεδοµένων (ΔΡΔ) δείχνει τις απαιτήσεις του πελάτη µε τη µορφή ενός
δικτύου στο οποίο «ρέουν» δεδοµένα τα οποία µετασχηµατίζονται σε νέα δεδοµένα από µονάδες
λογισµικού, όπως περιγράφεται στην ενότητα 3.4.2 του παραπάνω βιβλίου. Οπότε η πρόταση
(Β) είναι επίσης λανθασμένη. Κατάλληλο εργαλεία για τη μοντελοποίηση των καταστάσεων ενός
λογισμικού, και γενικότερα του συστήματος είναι το Διάγραμμα Mετάβασης Kαταστάσεων (ΔΜΚ)
και όχι το ΔΡΔ.

Η πρόταση (Γ) είναι σωστή σύμφωνα με τη θεωρία που αναφέρεται στην ενότητα 3.4.2 του
βιβλίου. Οι συμβολισμοί για τα συστατικά ενός ΔΡΔ φαίνονται στο σχήμα 3.8.

Η πρόταση (Δ) είναι επίσης λανθασμένη, σύμφωνα με τη θεωρία της ενότητας 3.4.2. Οι
συσχετίσεις μεταξύ οντοτήτων απεικονίζονται σε διαγράμματα οντοτήτων-συσχετίσεων.

ΕΡΩΤΗΜΑ 2
Η απάντηση (Α) είναι λανθασμένη γιατί το σπειροειδές μοντέλο είναι πιο κατάλληλο για
εφαρμογές μεσαίου ως μεγάλου μεγέθους και όχι για μικρές σε μέγεθος εφαρμογές όπως είναι η
εν λόγω εφαρμογή.
Η απάντηση (Β) είναι λανθασμένη γιατί το μοντέλο της λειτουργικής επαύξησης είναι πιο
κατάλληλο για εφαρμογές μεσαίου ως μεγάλου μεγέθους και όχι για μικρές σε μέγεθος εφαρμογές
όπως είναι η εν λόγω εφαρμογή.
Η απάντηση (Γ) είναι λανθασμένη γιατί το μοντέλο του καταρράκτη δεν είναι κατάλληλο στην
περίπτωση που υπάρχουν αλλαγές στις απαιτήσεις. Δεδομένου ότι το λογισμικό αναπτύσσεται
πρώτη φορά για το παντοπωλείο και οι απαιτήσεις δεν είναι απόλυτα ξεκάθαρες-γνωστές,
σίγουρα θα υπάρχουν αλλαγές.
Η απάντηση (Δ) είναι σωστή γιατί η εφαρμογή είναι μικρή και οι απαιτήσεις δεν είναι καλά
ορισμένες και με το μοντέλο της πρωτοτυποποίησης δίνεται η δυνατότητα απόκτησης άποψης για
την εφαρμογή λογισμικού και τη λειτουργικότητά της από νωρίς.
Βλ. Τόμο Α’ «Τεχνολογία Λογισμικού», παρ. 2.2-2.8 και πίνακα 2.1

ΕΡΩΤΗΜΑ 3
Στο ΔΔΠ (Α), βλέπουμε ότι είναι η μονάδα ελέγχου προγράμματος ExecP4 που καλεί τη μονάδα
ExecP3 για να λάβει τα δεδομένα X και Υ και να τις δώσει τα δεδομένα Z και W. Δηλαδή, στον
ψευδοκώδικα της μονάδας ExecP4 θα υπάρχει η κλήση CALL ExecP3(Z,W,X,Y). Επομένως στον
ψευδοκώδικα δεν θα υπάρχει ο δοθείς ορισμός για τη μονάδα ExecΡ4. Άρα η απάντηση (Α) είναι
λανθασμένη.
Στο ΔΔΠ (Β) η μονάδα ExecΡ4 καλεί τη μονάδα ExecP2 για να λάβει τα δεδομένα X και Y και
καλείται από τη μονάδα ExecΡ3 για να επιστρέψει σε αυτή τα δεδομένα Z και W. Δηλαδή, στον
ψευδοκώδικα της μονάδας ExecP3 θα υπάρχει η κλήση CALL ExecP4(Z,W) που δεν αντιστοιχεί
στον δοθέντα ορισμό για τη μονάδα ExecP4. Άρα η απάντηση (B) είναι λανθασμένη.
Στο ΔΔΠ (Γ), βλέπουμε ότι η μονάδα ελέγχου προγράμματος ExecP3 καλεί τη μονάδα ExecP4
για να λάβει τα δεδομένα Ζ και W και να τις δώσει τα δεδομένα X και Y. Δηλαδή, στον
ψευδοκώδικα της μονάδας ExecP3 θα υπάρχει η κλήση CALL ExecP4(X,Y,Z,W). Επομένως στον
ψευδοκώδικα θα υπάρχει ο δοθείς ορισμός για τη μονάδα ExecΡ4.
 ΕΛ ΛΗΝ ΙΚΟ ΑΝΟ ΙΧΤ Ο Π ΑΝ ΕΠ ΙΣΤ ΗΜΙΟ
Προπτυχιακό Πρόγραμμα Σπουδών "ΠΛΗΡΟΦΟΡΙΚΗ"
ΠΛΗ 11 (2015-2016) – A' ΤΕΛΙΚΗ ΕΞΕΤΑΣΗ 28 ΜΑΪΟΥ 2016
Άρα η απάντηση (Γ) είναι σωστή.
Η απάντηση (Δ) είναι λανθασμένη δεδομένου ότι η απάντηση (Γ) είναι σωστή.

ΕΡΩΤΗΜΑ 4
Απάντηση (Α): Το ΔΡΔ της επιλογής Α είναι λανθασμένο διότι σύμφωνα με το ΔΡΔ επιπέδου 1, ο
μετασχηματισμός Ρ2 πρέπει να εισάγει ως δεδομένα εισόδου στο μετασχηματισμό Ρ3 τα
δεδομένα Η και Ι. Στο ΔΡΔ της απάντησης φαίνεται ότι ο μετασχηματισμός Ρ2.2 εισάγει τα
δεδομένα Η και Ε στους επιμέρους μετασχηματισμούς του Ρ3.
Απάντηση (Β): Το ΔΡΔ της επιλογής Β είναι σωστό.
Απάντηση (Γ): Το ΔΡΔ της επιλογής Γ είναι λανθασμένο διότι οι μετασχηματισμοί Ρ3.1 και Ρ3.2
φαίνεται ότι εξάγουν ως δεδομένο εξόδου μόνο το δεδομένο Θ, ενώ στο διάγραμμα επιπέδου 1 ο
μετασχηματισμός Ρ3 εξάγει τόσο το δεδομένο Θ όσο και το Ζ. Σημειώνεται ότι παρόλο που το
δεδομένο Ζ αποτελεί δεδομένο εξόδου του μετασχηματισμού Ρ3.1 στο μετασχηματισμό Ρ3.2,
εντούτοις δεν αποτελεί δεδομένο εξόδου σε κανέναν από τους μετασχηματισμούς Ρ3.1 ή/ και
Ρ3.2.
Απάντηση (Δ): Η απάντηση είναι λανθασμένη δεδομένου ότι το ΔΡΔ της επιλογής B είναι σωστό.

ΕΡΩΤΗΜΑ 5
Α: Εξαιτίας του λόγου πληθικότητας (1:Ν) της συσχέτισης ΕΡΓΑΖΕΤΑΙ_ΓΙΑ και σε συνδυασμό με
την ολική συμμετοχή (διπλή γραμμή) της οντότητας ΕΡΓΑΖΟΜΕΝΟΣ σε αυτήν, ένα μέλος της
οντότητας ΕΡΓΑΖΟΜΕΝΟΣ πρέπει να σχετίζεται με ένα και μόνο μέλος της οντότητας ΤΜΗΜΑ.
Επομένως, ένας εργαζόμενος πρέπει να εργάζεται απαραίτητα σε ένα (και μόνο ένα) τμήμα, άρα
η απάντηση είναι αληθής.

Β: Επειδή η οντότητα ΤΜΗΜΑ έχει μερική συμμετοχή (απλή γραμμή) στη συσχέτιση
ΕΡΓΑΖΕΤΑΙ_ΓΙΑ, είναι δυνατό ένα μέλος της οντότητας ΤΜΗΜΑ να μη συσχετίζεται με κανένα
μέλος της οντότητας ΕΡΓΑΖΟΜΕΝΟΣ. Άρα η απάντηση είναι αληθής.

Γ: Εξαιτίας της δοθείσας <ελάχιστης-μέγιστης> συμμετοχής της οντότητας ΕΡΓΑΖΟΜΕΝΟΣ

(υφιστάμενος) στη συσχέτιση ΕΠΙΒΛΕΠΕΙ, δηλ. (1,1), πρέπει ένας εργαζόμενος να συμμετέχει
(ως υφιστάμενος) ακριβώς μία φορά στη συσχέτιση, δηλαδή κάθε εργαζόμενος επιβλέπεται.
Επομένως, η απάντηση είναι ψευδής.

Δ: Λόγω της ειδίκευσης της οντότητας ΕΡΓΑΖΟΜΕΝΟΣ στις υποκλάσεις ΜΙΣΘΩΤΟΣ και
ΩΡΟΜΙΣΘΙΟΣ, είναι εφικτό ένας εργαζόμενος να είναι είτε μισθωτός, είτε ωρομίσθιος. Άρα η
απάντηση είναι αληθής.

ΕΡΩΤΗΜΑ 6
Εξετάζοντας το ΔΟΣ από το οποίο προέρχεται το σχεσιακό σχήμα παρατηρούμε τα εξής:

1. Οι σχέσεις USER και FORUM προέρχονται από μετατροπή ισχυρών οντοτήτων (του ΔΟΣ),
ενώ η σχέση REGISTRATION αντιστοιχεί σε συσχέτιση Μ:N μεταξύ των USER και FORUM.
2. Το ξένο κλειδί UserId στον πίνακα FORUM προέρχεται από απορρόφηση συσχέτισης (είτε
1:N είτε 1:1) μεταξύ των USER και FORUM, που προσδιορίζει τους διαχειριστές των FORUM
(βλέπε εκφώνηση).
Με βάση τα παραπάνω η δήλωση Α είναι λάθος.

Εξετάζοντας τώρα τα στιγμιότυπα, παρατηρούμε ότι παρότι στον πίνακα FORUM δεν υπάρχει
πλειάδα με πρωτεύον κλειδί την τιμή F3, ο πίνακας REGISTRATION περιλαμβάνει μία πλειάδα
(την τρίτη) που αναφέρεται σ’ αυτή την τιμή (του γνωρίσματος ForumID). Αυτή η πλειάδα (και
μόνο) στη σχέση REGISTRATION παρουσιάζει πρόβλημα, αφού παραβιάζει την αναφορική
ακεραιότητα των δεδομένων. Επομένως η δήλωση Β είναι και αυτή λάθος.
 ΕΛ ΛΗΝ ΙΚΟ ΑΝΟ ΙΧΤ Ο Π ΑΝ ΕΠ ΙΣΤ ΗΜΙΟ
Προπτυχιακό Πρόγραμμα Σπουδών "ΠΛΗΡΟΦΟΡΙΚΗ"
ΠΛΗ 11 (2015-2016) – A' ΤΕΛΙΚΗ ΕΞΕΤΑΣΗ 28 ΜΑΪΟΥ 2016
Τέλος, η δεύτερη πλειάδα στη σχέση FORUM παρουσιάζει παρόμοιο πρόβλημα (δηλ. παραβιάζει
την αναφορική ακεραιότητα των δεδομένων), αφού το γνώρισμα UserId είναι ξένο κλειδί (βλέπε
εκφώνηση) και επομένως δεν μπορεί να λάβει την τιμή ‘Zidan’.

Επομένως, η σωστή δήλωση είναι η Γ.

ΕΡΩΤΗΜΑ 7
Εξαιτίας της μερικής συμμετοχής των οντοτήτων Ο1 και Ο2 στη συσχέτιση Σ είναι δυνατό /
επιτρεπτό να μην συνδέεται κανένα στιγμιότυπο της Ο1 με κανένα στιγμιότυπο της Ο2.
Επομένως, ο ελάχιστος αριθμός στιγμιότυπων του τύπου συσχέτισης Σ είναι 0. Αντίστοιχα, ο
μέγιστος αριθμός στιγμιότυπων του τύπου συσχέτισης Σ προκύπτει όταν όλα τα στιγμιότυπο της
Ο1 συνδέονται με όλα τα στιγμιότυπα της Ο2 (δηλ. όταν η Σ έχει 2x3=6 στιγμιότυπα).

Επομένως, η σωστή δήλωση είναι η B.

ΕΡΩΤΗΜΑ 8
Ο πίνακας των διαδικασιών είναι ο κάτωθι:
Χρόνος
Διεργασία Χρονική Στιγμή Άφιξης Εκτέλεσης
A 0 3
B 0 6
Γ 4 4
Δ 6 2

Για το αλγόριθμο FCFS το διάγραμμα Gantt είναι:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
A B Γ Δ
Συνεπώς οι χρόνοι διεκπεραίωσης και χρόνοι αναμονής των διεργασιών είναι:
ΧΔΑ= 3-0=3 ΧΑΑ= 3-3=0
ΧΔΒ= 9-0=9 ΧΑΒ= 9-6=3
ΧΔΓ= 13-4=9 ΧΑΓ= 9-4=5
ΧΔΔ= 15-6=9 ΧΑΔ= 9-2=7
ΜΧΔ= 7,5 ΜΧΑ= 3,75

Για το αλγόριθμο SJF το διάγραμμα Gantt είναι:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
A B Δ Γ
Συνεπώς οι χρόνοι διεκπεραίωσης και χρόνοι αναμονής των διεργασιών είναι:
ΧΔΑ= 3-0=3 ΧΑΑ= 3-3=0
ΧΔΒ= 9-0=9 ΧΑΒ= 9-6=3
ΧΔΓ= 15-4=11 ΧΑΓ= 11-4=7
ΧΔΔ= 11-6=5 ΧΑΔ= 5-2=3
ΜΧΔ= 7 ΜΧΑ= 3,25

Με βάση τα παραπάνω ορθή απάντηση είναι η (Δ)

ΕΡΩΤΗΜΑ 9
Από τα δεδομένα του ερωτήματος έχουμε:

Μέγεθος σελίδας = Μέγεθος πλαισίου = 2048 bytes = 211 bytes

Φυσική μνήμη = 32 ΚΒ = 215 bytes

 ΕΛ ΛΗΝ ΙΚΟ ΑΝΟ ΙΧΤ Ο Π ΑΝ ΕΠ ΙΣΤ ΗΜΙΟ
Προπτυχιακό Πρόγραμμα Σπουδών "ΠΛΗΡΟΦΟΡΙΚΗ"
ΠΛΗ 11 (2015-2016) – A' ΤΕΛΙΚΗ ΕΞΕΤΑΣΗ 28 ΜΑΪΟΥ 2016
15-11 4
Αριθμός πλαισίων = 2 = 2 = 16 πλαίσια

Με βάση το δοθέν μέγεθος σελίδας, απαιτούνται 11 bits για την αναπαράσταση της μετατόπισης
(offset). Άρα σε κάθε λογική διεύθυνση, τα 11 δεξιότερα (λιγότερο σημαντικά bits αποτελούν τη
μετατόπιση), ενώ τα υπόλοιπα (αριστερότερα – περισσότερο σημαντικά) αποτελούν τον αριθμό
σελίδας. Άρα για τη λογική διεύθυνση 1DFD16 έχουμε:

1DFD16 = 0001 1101 1111 1101 = 00011-10111111101

Άρα ο αριθμός σελίδας είναι το 00011= 316

Και η μετατόπιση είναι το 101 1111 1101 = 5FD 16

ΕΡΩΤΗΜΑ 10
(Γ) Η επιλογή Γ είναι ορθή διότι αρχικά μπορούν να εκτελεστούν με οποιαδήποτε σειρά οι εντολές
Ε1, Ε2, Ε3. Για να εκτελεστεί όμως η Ε4 θα πρέπει αναγκαστικά να έχουν εκτελεστεί πρώτα οι
Ε1, E2, E3 ώστε να αυξήσουν την τιμή του σημαφόρου S4 τρεις φορές. Ομοίως, δεν μπορεί να
εκτελεστεί η Ε8 αν δεν εκτελεστούν οι Ε5, Ε6, Ε7. Για να εκτελεστούν οι Ε5, Ε6 και Ε7 θα πρέπει
να τεθούν στη μονάδα (1) οι αντίστοιχοι σημαφόροι (S5, S6 και S7, αντίστοιχα) κάτι που
επιτυγχάνεται μετά την εκτέλεση της Ε4 με τις εντολές V(S5), V(S6) και V(S7), αντίστοιχα.
Σημειώνουμε ότι το πρόγραμμα αυτό αυτή δεν είναι και το μοναδικό που θα μπορούσε να
υλοποιήσει το δοθέντα γράφο προτεραιοτήτων.
(Δ) Η επιλογή Δ είναι εσφαλμένη διότι η Ε4 μπορεί να εκτελεστεί αμέσως μετά την εκτέλεση
οποιασδήποτε από τις Ε1,Ε2,Ε3. Επίσης, είναι εσφαλμένη διότι η Ε8 μπορεί να εκτελεστεί
αμέσως μετά την εκτέλεση οποιασδήποτε από τις Ε5,Ε6,Ε7.
(Β) Η επιλογή Β είναι εσφαλμένη διότι μετά την εκτέλεση της Ε1 είναι δυνατόν να εκτελεστεί η Ε4
χωρίς να έχουν εκτελεστεί οι Ε2, Ε3. Επίσης, είναι εσφαλμένη διότι η Ε8 μπορεί να εκτελεστεί
αμέσως μετά την εκτέλεση οποιασδήποτε από τις Ε5,Ε6,Ε7.
(Α) Στην επιλογή Α η Ε8 μπορεί να εκτελεστεί χωρίς να έχουν εκτελεστεί οι Ε6, Ε7 (αρκεί να έχει
εκτελεστεί η Ε5).