Έλεγχος - η διαδικασία της επικύρωσης λογισμικού

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

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

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

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

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

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

Η επαλήθευση - είναι η απάντηση στο ερώτημα «Είναι το λογισμικό γίνει σωστά;», και την επικύρωση - «; Θα το κατάλληλο λογισμικό».

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

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

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

Όταν κωδικό σύστημα ελέγχου αναλύει την πηγή κωδικοποίηση και επαλήθευση περιγραφή ταιριάζουν ντοκιμαντέρ του.

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