Στοχευμένος Έλεγχος Βάσει Ιδιοτήτων σε Συστήματα με Κατάσταση

Abstract

Ο έλεγχος βάσει ιδιοτήτων, ή Property Based Testing, αποτελεί μία τεχνική η οποία χρησιμοποιείται για τον έλεγχο είτε αγνών συνάρτησεων είτε περίπλοκων συστημάτων με εσωτερική κατάσταση. Το PropEr, το οποίο είναι το εργαλείο που χρησιμοποιείται στο πλαίσιο αυτής της διπλωματικής, παρέχει, επιπλέον, τη δυνατότητα στοχευμένου ελέγχου βάσει ιδιοτήτων, ή Targeted Property Based Testing. Αυτός αποτελεί μια παραλλαγή του ελέγχου βάσει ιδιοτήτων όπου χρησιμοποιείται κάποια στρατηγική αναζήτησης για την καθοδήγηση της τυχαίας παραγωγής εισόδων προς κάποιο στόχο, ο οποίος ωστόσο περιορίζεται σε αγνές συναρτήσεις. Στην παρούσα διπλωματική εργασία, επεκτείνουμε το PropEr, και τις ήδη υπάρχουσες υλοποιήσεις για έλεγχο συστημάτων με εσωτερική κατάσταση (proper_statem και proper_fsm), ώστε να μπορεί να ελέγχει στοχευμένα τέτοια συστήματα. Ο χρήστης το μόνο που καλείται να κάνει είναι να χρησιμοποιήσει το παρεχόμενο API, καθώς και να προσδιορίσει μία τιμή χρησιμότητας προς μεγιστοποίηση ή ελαχιστοποίηση, με το PropEr να αναλαμβάνει όλη την υπόλοιπη διαδικασία. Δεδομένης της τιμής χρησιμότητας, το PropEr θέτει σε λειτουργία στρατηγικές αναζήτησης, οι οποίες, ύστερα από κάποιο αριθμό δοκιμών, πλησιάζουν αυτό το μέγιστο ή ελάχιστο, ώστε να επιβεβαιώσει πως το σύστημα δεν παρουσιάζει σφάλμα, όταν η εσωτερική του κατάσταση έχει κάποια συγκεκριμένη μορφή (από την οποία προκύπτει και η τιμή χρησιμότητας).