Ποια είναι η περιγραφή της Όψεως & Process Δοκιμές σε Επικύρωση & Επαλήθευση

; Επικύρωση και επαλήθευση ( V & V) είναι η διαδικασία που χρησιμοποιείται για να εξασφαλίσει ότι ένα έργο μηχανικής λογισμικού ικανοποιεί τους στόχους σχεδιασμού του . Επαλήθευση χρησιμοποιείται για να ελεγχθεί εάν ή όχι ένα λογισμικό εργασία σε εξέλιξη σε μια δεδομένη φάση ανάπτυξης ικανοποιεί τους στόχους της , και την επικύρωση χρησιμοποιείται για να ελεγχθεί εάν ή όχι ένα ολοκληρωμένο πρόγραμμα λογισμικού ικανοποιεί τους στόχους της . Υπάρχουν δύο διαδικασίες για την επικύρωση και την επαλήθευση : ελέγχου και δοκιμών . Δοκιμές Μάθηση
Η

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

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

Η έλεγχος μπορεί να αυτοματοποιηθεί
Η

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

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