Αυτόματος Τυχαίος Έλεγχος Ιδιοτήτων Συναρτήσεων Από Τις Προδιαγραφές Τους

Abstract

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