Τι είναι η δοκιμή βάσει μοντέλου;

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

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

Ροή δεδομένων
Έλεγχος ροής
Γραφήματα εξάρτησης
Πίνακες αποφάσεων
Μηχανές μετάβασης κατάστασης

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

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

Παράδειγμα δοκιμής βάσει μοντέλου

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

Τύποι MBT

Υπάρχουν δύο τύποι πλαισίων δοκιμών που βασίζονται σε μοντέλα-

Εκτός σύνδεσης / a priori: Δημιουργία δοκιμαστικών σουιτών πριν από την εκτέλεσή του. Μια δοκιμαστική σουίτα δεν είναι παρά μια συλλογή από δοκιμαστικές περιπτώσεις.
Online / on-the-fly: Δημιουργία δοκιμαστικών σουιτών κατά την εκτέλεση της δοκιμής

Διαφορετικά μοντέλα σε δοκιμές

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

Μηχανές πεπερασμένων κρατών

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

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

Εξετάστε το παράδειγμα -

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

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

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

Για παράδειγμα -

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

Ενοποιημένη γλώσσα μοντελοποίησης (UML)

Ενοποιημένη γλώσσα μοντελοποίησης (UML) είναι μια τυποποιημένη γλώσσα μοντελοποίησης γενικής χρήσης. Το UML περιλαμβάνει ένα σύνολο τεχνικών γραφικής σημειογραφίας για τη δημιουργία οπτικών μοντέλων που μπορούν να περιγράψουν την πολύ περίπλοκη συμπεριφορά του συστήματος.

Το UML έχει σημειώσεις όπως:

Δραστηριότητες
Ηθοποιοί
Επιχειρηματική διαδικασία
εξαρτήματα
Γλώσσα προγραμματισμού

Προκλήσεις της δοκιμής βάσει μοντέλου

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

Απαραίτητες δεξιότητες που απαιτούνται σε δοκιμαστές
Ο χρόνος καμπύλης μάθησης θα είναι περισσότερος
Δύσκολο να καταλάβεις το ίδιο το μοντέλο

Πλεονεκτήματα της δοκιμής μοντέλου

Τα ακόλουθα είναι τα οφέλη του MBT:

Εύκολη συντήρηση δοκιμών/σουίτας
Μείωση Κόστους
Βελτιωμένη κάλυψη δοκιμής
Μπορεί να εκτελέσει διαφορετικές δοκιμές σε n αριθμό μηχανών
Έγκαιρη ανίχνευση ελαττώματος
Αύξηση του αριθμού ελαττωμάτων
Εξοικονόμηση χρόνου
Βελτιωμένη ικανοποίηση από την εργασία του δοκιμαστή

Συμπέρασμα

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

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

Μπορεί να σας αρέσει: