2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης1 ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ Έλεγχος Συστήματος Μανόλης Γιακουμάκης.

Παρουσίαση με θέμα: "2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης1 ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ Έλεγχος Συστήματος Μανόλης Γιακουμάκης."— Μεταγράφημα παρουσίασης:

1 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης1 ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ Έλεγχος Συστήματος Μανόλης Γιακουμάκης αναπληρωτής καθηγητής ΟΠΑ

2 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης2 Σημερινή παρουσίαση (1/3) Στάδια στον έλεγχο συστήματος –Αντικείμενα των σταδίων ελέγχου –Έλεγχος λειτουργίας –Έλεγχος εκτέλεσης –Έλεγχος αποδοχής –Έλεγχος εγκατάστασης Ποιότητα συστήματος λογισμικού –Αξιοπιστία, διαθεσιμότητα και συντηρησιμότητα –Αξιοπιστία λογισμικού

3 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης3 Σημερινή παρουσίαση (2/3) Ομάδα ελέγχου –Επαγγελματίες ελεγκτές –Αναλυτές –Σχεδιαστές –Ειδικοί διαχείρισης διάταξης –Χρήστες Εργαλεία ελέγχου Πλάνο ελέγχου –Σκοπός του πλάνου ελέγχου –Περιεχόμενο του πλάνου ελέγχου

4 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης4 Σημερινή παρουσίαση (3/3) Πρότυπο τεκμηρίωσης ελέγχου IEEE Std 829-1998 –Πλάνο ελέγχου –Προδιαγραφή σχεδίου ελέγχου –Προδιαγραφή δοκιμασίας ελέγχου –Προδιαγραφή διαδικασίας ελέγχου –Έκθεση διαβίβασης στοιχείων ελέγχου –Ημερολόγιο ελέγχου –Έκθεση περιστατικών ελέγχου –Συνοπτική αναφορά ελέγχου

5 Εμφάνιση σφαλμάτων 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης5

6 Στάδια στον έλεγχο συστήματος 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης6 Ο έλεγχος συστήματος είναι έλεγχος κλειστού κουτιού

7 Γραφήματα αιτίου και αποτελέσματος 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης7

8 Γραφήματα αιτίου και αποτελέσματος Παράδειγμα 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης8

9 Πίνακας απόφασης για το γράφημα αιτίου-αποτελέσματος 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης9 Έλεγχοι 12345 1TTTFX 2TTTXF Αίτια3TFFXX 4FTFXX 5FFTXX Ε1Ε1 YYNNN ΑποτελέσματαΕ2Ε2 NNYNN Ε3Ε3 NNNYY

10 Έλεγχος εκτέλεσης έλεγχοι πίεσης (stress test) έλεγχοι χωρητικότητας (volume tests) έλεγχοι διάταξης (configuration tests) έλεγχοι συμβατότητας (compatibility tests) έλεγχοι παλινδρόμησης (regression tests) έλεγχοι ασφάλειας (security tests) έλεγχοι χρονισμού (timing tests) περιβαλλοντικοί έλεγχοι (environmental tests) έλεγχοι ποιότητας (quality tests) 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης10

11 Έλεγχος εκτέλεσης έλεγχοι ανάκαμψης (recovery tests) έλεγχοι συντήρησης (maintenance tests) έλεγχοι τεκμηρίωσης (documentation tests) έλεγχοι ανθρώπινων παραγόντων (human factors tests) 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης11

12 Έλεγχος αποδοχής benchmark test πιλοτικός έλεγχος (pilot test) alpha test beta test παράλληλος έλεγχος (parallel test) 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης12

13 Ποιότητα συστήματος λογισμικού η αξιοπιστία R ενός συστήματος είναι: R = MXMB / (1 + MXMB) διαθεσιμότητα Α ενός συστήματος σχετίζεται με τα ΜΧΜΒ και ΜΧΕΣ ως εξής: A = MXMB / (MXMB + ΜΧΕΣ) M = 1 / (1 + MXEΣ) όπου Μ η συντηρησιμότητα 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης13

14 Εκτίμηση του αριθμού των σφαλμάτων 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης14

15 Εκτίμηση του αριθμού των σφαλμάτων (Επισημανθέντα διεσπαρμένα σφάλματα) * (Σύνολο μη-διεσπαρμένων σφαλμάτων) = (Επισημανθέντα μη-διεσπαρμένα σφάλματα) * (Σύνολο διεσπαρμένων σφαλμάτων) 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης15

16 Πρότυπο τεκμηρίωσης ελέγχου IEEE Std 829-1998 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης16

17 Πλάνο ελέγχου Αναγνωριστικό (ταυτότητα) του πλάνου Εισαγωγή Στοιχεία ελέγχου Χαρακτηριστικά που θα ελεγχθούν Χαρακτηριστικά που δε θα ελεγχθούν Μέθοδος Κριτήρια επιτυχίας / αποτυχίας Κριτήρια αναστολής και απαιτήσεις επανάληψης Παραδοτέα ελέγχου Εργασίες ελέγχου Ανάγκες περιβάλλοντος 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης17

18 Πλάνο ελέγχου Αρμοδιότητες Ανάγκες στελέχωσης και κατάρτισης Χρονοδιάγραμμα Κίνδυνοι και απρόοπτα Εγκρίσεις 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης18

19 Προδιαγραφή σχεδίου ελέγχου Αναγνωριστικό (ταυτότητα) της προδιαγραφής σχεδίου ελέγχου Χαρακτηριστικά που θα ελεγχθούν Λεπτομέρειες της μεθόδου Προδιαγραφές δοκιμασιών και διαδικασιών Κριτήρια επιτυχίας/αποτυχίας χαρακτηριστικών 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης19

20 Προδιαγραφή δοκιμασίας ελέγχου Αναγνωριστικό (ταυτότητα) προδιαγραφής δοκιμασίας Στοιχεία ελέγχου Προδιαγραφές εισόδου Προδιαγραφές εξόδου Ανάγκες περιβάλλοντος Ειδικές διαδικαστικές απαιτήσεις Εξαρτήσεις δοκιμασιών 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης20

21 Προδιαγραφή διαδικασίας ελέγχου Αναγνωριστικό (ταυτότητα) προδιαγραφής διαδικασίας ελέγχου Σκοπός Ειδικές απαιτήσεις Βήματα διαδικασίας 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης21

22 Έκθεση διαβίβασης στοιχείων ελέγχου Αναγνωριστικό (ταυτότητα) έκθεσης διαβίβασης στοιχείων ελέγχου Διαβιβαζόμενα στοιχεία Τοποθεσία Κατάσταση Εγκρίσεις 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης22

23 Ημερολόγιο ελέγχου Αναγνωριστικό (ταυτότητα) ημερολογίου ελέγχου Περιγραφή Καταχωρίσεις ενεργειών και γεγονότων 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης23

24 Έκθεση περιστατικών ελέγχου Αναγνωριστικό (ταυτότητα) έκθεσης περιστατικών ελέγχου Σύνοψη Περιγραφή των περιστατικών Επιδράσεις 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης24

25 Συνοπτική αναφορά ελέγχου Αναγνωριστικό (ταυτότητα) συνοπτικής αναφοράς ελέγχου Σύνοψη Αποκλίσεις Εκτίμηση περιεκτικότητας Σύνοψη αποτελεσμάτων Αξιολόγηση Σύνοψη δραστηριοτήτων Εγκρίσεις 2009ΟΠΑ -Τεχνολογία Λογισμικού – Εμμ. Γιακουμάκης25