Τεχνικές Ελέγχου Προγραμματων

ΠΕΡΙΕΧΟΜΕΝΑ ......Page 8
Εισαγωγή ......Page 10
1.1 Ο Κύκλος Ζωής ενός Λογισμικού ......Page 13
1.2 II Φάση Ελέγχου στον Κύκλο Ζωής ......Page 23
ΙΙ.1 Εισαγωγή ......Page 28
ΙΙ.2.1 Διαμεριστική ανάλυση ......Page 34
ΙΙ.2.2 Ανάλυση λειτουργιών ......Page 36
ΙΙ.2.3 Οριακή ανάλυση ......Page 37
ΙΙ.2.4 Ανάλυση συσχετίσεων αιτιών ......Page 39
ΙΙ.2.5 Έλεγχος βασιζόμενος στη σύνταξη ......Page 41
ΙΙ.2.6 Μοντέλα Αξιοπιστίας ......Page 46
ΙΙ.2.7 Τυχαίος και Προσαρμοστικός έλεγχος ......Page 65
ΙΙ.3.1 Στοιχεία θεωρίας γράφων ......Page 67
ΙΙ.3.2 Στατική ανάλυση ......Page 79
ΙΙ.3.2.1 Ποιοτική ανάλυση του κώδικα ......Page 80
ΙΙ.3.2.2  Υπολογισμός της πολυπλοκότητας ......Page 83
ΙΙ.3.2.3  Συμβολική εκτέλεση ......Page 89
ΙΙ.3.2.4  Ανάλυση ροής δεδομένων ......Page 93
ΙΙ.3.3.1  Προσεγγίσεις βασιζόμενες στην έννοια της κάλυψης ......Page 100
ΙΙ.3.3.2  Λειτουργική ανάλυση ......Page 121
ΙΙ.3.3.3  Ανάλυση μεταλλάξεων ......Page 126
ΙΙ.3.3.4  Θεωρία της αντοχής στα σφάλματα ......Page 131
III. 1 Αναλυτές προδιαγραφών ......Page 136
ΙΙΙ.2 Εργαλεία ανάλυσης και εργαλειοποίησης του κώδικα ......Page 137
ΙΙΙ.3 Εργαλεία αυτόματης εκτέλεσης ΔΕ ......Page 142
IV. 1 Στρατηγικές εντοπισμού και διόρθωσης: debugging ......Page 143
IV.2 Στρατηγικές ελέγχου ενοποίησης ......Page 153
IV.3 Στρατηγικές γενικής διαχείρισης της φάσης ελέγχου ......Page 160
ΠΑΡΑΡΤΗΜΑ ......Page 164
1) Οδηγίες χρήσης ......Page 165
2) Ερμηνεία των Μηνυμάτων ......Page 166
3) Περιορισμοί ......Page 170
Βιβλιογραφία ......Page 173