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

ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ

Έλεγχος Συστήματος

Μανόλης Γιακουμάκηςαναπληρωτής καθηγητής ΟΠΑ

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

Σημερινή παρουσίαση (1/3)• Στάδια στον έλεγχο συστήματος

– Αντικείμενα των σταδίων ελέγχου– Έλεγχος λειτουργίας– Έλεγχος εκτέλεσης– Έλεγχος αποδοχής– Έλεγχος εγκατάστασης

• Ποιότητα συστήματος λογισμικού– Αξιοπιστία, διαθεσιμότητα και συντηρησιμότητα– Αξιοπιστία λογισμικού

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

Σημερινή παρουσίαση (2/3)• Ομάδα ελέγχου

– Επαγγελματίες ελεγκτές– Αναλυτές– Σχεδιαστές– Ειδικοί διαχείρισης διάταξης– Χρήστες

• Εργαλεία ελέγχου• Πλάνο ελέγχου

– Σκοπός του πλάνου ελέγχου– Περιεχόμενο του πλάνου ελέγχου

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

Σημερινή παρουσίαση (3/3)

• Πρότυπο τεκμηρίωσης ελέγχου IEEE Std 829-1998– Πλάνο ελέγχου– Προδιαγραφή σχεδίου ελέγχου– Προδιαγραφή δοκιμασίας ελέγχου– Προδιαγραφή διαδικασίας ελέγχου– Έκθεση διαβίβασης στοιχείων ελέγχου– Ημερολόγιο ελέγχου– Έκθεση περιστατικών ελέγχου– Συνοπτική αναφορά ελέγχου

Εμφάνιση σφαλμάτων

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

Στάδια στον έλεγχο συστήματος

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

Ο έλεγχος συστήματος είναι έλεγχοςκλειστού κουτιού

Γραφήματα αιτίου και αποτελέσματος

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

Γραφήματα αιτίου και αποτελέσματοςΠαράδειγμα

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

Πίνακας απόφασης για το γράφημα αιτίου-αποτελέσματος

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

Έλεγχοι

1 2 3 4 5

1 T T T F X

2 T T T X F

Αίτια 3 T F F X X

4 F T F X X

5 F F T X X

Ε1 Y Y N N N

Αποτελέσματα Ε2 N N Y N N

Ε3 N N N Y Y

Έλεγχος εκτέλεσης• έλεγχοι πίεσης (stress test)• έλεγχοι χωρητικότητας (volume tests)• έλεγχοι διάταξης (configuration tests)• έλεγχοι συμβατότητας (compatibility tests)• έλεγχοι παλινδρόμησης (regression tests)• έλεγχοι ασφάλειας (security tests)• έλεγχοι χρονισμού (timing tests)• περιβαλλοντικοί έλεγχοι (environmental tests)• έλεγχοι ποιότητας (quality tests)

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

Έλεγχος εκτέλεσης

• έλεγχοι ανάκαμψης (recovery tests)• έλεγχοι συντήρησης (maintenance tests) • έλεγχοι τεκμηρίωσης (documentation tests)• έλεγχοι ανθρώπινων παραγόντων (human factors tests)

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

Έλεγχος αποδοχής

• benchmark test

• πιλοτικός έλεγχος (pilot test)

• alpha test

• beta test

• παράλληλος έλεγχος (parallel test)

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

Ποιότητα συστήματος λογισμικού

• η αξιοπιστία R ενός συστήματος είναι:R = MXMB / (1 + MXMB)

• διαθεσιμότητα Α ενός συστήματος σχετίζεται με τα ΜΧΜΒ και ΜΧΕΣ ως εξής:A = MXMB / (MXMB + ΜΧΕΣ)

• M = 1 / (1 + MXEΣ)όπου Μ η συντηρησιμότητα

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

Εκτίμηση του αριθμού των σφαλμάτων

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

Εκτίμηση του αριθμού των σφαλμάτων

• (Επισημανθέντα διεσπαρμένα σφάλματα) * (Σύνολο μη-διεσπαρμένων σφαλμάτων) = (Επισημανθέντα μη-διεσπαρμένα σφάλματα) * (Σύνολο διεσπαρμένων σφαλμάτων)

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

Πρότυπο τεκμηρίωσης ελέγχουIEEE Std 829-1998

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

Πλάνο ελέγχου

Αναγνωριστικό (ταυτότητα) του πλάνου Εισαγωγή

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

Πλάνο ελέγχου

• • Αρμοδιότητες• • Ανάγκες στελέχωσης και κατάρτισης• • Χρονοδιάγραμμα• • Κίνδυνοι και απρόοπτα• • Εγκρίσεις

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

Προδιαγραφή σχεδίου ελέγχου

• • Αναγνωριστικό (ταυτότητα) της προδιαγραφής σχεδίου ελέγχου

• • Χαρακτηριστικά που θα ελεγχθούν• • Λεπτομέρειες της μεθόδου• • Προδιαγραφές δοκιμασιών και διαδικασιών• • Κριτήρια επιτυχίας/αποτυχίας χαρακτηριστικών

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

Προδιαγραφή δοκιμασίας ελέγχου

• • Αναγνωριστικό (ταυτότητα) προδιαγραφής δοκιμασίας• • Στοιχεία ελέγχου• • Προδιαγραφές εισόδου• • Προδιαγραφές εξόδου• • Ανάγκες περιβάλλοντος• • Ειδικές διαδικαστικές απαιτήσεις• • Εξαρτήσεις δοκιμασιών

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

Προδιαγραφή διαδικασίας ελέγχου

• • Αναγνωριστικό (ταυτότητα) προδιαγραφής διαδικασίας ελέγχου

• • Σκοπός

• • Ειδικές απαιτήσεις

• • Βήματα διαδικασίας

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

Έκθεση διαβίβασης στοιχείων ελέγχου

• • Αναγνωριστικό (ταυτότητα) έκθεσης διαβίβασης στοιχείων ελέγχου

• • Διαβιβαζόμενα στοιχεία

• • Τοποθεσία

• • Κατάσταση

• • Εγκρίσεις

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

Ημερολόγιο ελέγχου

• • Αναγνωριστικό (ταυτότητα) ημερολογίου ελέγχου

• • Περιγραφή

• • Καταχωρίσεις ενεργειών και γεγονότων

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

Έκθεση περιστατικών ελέγχου

• • Αναγνωριστικό (ταυτότητα) έκθεσης περιστατικών ελέγχου

• • Σύνοψη

• • Περιγραφή των περιστατικών

• • Επιδράσεις

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

Συνοπτική αναφορά ελέγχου

• • Αναγνωριστικό (ταυτότητα) συνοπτικής αναφοράς ελέγχου

• • Σύνοψη• • Αποκλίσεις• • Εκτίμηση περιεκτικότητας• • Σύνοψη αποτελεσμάτων• • Αξιολόγηση• • Σύνοψη δραστηριοτήτων• • Εγκρίσεις

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