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