Τι σημαίνει η δήλωση ότι η δοκιμή δείχνει την ύπαρξη ελαττωμάτων και όχι την απουσία τους;

Οι δοκιμές πραγματοποιούνται με σκοπό την εύρεση ελαττωμάτων. Η διαδικασία εκτέλεσης των δοκιμών και ανάλυσης των αποτελεσμάτων στοχεύει στην αναγνώριση περιπτώσεων όπου η συμπεριφορά του συστήματος διαφέρει από το αναμενόμενο (προδιαγραφή).

Ωστόσο, ακόμη και οι επιτυχείς δοκιμές δεν εγγυώνται 100% την απουσία ελαττωμάτων. Πάντα υπάρχει η πιθανότητα ότι:

• Η κάλυψη των δοκιμών είναι ελλιπής.
• Δεν έχουν δοκιμαστεί όλα τα πιθανά σενάρια χρήσης.
• Τα ελαττώματα εμφανίζονται μόνο υπό συγκεκριμένες σπάνιες συνθήκες ή συνδυασμούς παραγόντων.
• Η ίδια η προδιαγραφή περιέχει ανακρίβειες ή είναι ελλιπής.

Έτσι, μια επιτυχής δοκιμή δείχνει ότι το σύστημα συμπεριφέρεται σωστά στα δοκιμασμένα σενάρια, αλλά δεν αποδεικνύει την απουσία ελαττωμάτων σε μη εξερευνημένες περιοχές. Η δοκιμή είναι η αναζήτηση ελαττωμάτων, και η επιτυχία της μετριέται από τον αριθμό των ελαττωμάτων που βρέθηκαν και διορθώθηκαν, όχι από την πλήρη απουσία τους.