Τι είναι η Επαλήθευση Συστήματος;

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

- Επιθεώρηση: Αυτό περιλαμβάνει τον μη αυτόματο έλεγχο του κώδικα για σφάλματα λογικής, σύνταξης και μορφοποίησης και διασφάλιση της τήρησης προτύπων και βέλτιστων πρακτικών.

- Έλεγχος κώδικα: Αυτό περιλαμβάνει αξιολογήσεις από ομοτίμους για την εύρεση σφαλμάτων κωδικοποίησης και ασυνέπειες πριν ο κώδικας δοκιμαστεί πραγματικά.

- Στατική ανάλυση: Είναι μια αυτοματοποιημένη τεχνική ανάλυσης κώδικα που εκτελείται στον πηγαίο κώδικα του προγράμματος χωρίς μεταγλώττιση. Επιτρέπει την ανάλυση του κώδικα για ελαττώματα όπως μη τυπική ή μη ασφαλής κωδικοποίηση, νεκρό κώδικα, μη προσβάσιμες δηλώσεις κ.λπ.

- Δοκιμή λευκού κουτιού: Αυτός είναι ένας τύπος δομικής δοκιμής που περιλαμβάνει δοκιμές με παρατήρηση των εσωτερικών λειτουργιών του συστήματος αντί να δοκιμάζονται απλώς οι εξωτερικές εισόδους και εξόδους.

- Δοκιμή μονάδας: Στη δοκιμή μονάδας, κάθε μονάδα κώδικα (π.χ. συνάρτηση ή μέθοδος) εξετάζεται ανεξάρτητα για να ελεγχθεί εάν η μονάδα πληροί τις απαιτήσεις.

- Δοκιμή ενσωμάτωσης: Στη δοκιμή ενσωμάτωσης, οι μονάδες ή οι μονάδες που έχουν περάσει δοκιμές μονάδων συνδυάζονται και δοκιμάζονται για τον εντοπισμό ελαττωμάτων διεπαφής και εξαρτήσεων.