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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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