Τεχνικές δοκιμής λογισμικού με παραδείγματα σχεδιασμού υπόθεσης

Πίνακας περιεχομένων:

Anonim

Τι είναι η τεχνική δοκιμής λογισμικού;

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

Σε αυτό το σεμινάριο, θα μάθετε 5 σημαντικές τεχνικές δοκιμών λογισμικού:

  • Ανάλυση οριακής αξίας (BVA)
  • Διαχωρισμός κλάσης ισοδυναμίας
  • Δοκιμή βάσει πίνακα απόφασης.
  • Κράτος μετάβαση
  • Σφάλμα μαντεύοντας

Ανάλυση οριακής αξίας (BVA)

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

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

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

Οδηγίες για ανάλυση οριακής αξίας

  • Εάν μια συνθήκη εισόδου είναι περιορισμένη μεταξύ των τιμών x και y, τότε οι δοκιμαστικές θήκες θα πρέπει να σχεδιαστούν με τιμές x και y καθώς και τιμές που είναι πάνω και κάτω από x και y.
  • Εάν μια συνθήκη εισαγωγής είναι ένας μεγάλος αριθμός τιμών, θα πρέπει να αναπτυχθεί η δοκιμαστική θήκη που πρέπει να ασκεί τον ελάχιστο και μέγιστο αριθμό. Εδώ, δοκιμάζονται επίσης τιμές πάνω και κάτω από τις ελάχιστες και μέγιστες τιμές.
  • Εφαρμόστε τις οδηγίες 1 και 2 στις συνθήκες εξόδου. Δίνει έξοδο που αντικατοπτρίζει τις ελάχιστες και τις μέγιστες αναμενόμενες τιμές. Δοκιμάζει επίσης τις παρακάτω ή τις παραπάνω τιμές.

Παράδειγμα:

Η συνθήκη εισαγωγής ισχύει μεταξύ 1 και 10Οριακές τιμές 0,1,2 και 9,10,11

Διαχωρισμός κλάσης ισοδυναμίας

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

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

Παράδειγμα:

Οι συνθήκες εισαγωγής ισχύουν μεταξύ

 1 έως 10 και 20 έως 30

Ως εκ τούτου, υπάρχουν πέντε κατηγορίες ισοδυναμίας

--- έως 0 (μη έγκυρο)1 έως 10 (ισχύει)11 έως 19 (μη έγκυρο)20 έως 30 (ισχύει)31 έως --- (μη έγκυρο)

Επιλέγετε τιμές από κάθε τάξη, δηλαδή,

-2, 3, 15, 25, 45

Δοκιμή βάσει πίνακα απόφασης.

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

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

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

Ακολουθούν τα βήματα για τη δημιουργία πίνακα αποφάσεων:

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

Παράδειγμα : Ένα κουμπί υποβολής σε μια φόρμα επαφής ενεργοποιείται μόνο όταν όλες οι είσοδοι έχουν εισαχθεί από τον τελικό χρήστη.

Κράτος μετάβαση

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

Κατευθυντήρια γραμμή για την κρατική μετάβαση:

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

Παράδειγμα:

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

Διάγραμμα μεταβατικής κατάστασης

Σε αυτό το διάγραμμα όταν ο χρήστης δίνει τον σωστό αριθμό PIN, αυτός ή αυτή μετακινείται στην κατάσταση που έχει παραχωρηθεί από την Access. Ο παρακάτω πίνακας δημιουργείται με βάση το παραπάνω διάγραμμα-

Πίνακας μετάβασης κατάστασης

Σωστό PIN Εσφαλμένο PIN
S1) Έναρξη S5 S2
S2) 1 st απόπειρα S5 S3
S3) απόπειρα S5 S4
S4) απόπειρα S5 S6
S5) Η πρόσβαση παραχωρήθηκε - -
S6) Ο λογαριασμός αποκλείστηκε - -

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

Σφάλμα μαντεύοντας

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

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

Οδηγίες για την εκτίμηση σφαλμάτων:

  • Η δοκιμή πρέπει να χρησιμοποιεί την προηγούμενη εμπειρία δοκιμών παρόμοιων εφαρμογών
  • Κατανόηση του υπό δοκιμή συστήματος
  • Γνώση τυπικών σφαλμάτων εφαρμογής
  • Θυμηθείτε προηγούμενες προβληματικές περιοχές
  • Αξιολογήστε τα ιστορικά δεδομένα και τα αποτελέσματα των δοκιμών

συμπέρασμα

  • Οι τεχνικές δοκιμής λογισμικού σάς επιτρέπουν να σχεδιάζετε καλύτερες περιπτώσεις. Υπάρχουν πέντε τεχνικές που χρησιμοποιούνται κυρίως.
  • Η ανάλυση οριακής τιμής ελέγχει τα όρια μεταξύ κατατμήσεων.
  • Το Equivalent Class Partitioning σάς επιτρέπει να διαιρέσετε το σύνολο δοκιμαστικών συνθηκών σε ένα διαμέρισμα που θα πρέπει να θεωρείται το ίδιο.
  • Η τεχνική δοκιμής λογισμικού Table Decision χρησιμοποιείται για λειτουργίες που ανταποκρίνονται σε συνδυασμό εισόδων ή συμβάντων.
  • Στην κατάσταση μεταβατικής κατάστασης οι αλλαγές στις συνθήκες εισαγωγής αλλάζουν την κατάσταση της εφαρμογής υπό δοκιμή (AUT)
  • Η εικασία σφάλματος είναι μια τεχνική δοκιμής λογισμικού που βασίζεται στην εκτίμηση του σφάλματος που μπορεί να επικρατήσει στον κώδικα.