Έλεγχος Λογισμικού. Software Testing
|
|
- Αριστοκλής Κούνδουρος
- 8 χρόνια πριν
- Προβολές:
Transcript
1 Έλεγχος Λογισμικού Software Testing
2 Γενικά ΣΤΑΤΙΚΟΣ ΕΛΕΓΧΟΣ: Ο κώδικας εξετάζεται για τον εντοπισμό λαθών ή αδυνάμων σημείων ΔΥΝΑΜΙΚΟΣΕΛΕΓΧΟΣ: Ένα συστατικό κώδικα εκτελείται µε ένα σύνολο από δεδομένα για τα οποία τα αποτελέσματα είναι γνωστά (δοκιμή, test): αποκάλυψη ύπαρξης λαθών και όχι απόδειξη απουσίας λαθών Δοκιμαστικά δεδομένα (test data) Περιπτώσεις ελέγχου (test cases)
3 Παράδειγμα Έστω ένα πρόγραμμα που δέχεται στην είσοδό του 3 πραγματικούς αριθμούς που αντιπροσωπεύουν μήκη γεωμ. τμημάτων και αποφασίζει αν μπορούν αυτά να είναι οι πλευρές ενός τριγώνου, και τι είδους είναι το τρίγωνο (ισοσκελές, ορθογώνιο, κλπ) Να δοθεί ένα σύνολο εισόδων που θα εγγυάται την ορθή λειτουργία αυτού του προγράμματος για οποιονδήποτε συνδυασμό 3 τμημάτων
4 Περιπτώσεις ελέγχου 5, 3, 4 => Σκαληνό Τρίγωνο 3, 3, 4 => Ισοσκελές Τρίγωνο 3, 3, 3 => Ισόπλευρο 50, 50, 25 => Ισοσκελές Τρίγωνο 8, 2, 5 => Όχι Έγκυρο α, 25, 50 => Όχι Έγκυρο 10, 0, 100 => Όχι Έγκυρο 3, 3, -4 => Όχι Έγκυρο
5 Βασικές Αρχές Δυναμικού Ελέγχου (1/2) Γενικά ισχύουν τα ακόλουθα: Ο κώδικας ενός προγραμματιστή πρέπει να ελέγχεται από κάποιον άλλο προγραμματιστή Ο κώδικας μιας εταιρείας πρέπει να ελέγχεται από άλλη εταιρεία Ένα συστατικό κώδικα πρέπει να δοκιμασθεί ώστε να διαπιστωθεί ότι δεν κάνει αυτό που δεν πρέπει να κάνει
6 Βασικές Αρχές Δυναμικού Ελέγχου (2/2) Οι περιπτώσεις ελέγχου καταγράφονται για μελλοντική χρήση Μια περίπτωση ελέγχου είναι καλή όταν έχει μεγάλη πιθανότητα ανακάλυψης λαθών Μια περίπτωση ελέγχου είναι επιτυχής όταν αποκαλύψει λάθη άγνωστα μέχρι τώρα Ο δυναμικός έλεγχος είναι μια εξαιρετικά δημιουργική και διανοητικά προκλητική και δύσκολη εργασία
7 Επίπεδα Δυναμικού Ελέγχου Έλεγχος μονάδας και συνένωσης (φάση κωδικοποίησης) Έλεγχος συστήματος και αποδοχής (φάση ελέγχου)
8 Στρατηγικές Δυναμικού Ελέγχου Στρατηγική μαύρου κουτιού (black box testing): είναι γνωστές οι προδιαγραφές του συστατικού αλλά άγνωστος ο τρόπος κατασκευής Στρατηγική άσπρου κουτιού (white box testing): είναι γνωστός και ο τρόπος κατασκευής του συστατικού
9 Στρατηγική Μαύρου Κουτιού Λειτουργικός Έλεγχος (Functional Testing) Θεωρητικά πρέπει να δοκιμασθούν όλα τα δυνατά δεδομένα εισόδου (έγκυρα και άκυρα) Αυτό είναι ανέφικτο οπότε χρησιμοποιούνται μερικές μέθοδοι απλοποίησης : Προσέγγιση Ισοδύναμης Διαμέρισης Προσέγγιση Συνοριακών Τιμών Προσέγγιση Αιτίου - Αποτελέσματος
10 Ισοδύναμη Διαμέριση (1/4) Όλοι οι δυνατοί συνδυασμοί των δεδομένων εισόδου χωρίζονται σε ένα πεπερασμένο σύνολο κλάσεων ισοδύναμων τιμών Οι τιμές μιας κλάσης είναι ισοδύναμες με την έννοια ότι ανακαλύπτουν το ίδιο σύνολο λαθών Το πλήθος των περιπτώσεων ελέγχου είναι το πολύ ίσο με το πλήθος των κλάσεων
11 Ισοδύναμη Διαμέριση (2/4) Για κάθε περίπτωση ελέγχου απαιτείται μια μόνο τιμή από κάθε κλάση Οι κλάσεις προσδιορίζονται από τις συνθήκες εισόδου (περιορισμοί των δεδομένων) εισόδου
12 Ισοδύναμη Διαμέριση (3/4) Αν μια συνθήκη προδιαγράφει ένα διάστημα τιμών υπάρχει μια έγκυρη κλάση και δυο άκυρες π.χ. 1.0 χ 3.5 και χ < 1.0, χ > 3.5 Αν μια συνθήκη προδιαγράφει ένα πλήθος τιμών με μια μέγιστη τιμή υπάρχει μια έγκυρη κλάση και δυο άκυρες π.χ. Αριθμός παιδιών μέχρι 5 : χ ανήκει στο [1,2,3,4,5] και χ = 0, χ > 5
13 Ισοδύναμη Διαμέριση (4/4) Κάθε σύνολο τιμών, για τις οποίες υπάρχει υπόνοια ότι το συστατικό τις μεταχειρίζεται διαφορετικά, δημιουργεί μια έγκυρη κλάση και μια άκυρη (με μια μόνο τιμή διαφορετική από τις τιμές του συνόλου αυτού) Κατά τον ορισμό των περιπτώσεων ελέγχου πρέπει να επιλέγονται εκείνες οι περιπτώσεις που καλύπτουν πολλές ταυτόχρονα κλάσεις: συμπύκνωση δοκιμών (test compaction)
14 Ανάλυση Συνοριακών Τιμών (1/3) Συνοριακές τιμές σε μια κλάση ισοδύναμων τιμών είναι οι τιμές των άκρων της Έχει παρατηρηθεί ότι πάνω στις συνοριακές τιμές (τόσο εισόδου όσο και εξόδου) καθώς και στις τιμές αμέσως πριν και μετά γίνονται λάθη
15 Ανάλυση Συνοριακών Τιμών (2/3) Αν μια συνθήκη εισόδου προδιαγράφει ένα διάστημα τιμών απαιτούνται έγκυρες περιπτώσεις για τα άκρα του διαστήματος και άκυρες για τις τιμές έξω ακριβώς από τα άκρα Αν μια συνθήκη εισόδου προδιαγράφει ένα πλήθος τιμών απαιτούνται έγκυρες περιπτώσεις με το μικρότερο και μεγαλύτερο πλήθος καθώς και άκυρες με ένα μικρότερο και ένα μεγαλύτερο από αυτό το πλήθος π.χ. Για αρχείο που περιέχει 1 με 200 εγγραφές, απαιτούνται περιπτώσεις ελέγχου με 0, 1, 200, 201 εγγραφές)
16 Ανάλυση Συνοριακών Τιμών (3/3) Αν η είσοδος ή η έξοδος είναι ένα διατεταγμένο σύνολο (π.χ. ένα ακολουθιακό αρχείο, μια γραμμική λίστα, ένας πίνακας) απαιτούνται περιπτώσεις ελέγχου με το πρώτο και το τελευταίο στοιχείο ελέγχου
17 Προσέγγιση Αιτίου - Αποτελέσματος Με βάση τις προδιαγραφές κατασκευάζεται ένας γράφος που στους αρχικούς κόμβους έχει αίτια, στους τελικούς κόμβους αποτελέσματα και στους ενδιαμέσους κόμβους περιορισμούς. Στη συνέχεια κατασκευάζεται ένας πίνακας απόφασης από τον οποίο μπορούν να παραχθούν περιπτώσεις ελέγχου Η εφαρμογή της μεθόδου υποστηρίζεται από εργαλεία (π.χ. SoftTest)
18 Προδιαγραφή Απαίτησης Αν ο πελάτης έχει ηλικία μικρότερη των 18 ετών και παίζει τένις, να του αποστέλλεται επιστολή σχετική με προϊόντα τένις. Αν ο πελάτης έχει ηλικία 18 ή μεγαλύτερη ή έχει άδεια οδήγησης αυτοκινήτου, να του αποστέλλεται επιστολή σχετικά με προϊόντα αυτοκινήτου. Αν συμβαίνουν και τα δυο, να προστεθεί το όνομα του στην λίστα Α.
19 Προδιαγραφή Απαίτηση - Είσοδοι Καταστάσεις (true/false): U18 = The Person is Under 18 O18 = The Person is Over 18 Plays_Tennis = The Person Plays Tennis Has_Licence = The Person has a Car Licence
20 Προδιαγραφή Απαίτηση - Έξοδοι Καταστάσεις (true/false): T_brochure = Send a tennis brochure M_brochure = Send a motorcycle brochure A_List = Put them on the "A" mailing list
21 Περιορισμοί Λογικές Σχέσεις Περιορισμοί: Αν U18=true TΟΤΕ O18=false Αν haslicence=true ΤΟΤΕ O18=true Σχέσεις: Aν U18 ΚΑΙ playstennis ΤΟΤΕ T_brochure Aν Ο18 Η haslicence ΤΟΤΕ M_brochure Αν T_brochure ΚΑΙ M_brochure ΤΟΤΕ Α_LIST
22 Γράφος Αιτίου - Αποτελέσματος U18 AND T_brochure AND A_List playstennis O18 OR T_motorcycle haslicence
23 Δοκιμές Αρκούν 3 δοκιμές για την κάλυψη όλων των πιθανών λαθών. Σύνολο 16 περιπτώσες χ 3 δοκιμές TEST#1 Under18, Plays_tennis, not Over18, not Has_license => Send a tennis brochure, Do not send a motorcycle license, Do not put them on the A mailing list TEST#2 not Under18, Plays_tennis, Over18, not Has_license => Do not send a tennis brochure, Send a motorcycle license, Do not put them on the A mailing list TEST#3 Under18, does not Plays_tennis, not Over18, not Has_license => Dο not send a tennis brochure, Do not send a motorcycle license, Do not put them on the A mailing list
24 Προσέγγιση Αιτίου - Αποτελέσματος Στην πράξη η κατασκευή του γράφου δεν είναι εύκολη και ο αριθμός περιπτώσεων ελέγχου είναι πολύ μεγάλος Με τη μέθοδο όμως αυτή είναι δυνατό να ελεγχθούν συνδυασμοί συνθηκών εισόδου Ο ελεγκτής πρέπει να χρησιμοποιεί τη διαίσθηση του για να διαισθανθεί και να ανακαλύψει σχεδιαστικά λάθη
25 Στρατηγική του Διαφανούς Κουτιού Δομικός Έλεγχος (Structural Testing) Ο καθορισμός των περιπτώσεων ελέγχου γίνεται με βάση το σχέδιο ή / και τον κώδικα Συνήθως επιδιώκεται να καλυφθούν όλα τα δυνατά μονοπάτια εκτέλεσης στο γράφο ροής του προγράμματος
26 Έλεγχος με βάση τα μονοπάτια
27 Γράφος Ροής
28 Περιπτώσεις Δοκιμής
29 Κυκλωματική Πολυπλοκότητα CC = E N + 2 E: ο αριθμός των ακμών N: ο αριθμός των κόμβων Στο προηγούμενο παράδειγμα: CC = = 4
30 Προβλήματα Ο αριθμός των μονοπατιών είναι συνήθως πολύ μεγάλος Δεν καλύπτονται λάθη µη-συμμόρφωσης προς τις προδιαγραφές Δεν ανακαλύπτονται μονοπάτια που λείπουν Δεν ανακαλύπτονται λάθη που αφορούν ειδικές τιμές δεδομένων
31 Κριτήρια Κάλυψης (1/2) Στη στρατηγική άσπρου κουτιού χρησιμοποιούνται τα λεγόμενα κριτήρια κάλυψης. Τα κριτήρια αυτά μας δείχνουν τον βαθμό στον οποίο ο έλεγχος κάλυψε όλα τα σενάρια
32 Κριτήρια Κάλυψης (2/2) Κάλυψη εντολών Κάλυψη απόφασης ή κάλυψη διακλάδωσης Κάλυψη συνθήκης (συνδυασμοί ελέγχου που επιτρέπουν μια απόφαση) Κάλυψη απόφασης/συνθήκης Κάλυψη πολλαπλής συνθήκης (πολλαπλές διαδοχικές συνθήκες
33 Συμπέρασμα Στην πράξη απαιτείται συνδυασμός των δύο στρατηγικών (διαφανούς / αδιαφανούς κουτιού) Είναι δυνατό να χαραχθεί μια γενική στρατηγική που συνδυάζει τον λειτουργικό και δομικό έλεγχο (όπου αυτό είναι δυνατό)
34 Εφαρμογή Δυναμικού Ελέγχου (1/3) Απαιτεί την κατασκευή ορισμένων προϊόντων: Ειδικός κώδικας (π.χ. οδηγοί-test drivers) Περιπτώσεις ελέγχου Ειδικά έγγραφα τεκμηρίωσης
35 Εφαρμογή Δυναμικού Ελέγχου (2/3) Έλεγχος μονάδας (Unit Testing) Αποσκοπεί στο να δειχθεί ότι κάθε μονάδα προγράμματος χωριστά δεν πληροί τις προδιαγραφές της Ετοιμάζονται περιπτώσεις ελέγχου ξεκινώντας µε τη στρατηγική του άσπρου κουτιού που συμπληρώνονται µε περιπτώσεις από τη στρατηγική του μαύρου κουτιού
36 Εφαρμογή Δυναμικού Ελέγχου (3/3) Δυο είδη ελέγχου μονάδας Μη-Αυξητικός (κάθε μονάδα ξεχωριστά και στη συνέχεια συνένωση) απαιτούνται οδηγοί και στελέχη Αυξητικός (κάθε μονάδα ελέγχεται σε συνδυασμό µε άλλες μονάδες που έχουν ήδη ελεγχθεί) απαιτούνται είτε οδηγοί είτε στελέχη ανάλογα µε τον τρόπο εφαρμογής του ελέγχου
37 Αυξητικός Έλεγχος Η επιλογή των μονάδων μπορεί να γίνει με διάφορα κριτήρια (π.χ. προηγείται ο έλεγχος των μονάδων που κάνουν είσοδο - έξοδο) Δεν απαιτείται έλεγχος ενοποίησης
38 Έλεγχος Ενοποίησης (1/2) Έλεγχος Ολοκλήρωσης (Integration Testing) Αποσκοπεί στο να δειχθεί ότι διαδοχικές ενώσεις μονάδων του προγράμματος σε όλο και μεγαλύτερα συστατικά δεν πληρούν τις προδιαγραφές Συχνά συνενώνονται μεγάλες μονάδες λογισμικού που έχουν ελεγχθεί εσωτερικά µε αυξητικό ή µη-αυξητικό τρόπο
39 Έλεγχος Ενοποίησης (2/2) Απαιτείται ένα πλάνο ελέγχου συνένωσης που μπορεί να επιτρέπει την παράλληλη διεξαγωγή της κωδικοποίησης, ελέγχου μονάδας και ελέγχου ενοποίησης διαφόρων τμημάτων του συστήματος Ο λόγος είναι ότι η υλοποίηση των διαφόρων μονάδων συνήθως ολοκληρώνεται σε διαφορετικές χρονικές στιγμές, συμφωνά µε το πλάνο του έργου
40 Έλεγχος Συστήματος System Testing Αποσκοπεί στο να δειχθεί ότι το σύστημα δεν πληροί τις απαιτήσεις από το σύστημα και απαιτήσεις από το λογισμικό Χρησιμοποιείται η στρατηγική του μαύρου κουτιού και ελέγχονται οι λειτουργικές απαιτήσεις, οι απαιτήσεις διασύνδεσης και οι µη λειτουργικές απαιτήσεις (επίδοσης, περιορισμών στη σχεδίαση, ασφάλειας, αξιοπιστίας, ξεκινήματος ύστερα από αιφνίδιο σταμάτημα, διαθεσιμότητας κτλ) Επίσης διενεργούνται έλεγχοι πίεσης (stress tests) και έλεγχοι όγκου δεδομένων (volume tests)
41 Έλεγχος Αποδοχής Acceptance Testing Αποσκοπεί στο να πεισθεί ο πελάτης ότι το σύστημα που κατασκευάστηκε για λογαριασμό του, πληροί τις προδιαγραφές του
42 Τεκμηρίωση Δυναμικού Ελέγχου Τυπικά έγγραφα τεκμηρίωσης ελέγχου Προαπαιτούμενα έγγραφα: Έγγραφα έργου Τεκμηρίωση Μονάδων / Συστατικών προς έλεγχο Προετοιμασία εκτέλεσης του ελέγχου Πλάνο Ελέγχου Προδιαγραφές σχεδίου ελέγχου Προδιαγραφές περιπτώσεων ελέγχου Προδιαγραφές διαδικασίας διεκπεραίωσης ελέγχου Μετά την εκτέλεση του ελέγχου Ημερολόγιο ελέγχου Έκθεση απροόπτων Περιληπτική έκθεση ελέγχου Πρότυπο ελέγχου ΙΕΕΕ: 8 έγγραφα τεκμηρίωσης
43 Δυναμικός Έλεγχος & Παραλαβή (1/2) Επαλήθευση Επαληθευμένο λογισμικό: έχει γίνει έλεγχος συστήματος από την ομάδα που κατασκεύασε το λογισμικό (α-test) Επικύρωση Επικυρωμένο λογισμικό: έχει γίνει έλεγχος συστήματος από ομάδα ανεξάρτητη από εκείνη που το κατασκεύασε (β-test)
44 Δυναμικός Έλεγχος & Παραλαβή (2/2) Πιστοποίηση λογισμικού Πιστοποιημένο λογισμικό: το λογισμικό έχει περάσει τους προηγουμένους ελέγχους και έχει παραμείνει για ένα διάστημα σε δοκιμαστική λειτουργία στο πραγματικό περιβάλλον λειτουργίας κάτω από την εποπτεία του πελάτη
45 Αποσφαλμάτωση Εντοπισμός και εκκαθάριση λαθών Διάφορες στρατηγικές (Επαγωγή, Αναδρομή, Οπισθοδρόμηση) Συμβατικές τεχνικές (διαγνωστικά μηνύματα, στιγμιαία αντίγραφα της μνήμης, επιλεκτική λήψη ιχνών δεδομένων και ροής ελέγχου, σημεία διακοπής)
46 Κριτήρια Τερματισμού (1/2) Πότε πρέπει να τερματίζει ο έλεγχος; Όλες οι περιπτώσεις ελέγχου να είναι ανεπιτυχείς και οι περιπτώσεις αυτές να έχουν παραχθεί µε βάση το κριτήριο κάλυψης πολλαπλής συνθήκης και να έχει γίνει ανάλυση συνοριακών τιμών στη διασύνδεση της μονάδας Όλες οι περιπτώσεις ελέγχου να είναι ανεπιτυχείς και οι περιπτώσεις αυτές να έχουν παραχθεί µε βάση την προσέγγιση αιτίου-αποτελέσματος και να έχει γίνει ανάλυση συνοριακών τιμών µε ταυτόχρονη χρήση της διαίσθησης των ελεγκτών
47 Κριτήρια Τερματισμού (2/2) Άλλα κριτήρια μπορεί να είναι: Αποκάλυψη ενός ορισμένου αριθμού λαθών ή εκπνοή μιας ορισμένης χρονικής περιόδου του ελέγχου, όποιο συμβεί τελευταίο Ο ρυθμός ανακάλυψης λαθών να μην είναι ανοδικός Συνδυασμός των παραπάνω
Τεχνολογία Λογισμικού
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα #5 : Έλεγχος ορθής λειτουργίας λογισμικού Σταμέλος Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης
Διαβάστε περισσότεραΤεχνολογία Λογισµικού Ι Κεφάλαιο 6
ΕΛΛΗΝΙΚΟ ΑΝΟΙΧΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ Πρόγραµµα σπουδών "ΠΛΗΡΟΦΟΡΙΚΗ" - Θ.Ε. ΠΛΗ11 Τεχνολογία Λογισµικού Ι Κεφάλαιο 6 Βασίλειος Βεσκούκης ιδάκτωρ Ηλεκτρολόγος Μηχανικός και Μηχανικός Υπολογιστών v.vescoukis@cs.ntua.gr
Διαβάστε περισσότεραΕλεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού Πολυπλοκότητα
Ελεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού Πολυπλοκότητα Τµήµα Διοίκησης Επιχειρήσεων Τει Δυτικής Ελλάδας Μεσολόγγι Δρ. Α. Στεφανή Διάλεξη 5 2 Εγκυροποίηση Λογισµικού Εγκυροποίηση Λογισµικού
Διαβάστε περισσότεραΈλεγχος Προγραμμάτων και Συστήματος
ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΔΙΟΙΚΗΤΙΚΗΣ ΕΠΙΣΤΗΜΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑΣ Τεχνολογίες και Εφαρμογές Διαδικτύου και Συστήματος Κατερίνα Πραματάρη Τεχνολογίες και Εφαρμογές Διαδικτύου Τύποι Σφαλμάτων (1)
Διαβάστε περισσότεραΤεχνολογία λογισμικού στην πράξη
Τεχνολογία λογισμικού στην πράξη Έλεγχος λογισμικού Διομήδης Σπινέλλης Τμήμα Διοικητικής Επιστήμης και Τεχνολογίας Οικονομικό Πανεπιστήμιο Αθηνών dds@aueb.gr http://www.dmst.aueb.gr/dds @CoolSWEng 2016-06-27
Διαβάστε περισσότεραΤεχνολογία Λογισμικού
Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων Τεχνολογία Λογισμικού 18/12/2017 Δρ. Ανδριάνα Πρέντζα Αναπληρώτρια Καθηγήτρια aprentza@unipi.gr Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων Ελεγχος και
Διαβάστε περισσότεραΑνάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420)
Ανάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420) Έλεγχος Λογισμικού Προβλήματα Λογισμικού 2 Μια ματιά στα παλιά: Σφάλμα: Ελάττωμα: Ανθρώπινο λάθος (σε προδιαγραφές, τεκμηρίωση κλπ) «Κωδικοποίηση του σφάλματος» στο
Διαβάστε περισσότεραΠληροφορική 2. Τεχνολογία Λογισμικού
Πληροφορική 2 Τεχνολογία Λογισμικού 1 2 Κρίση Λογισμικού (1968) Στην δεκαετία του 1970 παρατηρήθηκαν μαζικά: Μεγάλες καθυστερήσεις στην ολοκλήρωση κατασκευής λογισμικών Μεγαλύτερα κόστη ανάπτυξης λογισμικού
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΜΑΘΗΜΑ: ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ ΔΟΚΙΜΕΣ ΛΟΓΙΣΜΙΚΟΥ Διδάσκων: Γ. Χαραλαμπίδης, Επ. Καθηγητής
Διαβάστε περισσότεραΠίνακας Περιεχομένων. μέρος A 1 Εισαγωγή στην Τεχνολογία Λογισμικού
Πρόλογος...21 μέρος A Εισαγωγή στην Τεχνολογία Λογισμικού 1 Εισαγωγή στην Τεχνολογία Λογισμικού 1.1 Το λογισμικό...25 1.1.1 Ο ρόλος και η σημασία του λογισμικού...26 1.1.2 Οικονομική σημασία του λογισμικού...28
Διαβάστε περισσότεραΚωδικοποίηση και Έλεγχος Ορθότητας
Κωδικοποίηση και Έλεγχος Ορθότητας περιεχόμενα περουσίασης Κωδικοποίηση Πρότυπα και διαδικασίες κωδικοποίησης Τεκμηρίωση Διαχείριση εκδόσεων Έλεγχος ορθότητας λογισμικού κωδικοποίηση διαχείριση εκδόσεων
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 11 ΕΛΕΓΧΟΣ ΚΑΙ ΔΙΟΡΘΩΣΗ ΣΦΑΛΜΑΤΩΝ. Έννοιες-κλειδιά
ΚΕΦΑΛΑΙΟ 11 ΕΛΕΓΧΟΣ ΚΑΙ ΔΙΟΡΘΩΣΗ ΣΦΑΛΜΑΤΩΝ Σκοπός του κεφαλαίου είναι η ανάδειξη της σημασίας του ελέγχου κατά την ανάπτυξη λογισμικού, καθώς και η παρουσίαση των ενεργειών που γίνονται κατά τη φάση του
Διαβάστε περισσότεραΤεχνολογίες Υλοποίησης Αλγορίθµων
Τεχνολογίες Υλοποίησης Αλγορίθµων Χρήστος Ζαρολιάγκης Καθηγητής Τµήµα Μηχ/κων Η/Υ & Πληροφορικής Πανεπιστήµιο Πατρών email: zaro@ceid.upatras.gr Ενότητα 3 1 / 25 Ενότητα 3 οκιµή Προγραµµάτων (Program Testing)
Διαβάστε περισσότεραΜεταγλώττιση και σύνδεση πολλαπλών αρχείων κώδικα. Προγραμματισμός II 1
Μεταγλώττιση και σύνδεση πολλαπλών αρχείων κώδικα Προγραμματισμός II 1 lalis@inf.uth.gr Χρήση λογισμικού που ήδη υπάρχει Τα πολύπλοκα συστήματα αναπτύσσονται σταδιακά, «χτίζοντας» πάνω σε υπάρχουσα λειτουργικότητα
Διαβάστε περισσότεραΚΕΦΑΛΑΙΑ XIII, XIV. Εκσφαλμάτωση προγράμματος - Κύκλος Ζωής Λογισμικού
ΚΕΦΑΛΑΙΑ XIII, XIV Ένας προγραμματιστής ανεξάρτητα από το πόσο ικανός είναι, όταν δημιουργεί ένα πρόγραμμα, είναι φυσικό να κάνει ορισμένα λάθη. Σε ένα πρόγραμμα είναι δυνατό να παρουσιαστούν διαφορετικής
Διαβάστε περισσότεραοκιμασία και πλάνο δοκιμασίας
οκιμασία και πλάνο ς Γιάννης Σμαραγδάκης Η επιχειρεί να απαντήσει Κάνει το λογισμικό αυτό που υποτίθεται; Πότε μπορεί να έχει πρόβλημα; Πόσο γρήγορα τρέχει; Πόσο ακριβή είναι τα αποτελέσματα; Όταν έχει
Διαβάστε περισσότεραΠροδιαγραφές Απαιτήσεων Γιάννης Σμαραγδάκης
Προδιαγραφές Απαιτήσεων Γιάννης Σμαραγδάκης Τα κυριότερα παραδοτέα/προϊόντα μιας διεργασίας ανάπτυξης λογισμικού Άρθρωση του προβλήματος, κατανόηση (προδιαγραφές απαιτήσεων) α ) Ποιο πρόβλημα λύνουμε;
Διαβάστε περισσότεραΚεφάλαιο 2ο. Κατανοώντας την αντικειμενοστρέφεια
Περιεχόμενα Πρόλογος... 11 Κεφάλαιο 1ο. Εισαγωγή στη γλώσσα UML 1.1 Προσθέτοντας μια νέα μέθοδο...13 1.2 Πως αναπτύχθηκε η UML...14 1.3 Κατανοώντας την UML...15 1.4 Αναγνωρίζοντας τα επί μέρους τμήματα
Διαβάστε περισσότεραΣυγγραφή κώδικα, δοκιμασία, επαλήθευση. Γιάννης Σμαραγδάκης
Συγγραφή κώδικα, δοκιμασία, επαλήθευση Γιάννης Σμαραγδάκης Προδιαγραφή απαιτήσεων Σχεδιασμός συνεπείς σχέσεις Υψηλό επίπεδο συνεπείς σχέσεις Χαμηλό επίπεδο συνεπείς σχέσεις Πλάνο δοκιμών Κώδικας Συγγραφή
Διαβάστε περισσότεραΕισαγωγή στη Σχεδίαση Λογισμικού
Εισαγωγή στη Σχεδίαση Λογισμικού περιεχόμενα παρουσίασης Τι είναι η σχεδίαση λογισμικού Έννοιες σχεδίασης Δραστηριότητες σχεδίασης Σχεδίαση και υποδείγματα ανάπτυξης λογισμικού σχεδίαση Η σχεδίαση του
Διαβάστε περισσότεραΕλληνικό Ανοικτό Πανεπιστήµιο. Η Υλοποίηση στην Ενοποιηµένη ιαδικασία. ρ. Πάνος Φιτσιλής
1 Ελληνικό Ανοικτό Πανεπιστήµιο Η Υλοποίηση στην Ενοποιηµένη ιαδικασία ρ. Πάνος Φιτσιλής Περιεχόµενα Πρωτοτυποποίηση Προγραµµατισµός υλοποίησης Ανάπτυξη συστήµατος Μοναδιαίος έλεγχος Ολοκλήρωση 2 3 Η υλοποίηση
Διαβάστε περισσότεραFORTRAN και Αντικειμενοστραφής Προγραμματισμός
FORTRAN και Αντικειμενοστραφής Προγραμματισμός Παραδόσεις Μαθήματος 2016 Δρ Γ Παπαλάμπρου Επίκουρος Καθηγητής ΕΜΠ georgepapalambrou@lmentuagr Εργαστήριο Ναυτικής Μηχανολογίας (Κτίριο Λ) Σχολή Ναυπηγών
Διαβάστε περισσότερα10α Έλεγχος και επαλήθευση λογισμικού
10α Έλεγχος και επαλήθευση λογισμικού Τεχνολογία Λογισμικού Σχολή Hλεκτρολόγων Mηχανικών & Mηχανικών Yπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Χειμερινό εξάμηνο 2017 18 Δρ. Κώστας Σαΐδης saiko@di.uoa.gr
Διαβάστε περισσότεραΕπαλήθευση μοντέλου. (model Verification) Προσομοίωση Βιομηχανικής Παραγωγής & Επιχειρήσεων
Επαλήθευση μοντέλου (model Verification) Προσομοίωση Βιομηχανικής Παραγωγής & Επιχειρήσεων ΚΕΦ. 5 Μοντελοποίηση Τυχαίοι Αριθμοί Διαγράμματα Επαλήθευση Ανάλυση Αποτελεσμάτων Επαλήθευση, Επικύρωση και Αξιοπιστία
Διαβάστε περισσότερα12 Έλεχος και επαλήθευση λογισμικού
12 Έλεχος και επαλήθευση λογισμικού Τεχνολογία Λογισμικού Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Εαρινό εξάμηνο 2016 17 Δρ. Κώστας Σαΐδης saiko@di.uoa.gr Πώς εξασφαλίζουμε ότι το λογισμικό είναι σύμφωνο
Διαβάστε περισσότεραΠολυπλοκότητα. Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης. Απαιτούμενοι πόροι, π.χ. μνήμη, εύρος ζώνης. Προσπάθεια υλοποίησης
Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης Απαιτούμενοι πόροι, π.χ. μνήμη, εύρος ζώνης Προσπάθεια υλοποίησης Παράμετροι της αποδοτικότητας ενός αλγόριθμου: Χρόνος εκτέλεσης Απαιτούμενοι
Διαβάστε περισσότεραΕκσφαλμάτωση προγράμματος
Εκσφαλμάτωση προγράμματος Α λ ε ξ ο ύ δ α Γ ε ω ρ γ ί α, Σ υ ν τ ο ν ί σ τ ρ ι α Ε κ π α ι δ ε υ τ ι κ ο ύ Έ ρ γ ο υ Π λ η ρ ο φ ο ρ ι κ ή ς Π Ε 8 6 Μ ω ρ ά κ η ς Δ ι ο ν ύ σ ι ο ς, Ε κ π α ι δ ε υ τ ι
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { Μ η Μ είναι μια ΤΜ η οποία διαγιγνώσκει το πρόβλημα ΙΣΟΔΥΝΑΜΙΑ ΤΜ (διαφάνεια 9 25)} (α) Γνωρίζουμε ότι το
Διαβάστε περισσότεραΥπολογιστικό Πρόβληµα
Υπολογιστικό Πρόβληµα Μετασχηµατισµός δεδοµένων εισόδου σε δεδοµένα εξόδου. Δοµή δεδοµένων εισόδου (έγκυρο στιγµιότυπο). Δοµή και ιδιότητες δεδοµένων εξόδου (απάντηση ή λύση). Τυπικά: διµελής σχέση στις
Διαβάστε περισσότεραΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ ΤΕΛΟΣ 1ΗΣ ΣΕΛΙΔΑΣ
ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ ΔΙΑΓΩΝΙΣΜΑ ΕΝΔΟΦΡΟΝΤΙΣΤΗΡΙΑΚΗΣ ΠΡΟΣΟΜΟΙΩΣΗΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΥΡΙΑΚΗ 21 ΔΕΚΕΜΒΡΙΟΥ 2008 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΕΧΝΟΛΟΓΙΚΗΣ
Διαβάστε περισσότεραΑνάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420)
Ανάπτυξη & Σχεδίαση Λογισμικού (ΗΥ420) Διάλεξη 8: Σχεδίαση Συστήματος Σχεδίαση Συστήματος 2 Διεργασία μετατροπής του προβλήματος σε λύση. Από το Τί στο Πώς. Σχέδιο: Λεπτομερής περιγραφή της λύσης. Λύση:
Διαβάστε περισσότερα1.1 Δραστηριότητα: Εισαγωγή στις άπειρες διαδικασίες
1.1 Δραστηριότητα: Εισαγωγή στις άπειρες διαδικασίες Θέμα της δραστηριότητας Η δραστηριότητα αυτή είναι μια εισαγωγή στις άπειρες διαδικασίες. Η εισαγωγή αυτή επιτυγχάνεται με την εφαρμογή της μεθόδου
Διαβάστε περισσότεραΠΕΡΙΕΧΟΜΕΝΑ. 1.1. Υλικό και Λογισμικό.. 1 1.2 Αρχιτεκτονική Υπολογιστών.. 3 1.3 Δομή, Οργάνωση και Λειτουργία Υπολογιστών 6
ΠΕΡΙΕΧΟΜΕΝΑ 1. Εισαγωγή στην Δομή, Οργάνωση, Λειτουργία και Αξιολόγηση Υπολογιστών 1.1. Υλικό και Λογισμικό.. 1 1.2 Αρχιτεκτονική Υπολογιστών.. 3 1.3 Δομή, Οργάνωση και Λειτουργία Υπολογιστών 6 1.3.1 Δομή
Διαβάστε περισσότεραΔΙΑΧΕΙΡΙΣΗ ΠΕΡΙΕΧΟΜΕΝΟΥ ΠΑΓΚΟΣΜΙΟΥ ΙΣΤΟΥ ΚΑΙ ΓΛΩΣΣΙΚΑ ΕΡΓΑΛΕΙΑ. Data Mining - Classification
ΔΙΑΧΕΙΡΙΣΗ ΠΕΡΙΕΧΟΜΕΝΟΥ ΠΑΓΚΟΣΜΙΟΥ ΙΣΤΟΥ ΚΑΙ ΓΛΩΣΣΙΚΑ ΕΡΓΑΛΕΙΑ Data Mining - Classification Data Mining Ανακάλυψη προτύπων σε μεγάλο όγκο δεδομένων. Σαν πεδίο περιλαμβάνει κλάσεις εργασιών: Anomaly Detection:
Διαβάστε περισσότεραΑρχιτεκτονική Λογισμικού
Αρχιτεκτονική Λογισμικού περιεχόμενα παρουσίασης Τι είναι η αρχιτεκτονική λογισμικού Αρχιτεκτονική και απαιτήσεις Σενάρια ποιότητας Βήματα αρχιτεκτονικής σχεδίασης Αρχιτεκτονικά πρότυπα Διαστρωματωμένη
Διαβάστε περισσότεραΕισαγωγή στον έλεγχο ορθής λειτουργίας ψηφιακών συστημάτων. Δημήτρης Νικολός, Τμήμα Μηχ. Ηλεκτρονικών Υπολογιστών και Πληροφορικής, Παν.
Εισαγωγή στον έλεγχο ορθής λειτουργίας ψηφιακών συστημάτων 1 Περίγραμμα παρουσίασης Ανάγκη για έλεγχο ορθής λειτουργίας Επιβεβαίωση σχεδιασμού έναντι επιβεβαίωσης ορθής λειτουργίας μετά την κατασκευή και
Διαβάστε περισσότεραΑυτοματισμοί και Συστήματα Αυτομάτου Ελέγχου. Ενότητα 2
Αυτοματισμοί και Συστήματα Αυτομάτου Ελέγχου Ενότητα 2 Τι είναι το PLC ΠΕΡΙΕΧΟΜΕΝΑ 2 Τι είναι το PLC. 2.1 Πλεονεκτήματα των PLC. 2.2 Η δομή ενός PLC. 2.3 Τα PLC της αγοράς. 2.4 Αρχή λειτουργίας ενός PLC.
Διαβάστε περισσότεραΔιάλεξη 17: Έλεγχος Λογισμικού
Τμήμα Πληροφορικής Πανεπιστήμιο Κύπρου ΕΠΛ132 Αρχές Προγραμματισμού II Διάλεξη 17: Έλεγχος Λογισμικού (Κεφάλαιο 24.1-24.2, KNK-2ED) Δημήτρης Ζεϊναλιπούρ http://www.cs.ucy.ac.cy/courses/epl132 17-1 Μεγάλης
Διαβάστε περισσότεραΣενάριο 17: Παιχνίδι μνήμης με εικόνες
Σενάριο 17: Παιχνίδι μνήμης με εικόνες Φύλλο Εργασίας Τίτλος: Παιχνίδι μνήμης με εικόνες Γνωστικό Αντικείμενο: Εφαρμογές Πληροφορικής-Υπολογιστών Διδακτική Ενότητα: Διερευνώ - Δημιουργώ Ανακαλύπτω, Συνθετικές
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του
Διαβάστε περισσότεραΈλεγχος Συστήματος. Επαλήθευση (verification) Έλεγχος και Εγκατάσταση Συστήματος. Επαλήθευση (verification)
Μάθημα 9 Έλεγχος και Εγκατάσταση Συστήματος Έλεγχος και Εγκατάσταση Συστήματος Έλεγχος Συστήματος Chapter 8 System Testing And Deployment Έλεγχος Συστήματος Επαλήθευση (verification) Επαλήθευση (verification)
Διαβάστε περισσότεραΑΕΠΠ Ερωτήσεις θεωρίας
ΑΕΠΠ Ερωτήσεις θεωρίας Κεφάλαιο 1 1. Τα δεδομένα μπορούν να παρέχουν πληροφορίες όταν υποβάλλονται σε 2. Το πρόβλημα μεγιστοποίησης των κερδών μιας επιχείρησης είναι πρόβλημα 3. Για την επίλυση ενός προβλήματος
Διαβάστε περισσότεραΤεχνολογία Λογισμικού
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα #4 : Ασκήσεις απαιτήσεων πρώτη σειρά Σταμέλος Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative
Διαβάστε περισσότεραΈλεγχος Συνένωσης και Διασφάλιση Ποιότητας
Έλεγχος Συνένωσης και Διασφάλιση Ποιότητας περιεχόμενα παρουσίασης Έλεγχος συνένωσης Συνένωση και οικοδόμηση Ημερήσια οικοδόμηση Συνεχής συνένωση Σχετικές επιδόσεις μεθόδων διασφάλισης ποιότητας Μετρικές
Διαβάστε περισσότεραΜεταγλωττιστές Βελτιστοποίηση
Βελτιστοποίηση (i) Μεταγλωττιστές Βελτιστοποίηση Νίκος Παπασπύρου nickie@softlab.ntua.gr Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχ. και Μηχ. Υπολογιστών Εργαστήριο Τεχνολογίας Λογισμικού Πολυτεχνειούπολη,
Διαβάστε περισσότεραΠρόβλημα 37 / σελίδα 207
Πρόβλημα 37 / σελίδα 207 2.5. Ôåóô áõôïáîéïëüãçóçò Δίνονται οι παρακάτω ομάδες προτάσεων. Σε κάθε μία από αυτές, να κάνετε τις απαραίτητες διορθώσεις ώστε να ισχύουν οι προτάσεις 1. Η αναπαράσταση
Διαβάστε περισσότεραΚωδικός: <Κωδ.Αρ.Εγγράφου/ΚωδικόΌνομαΈργου/Αρ. Έκδοσης> <Company Name> <Όνομα - Κωδικό Όνομα Έργου> Έγγραφο Περιγραφής Σχεδίου Λογισμικού
Ιστορικό Ημερομηνία Έκδοση Περιγραφή Συγγραφέας Σελ. 2 Πίνακας Περιεχομένων 1. Εισαγωγή xx
Διαβάστε περισσότεραΑναδρομή. Τι γνωρίζετε για τη δυνατότητα «κλήσης» αλγορίθμων; Τι νόημα έχει;
ΜΑΘΗΜΑ 7 Κλήση αλγορίθμου από αλγόριθμο Αναδρομή Σ χ ο λ ι κ ο Β ι β λ ι ο ΥΠΟΚΕΦΑΛΑΙΟ 2.2.7: ΕΝΤΟΛΕΣ ΚΑΙ ΔΟΜΕΣ ΑΛΓΟΡΙΘΜΟΥ ΠΑΡΑΓΡΑΦΟI 2.2.7.5: Κλήση αλγορίθμου από αλγόριθμο 2.2.7.6: Αναδρομή εισαγωγη
Διαβάστε περισσότεραΠαραλληλισμός σε επίπεδο εντολών
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Αρχιτεκτονική Υπολογιστών 2015-16 Παραλληλισμός σε επίπεδο εντολών (Pipelining και άλλες τεχνικές αύξησης απόδοσης) http://di.ionio.gr/~mistral/tp/comparch/ Μ.Στεφανιδάκης
Διαβάστε περισσότεραΠερι-γράφοντας... βρόχους
Όνομα(τα): Όνομα Η/Υ: Σ Τμήμα: Ημερομηνία: Περι-γράφοντας... βρόχους Ξεκινήστε το Χώρο Δραστηριοτήτων, επιλέξτε τη θεματική ενότητα: ΘΕ05: Επανάληψη και επιλέξτε την πρώτη δραστηριότητα (Περι-γράφοντας...
Διαβάστε περισσότερα3. Σελιδοποίηση μνήμης 4. Τμηματοποίηση χώρου διευθύνσεων
ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΥΠΟΛΟΓΙΣΤΩΝ MHXANIKOI Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΙΠΕ Ο ΜΗΧΑΝΗΣ ΛΕΙΤΟΥΡΓΙΚΟΥ ΣΥΣΤΗΜΑΤΟΣ Γ. Τσιατούχας 6 ο Κεφάλαιο 1. Επίπεδο OSM 2. Εικονική μνήμη ιάρθρωση 3. Σελιδοποίηση μνήμης 4. Τμηματοποίηση
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΠΡΟΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΜΑΘΗΜΑ: ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ ΔΙΑΔΙΚΑΣΙΕΣ ΠΑΡΑΓΩΓΗΣ ΛΟΓΙΣΜΙΚΟΥ Διδάσκων: Γ. Χαραλαμπίδης,
Διαβάστε περισσότεραΒ. ίνεται το παρακάτω τμήμα δηλώσεων ενός προγράμματος σε «ΓΛΩΣΣΑ»: ΜΕΤΑΒΛΗΤΕΣ ΑΚΕΡΑΙΕΣ: Χ, Ζ[15] ΠΡΑΓΜΑΤΙΚΕΣ: Ω
ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ ΘΕΜΑ 1ο ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΠΟΛΥΤΗΡΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΠΑΡΑΣΚΕΥΗ 10 ΙΟΥΛΙΟΥ 2009 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΕΧΝΟΛΟΓΙΚΗΣ
Διαβάστε περισσότεραΤεχνολογία Λογισμικού & Πνευματική Ιδιοκτησία. ΜΥΥ-106 Εισαγωγή στους Η/Υ και στην Πληροφορική
Τεχνολογία Λογισμικού & Πνευματική Ιδιοκτησία ΜΥΥ-106 Εισαγωγή στους Η/Υ και στην Πληροφορική Κύκλος ζωής λογισμικού source: Forouzan, Mosharraf Τροποποιήσεις διόρθωση σφαλμάτων, αλλαγή απαιτήσεων χρήστη,...
Διαβάστε περισσότερα7 η Θεµατική Ενότητα : Εισαγωγή στις Γλώσσες Περιγραφής Υλικού
7 η Θεµατική Ενότητα : Εισαγωγή στις Γλώσσες Περιγραφής Υλικού Εισαγωγή Η χειρονακτική σχεδίαση ενός ψηφιακού συστήµατος είναι εξαιρετικά δύσκολη και επιρρεπής σε λάθη Συστήµατα που ξεπερνούς τις µερικές
Διαβάστε περισσότεραΑΛΕΞΑΝΔΡΕΙΟ Τ.Ε.Ι. ΘΕΣΣΑΛΟΝΙΚΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. Πτυχιακή Εργασία CONTINUOUS INTEGRATION (ΣΥΝΕΧΗΣ ΕΝΣΩΜΑΤΩΣΗ)
ΑΛΕΞΑΝΔΡΕΙΟ Τ.Ε.Ι. ΘΕΣΣΑΛΟΝΙΚΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Πτυχιακή Εργασία CONTINUOUS INTEGRATION (ΣΥΝΕΧΗΣ ΕΝΣΩΜΑΤΩΣΗ) Του φοιτητή: Ρέντα Δημήτρη Επιβλέπων Καθηγητής: Ψαρράς Νικόλαος
Διαβάστε περισσότεραΜάθημα 3- Εργαλεία ποιότητας-ασκήσεις-ερωτήσεις
E D A 5 C 3 4 B 2 Μάθημα 3- Εργαλεία ποιότητας-ασκήσεις-ερωτήσεις Επτά+ βασικά εργαλεία ποιότητας (χρησιμοποιούνται για βελτίωση μιας διεργασίας-διαδικασίας) Εργαλείο Τι κάνει Σχήμα Ανάλυση Παρέτο- Pareto
Διαβάστε περισσότεραΜεταγλωττιστές Βελτιστοποίηση
Μεταγλωττιστές Βελτιστοποίηση Νίκος Παπασπύρου nickie@softlab.ntua.gr Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχ. και Μηχ. Υπολογιστών Εργαστήριο Τεχνολογίας Λογισμικού Πολυτεχνειούπολη, 15780
Διαβάστε περισσότεραΜάθημα 5: To Μοντέλο Αναφοράς O.S.I.
Μάθημα 5: To Μοντέλο Αναφοράς O.S.I. 5.1 Γενικά Τα πρώτα δίκτυα χαρακτηρίζονταν από την «κλειστή» αρχιτεκτονική τους με την έννοια ότι αυτή ήταν γνωστή μόνο στην εταιρία που την είχε σχεδιάσει. Με τον
Διαβάστε περισσότερα«Σχεδιασμός Ψηφιακών Συστημάτων σε FPGA» Εαρινό εξάμηνο
ΤΕΙ Δυτικής Ελλάδας Τμήμα Μηχανικών Πληροφορικής ΤΕ Εργαστήριο Σχεδίασης Ψηφιακών Ολοκληρωμένων Κυκλωμάτων και Συστημάτων «Σχεδιασμός Ψηφιακών Συστημάτων σε FPGA» Εαρινό εξάμηνο 2016-2017 Διάλεξη 1 η :
Διαβάστε περισσότεραΟρισμός Ευκαιρίας. 2.Διαδικασία Αναγνώρισης Ευκαιρίας
11 Ορισμός Ευκαιρίας Είναι μια ανεπεξέργαστη αντιστοιχία μεταξύ μιας ανάγκης και μιας πιθανής λύσης. Κάποιες ευκαιρίες γίνονται τελικά νέα προϊόντα ενώ άλλες δεν εκτιμώνται για περαιτέρω ανάπτυξη Μία ιδέα
Διαβάστε περισσότεραΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΜΗΜΑ: Γ2
ΑΡΧΗ 1ης ΣΕΛΙ ΑΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΜΗΜΑ: Γ2 ΔΙΑΓΩΝΙΣΜΑ ΠΕΡΙΟΔΟΥ : ΙΑΝΟΥΑΡΙΟΥ ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ : 7
Διαβάστε περισσότεραΚαταστάσεων. Καταστάσεων
8 η Θεµατική Ενότητα : Εισαγωγή Ησχεδίαση ενός ψηφιακού συστήµατος µπορεί να διαιρεθεί σε δύο µέρη: τα κυκλώµατα επεξεργασίας δεδοµένων και τα κυκλώµατα ελέγχου. Το κύκλωµα ελέγχου δηµιουργεί σήµατα για
Διαβάστε περισσότεραΣΧΗΜΑΤΑ-ΓΡΑΜΜΕΣ-ΜΕΤΡΗΣΗ Μιχάλης Χριστοφορίδης Ανδρέας Σάββα Σύμβουλοι Μαθηματικών
ΕΦΑΡΜΟΓΙΔΙΟ: Σχήματα-Γραμμές-Μέτρηση Είναι ένα εργαλείο που μας βοηθά στην κατασκευή και μέτρηση σχημάτων, γωνιών και γραμμών. Μας παρέχει ένα χάρακα, μοιρογνωμόνιο και υπολογιστική μηχανή για να μας βοηθάει
Διαβάστε περισσότεραΚεφάλαιο 8. NP και Υπολογιστική Δυσεπιλυσιµότητα. Χρησιµοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.
Κεφάλαιο 8 NP και Υπολογιστική Δυσεπιλυσιµότητα Χρησιµοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne. 1 πρόβληµα αναζήτησης (search problem) Ένα πρόβληµα αναζήτησης είναι ένα πρόβληµα στο
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΘεωρία Παιγνίων Δρ. Τασσόπουλος Ιωάννης
Θεωρία Παιγνίων Δρ. Τασσόπουλος Ιωάννης 2 η Διάλεξη Παίγνια ελλιπούς πληροφόρησης Πληροφοριακά σύνολα Κανονική μορφή παιγνίου Ισοδύναμες στρατηγικές Παίγνια συνεργασίας και μη συνεργασίας Πεπερασμένα και
Διαβάστε περισσότεραΚεντρική Μονάδα Επεξεργασίας. Επανάληψη: Απόδοση ΚΜΕ. ΚΜΕ ενός κύκλου (single-cycle) Παραλληλισμός σε επίπεδο εντολών. Υπολογιστικό σύστημα
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Αρχιτεκτονική Υπολογιστών 2016-17 Παραλληλισμός σε επίπεδο εντολών (Pipelining και άλλες τεχνικές αύξησης απόδοσης) http://mixstef.github.io/courses/comparch/ Μ.Στεφανιδάκης
Διαβάστε περισσότεραΕργαστήριο Εισαγωγής στη Σχεδίαση Συστημάτων VLSI
Ε.Μ.Π. - ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΤΕΧΝΟΛΟΓΙΑΣ ΥΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΡΓΑΣΤΗΡΙΟ ΜΙΚΡΟΫΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΧΕΔΙΑΣΗ ΣΥΣΤΗΜΑΤΩΝ VLSI
Διαβάστε περισσότεραραστηριότητες στο Επίπεδο 1.
ραστηριότητες στο Επίπεδο 1. Στο επίπεδο 0, στις πρώτες τάξεις του δηµοτικού σχολείου, όπου στόχος είναι η οµαδοποίηση των γεωµετρικών σχηµάτων σε οµάδες µε κοινά χαρακτηριστικά στη µορφή τους, είδαµε
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση χωρίς την παρουσία σφαλμάτων Κατανεμημένα Συστήματα Ι 4η Διάλεξη 27 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 4η Διάλεξη 1 Συναίνεση χωρίς την παρουσία σφαλμάτων Προηγούμενη
Διαβάστε περισσότερα<<ΔΗΜΗΤΡΗΣ ΜΑΝΩΛΗΣ ΦΥΣΙΚΟΣ ΜCs>> 1
ΚΕΦΑΛΑΙΟ 7 ο ΠΡΟΓΡΑΜΜΑ : Το πρόγραμμα αποτελείται από μια σειρά οδηγιών, που ονομάζονται εντολές, για την εκτέλεση τέτοιου είδους πράξεων, καθώς επίσης και από ένα σύνολο πρόσθετων οδηγιών ελέγχου, που
Διαβάστε περισσότεραΣχεδίαση Γλωσσών Προγραμματισμού. Εαρινό Εξάμηνο Lec03 18/02/2019
Σχεδίαση Γλωσσών Προγραμματισμού Εαρινό Εξάμηνο 2018-2019 Lec03 18/02/2019 Γλώσσες με δομή Block Γλώσσες με δομή Block Απλό μοντέλο Μηχανής Εκτέλεσης Διαχείριση Μνήμης Εμβέλεια και διάρκεια ζωής Εμβέλεια
Διαβάστε περισσότεραΤεχνολογία Λογισμικού & Ανάλυση Συστημάτων
Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων Τεχνολογία Λογισμικού & Ανάλυση Συστημάτων 10/10/2016 Δρ. Ανδριάνα Πρέντζα Αναπληρώτρια Καθηγήτρια aprentza@unipi.gr Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων
Διαβάστε περισσότεραΘΕΜΑ 1ο. Μονάδες 10. Β. ίνεται το παρακάτω τμήμα αλγορίθμου: Όσο Ι < 10 επανάλαβε Εμφάνισε Ι Ι Ι + 3 Τέλος_επανάληψης ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ
ΘΕΜΑ 1ο ΑΡΧΗ 1ΗΣ ΣΕΛΙ ΑΣ ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΠΟΛΥΤΗΡΙΕΣ ΕΞΕΤΑΣΕΙΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΤΕΤΑΡΤΗ 4 ΙΟΥΛΙΟΥ 2007 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ
Διαβάστε περισσότεραΣΥΝΕΚΤΙΚΟΤΗΤΑ ΓΡΑΦΗΜΑΤΩΝ
Συνεκτικότητα Γραφημάτων 123 ΚΕΦΑΛΑΙΟ 4 ΣΥΝΕΚΤΙΚΟΤΗΤΑ ΓΡΑΦΗΜΑΤΩΝ 4.1 Τοπική και Ολική Συνεκτικότητα Γραφημάτων 4.2 Συνεκτικότητα Μη-κατευθυνόμενων Γραφημάτων 4.3 Συνεκτικότητα Κατευθυνόμενων Γραφημάτων
Διαβάστε περισσότεραΠεριεχόμενα. 2 Αριθμητικά συστήματα
Περιεχόμενα Πρόλογος 1 Εισαγωγή 1.1 Το μοντέλο Turing 1.2 Το μοντέλο von Neumann 1.3 Συστατικά στοιχεία υπολογιστών 1.4 Ιστορικό 1.5 Κοινωνικά και ηθικά ζητήματα 1.6 Η επιστήμη των υπολογιστών ως επαγγελματικός
Διαβάστε περισσότεραΑτομική Διπλωματική Εργασία ΑΥΤΟΜΑΤΟΠΟΙΗΣΗ ΕΛΕΓΧΟΥ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΤΗΝ ΧΡΗΣΗ ΓΡΑΦΟΥ ΡΟΗΣ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΓΕΝΕΤΙΚΩΝ ΑΛΓΟΡΙΘΜΩΝ ΚΡΟΚΟΥ ΑΝΤΡΙΑ
Ατομική Διπλωματική Εργασία ΑΥΤΟΜΑΤΟΠΟΙΗΣΗ ΕΛΕΓΧΟΥ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΤΗΝ ΧΡΗΣΗ ΓΡΑΦΟΥ ΡΟΗΣ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΓΕΝΕΤΙΚΩΝ ΑΛΓΟΡΙΘΜΩΝ ΚΡΟΚΟΥ ΑΝΤΡΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Μάιος 2008 ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ
Διαβάστε περισσότεραΔιαδικασίες παραγωγής λογισμικού. Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση
Διαδικασίες παραγωγής λογισμικού Περιεχόμενα Παρουσίαση μοντέλων διεργασίας ανάπτυξης λογισμικού Περιγραφή τριών γενικών μοντέλων διεργασίας ανάπτυξης λογισμικού Γενική περιγραφή των διαδικασιών που περιλαμβάνονται
Διαβάστε περισσότεραΕίδη τριγώνων ως προς τις πλευρές
ΜΑΘΗΜΑΤΙΚΑ Ε ΔΗΜΟΤΙΚΟΥ ΤΕΤΡΑΔΙΟ ΕΡΓΑΣΙΩΝ 41 Είδη τριγώνων ως προς τις πλευρές Ενότητα 5 β τεύχος Είδη τριγώνων ως προς τις πλευρές 41 1η Άσκηση Να αντιστοιχίσεις: Το σκαληνό τρίγωνο έχει Το ισοσκελές τρίγωνο
Διαβάστε περισσότεραΙδιοκτησία Αντικειµένου
Software Transactional Memory H STM υποστηρίζει την εκτέλεση δοσοληψιών από τις διεργασίες, οι οποίες περιέχουν λειτουργίες που ο χρήστης θέλει να εκτελέσει στα διαµοιραζόµενα αντικείµενα. H STM εγγυάται
Διαβάστε περισσότερα2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ
ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΑΛΓΟΡΙΘΜΩΝ και ΔΟΜΗ ΑΚΟΛΟΥΘΙΑΣ 2.1 Να δοθεί ο ορισμός
Διαβάστε περισσότεραΈγγραφο Προδιαγραφών Απαιτήσεων Λογισμικού για το παιχνίδι: Asylum : The Escape
Έγγραφο Προδιαγραφών Απαιτήσεων Λογισμικού για το παιχνίδι: Asylum : The Escape Επιμέλεια: Γκέκα Ασπασία Ιωάννου Ελένη Κούνουπα Άννα Τμήμα Εφαρμογών Πληροφορικής Α 1 Εξάμηνο Δ.ΙΕΚ Αιγάλεω 1 ΠΕΡΙΕΧΟΜΕΝΑ
Διαβάστε περισσότεραΔιαχρονικές δομές δεδομένων
Διαχρονικές δομές δεδομένων Μια τυπική δομή δεδομένων μεταβάλλεται με πράξεις εισαγωγής ή διαγραφής Π.χ. κοκκινόμαυρο δένδρο εισαγωγή 0 18 0 5 39 73 1 46 6 80 Αποκατάσταση ισορροπίας 5 39 73 0 46 6 80
Διαβάστε περισσότεραΛειτουργικά Συστήματα (διαχείριση επεξεργαστή, μνήμης και Ε/Ε)
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Εισαγωγή στην Επιστήμη των Υπολογιστών 2015-16 Λειτουργικά Συστήματα (διαχείριση επεξεργαστή, και Ε/Ε) http://di.ionio.gr/~mistral/tp/csintro/ Μ.Στεφανιδάκης Τι είναι
Διαβάστε περισσότεραΤι είναι ένα λειτουργικό σύστημα (ΛΣ); Μια άλλη απεικόνιση. Το Λειτουργικό Σύστημα ως μέρος του υπολογιστή
Ιόνιο Πανεπιστήμιο Τμήμα Πληροφορικής Εισαγωγή στην Επιστήμη των Υπολογιστών 2014-15 Λειτουργικά Συστήματα (διαχείριση επεξεργαστή, και Ε/Ε) http://di.ionio.gr/~mistral/tp/csintro/ Μ.Στεφανιδάκης Τι είναι
Διαβάστε περισσότεραΚεφάλαιο 3. Διδακτικοί Στόχοι
Κεφάλαιο 3 Σε ένα υπολογιστικό σύστημα η Κεντρική Μονάδα Επεξεργασίας (ΚΜΕ) εκτελεί τις εντολές που βρίσκονται στην κύρια μνήμη του. Οι εντολές αυτές ανήκουν σε προγράμματα τα οποία, όταν εκτελούνται,
Διαβάστε περισσότεραΤμήμα Οικιακής Οικονομίας και Οικολογίας. Οργάνωση Υπολογιστών
Οργάνωση Υπολογιστών Υπολογιστικό Σύστημα Λειτουργικό Σύστημα Αποτελεί τη διασύνδεση μεταξύ του υλικού ενός υπολογιστή και του χρήστη (προγραμμάτων ή ανθρώπων). Είναι ένα πρόγραμμα (ή ένα σύνολο προγραμμάτων)
Διαβάστε περισσότεραΘέματα Μεταγλωττιστών
Γιώργος Δημητρίου Ενότητα 9 η : Θέματα Δρομολόγησης Εντολών ILP Παραλληλισμός επιπέδου εντολής Εξαρτήσεις δεδομένων Εξαρτήσεις ελέγχου (διαδικασιακές) Με διαθέσιμους πόρους, οι εντολές μπορούν να εκτελεστούν
Διαβάστε περισσότεραΥπερπροσαρμογή (Overfitting) (1)
Αλγόριθμος C4.5 Αποφυγή υπερπροσαρμογής (overfitting) Reduced error pruning Rule post-pruning Χειρισμός χαρακτηριστικών συνεχών τιμών Επιλογή κατάλληλης μετρικής για την επιλογή των χαρακτηριστικών διάσπασης
Διαβάστε περισσότερα8 Τεχνικός Εφαρμογών Πληροφορικής με Πολυμέσα
Περιεχόμενα Πρόλογος... 9 Κεφάλαιο 1: Δομή και λειτουργία του υπολογιστή... 11 Κεφάλαιο 2: Χρήση Λ.Σ. DOS και Windows... 19 Κεφάλαιο 3: Δίκτυα Υπολογιστών και Επικοινωνίας... 27 Κεφάλαιο 4: Unix... 37
Διαβάστε περισσότεραΣΕΧΝΟΛΟΓΙΑ ΛΟΓΙΜΙΚΟΤ ΔΕΤΣΕΡΗ ΔΙΑΛΕΞΗ ΔΙΑΔΙΚΑΙΑ ΠΑΡΑΓΩΓΗ ΛΟΓΙΜΙΚΟΤ
ΣΕΧΝΟΛΟΓΙΑ ΛΟΓΙΜΙΚΟΤ ΔΕΤΣΕΡΗ ΔΙΑΛΕΞΗ ΔΙΑΔΙΚΑΙΑ ΠΑΡΑΓΩΓΗ ΛΟΓΙΜΙΚΟΤ ΠΕΡΙΕΦΟΜΕΝΑ Δομικά τοιχεία Λογισμικού Διαδικασία Παραγωγής Λογισμικού Αυτοματοποίηση Διαδικασιών Παραγωγής Λογισμικού Θεμελιώδεις Δραστηριότητες
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Θεωρείστε τις γλώσσες Α = { n n } και Β = {w η w είναι λέξη επί του αλφαβήτου {,} τ.ώ. w }. (α) Για κάθε μια από τις πιο κάτω γλώσσες
Διαβάστε περισσότεραΔιδακτική της Πληροφορικής ΙΙ
Διδακτική της Πληροφορικής ΙΙ Ομάδα Γ Βότσης Ευστάθιος Γιαζιτσής Παντελής Σπαής Αλέξανδρος Τάτσης Γεώργιος Προβλήματα που αντιμετωπίζουν οι αρχάριοι προγραμματιστές Εισαγωγή Προβλήματα Δυσκολίες Διδακτικό
Διαβάστε περισσότεραΕισαγωγικές Έννοιες. ημήτρης Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Εθνικό Μετσόβιο Πολυτεχνείο
Εισαγωγικές Έννοιες ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Άδεια Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Συναίνεση και Σφάλματα Διεργασιών Παναγιώτα Παναγοπούλου Περίληψη Συναίνεση με σφάλματα διεργασιών Το πρόβλημα Ο αλγόριθμος FloodSet Επικύρωση δοσοληψιών Ορισμός του προβλήματος
Διαβάστε περισσότεραΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ ΟΝΟΜΑΤΕΠΩΝΥΜΟ:
ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΑΝΑΛΗΠΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ ΟΝΟΜΑΤΕΠΩΝΥΜΟ: Θέμα 1ο I. Δίνεται το παρακάτω τμήμα αλγορίθμου. Να εξετάσετε αν ικανοποιεί τα αλγοριθμικά κριτήρια. Γράψε 'Δώσε
Διαβάστε περισσότεραΣημειογραφία των προτύπων BPMN και UML (Activity Diagrams)
ΚΟΙΝΩΝΙΑ ΤΗΣ ΠΛΗΡΟΦΟΡΙΑΣ Α.Ε. «Ελληνικό Πλαίσιο Παροχής Υπηρεσιών» Πρόσθετο Υλικό (White Paper) Σημειογραφία των προτύπων BPMN και UML (Activity Φεβρουάριος 2008 PLANET ΑΝΩΝΥΜΗ ΕΤΑΙΡΕΙΑ ΠΑΡΟΧΗΣ ΣΥΜΒΟΥΛΕΥΤΙΚΩΝ
Διαβάστε περισσότεραΔομές Δεδομένων. Ενότητα 1 - Εισαγωγή. Χρήστος Γκουμόπουλος. Πανεπιστήμιο Αιγαίου Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων
Δομές Δεδομένων Ενότητα 1 - Εισαγωγή Χρήστος Γκουμόπουλος Πανεπιστήμιο Αιγαίου Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Αντικείμενο μαθήματος Δομές Δεδομένων (ΔΔ): Στην επιστήμη υπολογιστών
Διαβάστε περισσότεραΕλίνα Μακρή
Ελίνα Μακρή elmak@unipi.gr Μετατροπή Αριθμητικών Συστημάτων Πράξεις στα Αριθμητικά Συστήματα Σχεδίαση Ψηφιακών Κυκλωμάτων με Logism Άλγεβρα Boole Λογικές Πύλες (AND, OR, NOT, NAND, XOR) Flip Flops (D,
Διαβάστε περισσότερα