Please use this identifier to cite or link to this item: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15878
Title: Αυτόματος Τυχαίος Έλεγχος Ιδιοτήτων Συναρτήσεων Από Τις Προδιαγραφές Τους
Authors: Εμμανουήλ Παπαδάκης
Σαγώνας Κωστής
Keywords: έλεγχος λογισμικού βάσει ιδιοτήτων
αυτόματος έλεγχος λογισμικού
τυχαίος έλεγχος λογισμικού
προδιαγραφές συναρτήσεων
παραγωγή ελέγχων λογισμικού βάσει τεκμηρίωσης
Issue Date: 11-Nov-2010
Abstract: Τα τελευταία χρόνια, όλο και περισσότεροι προγραμματιστές της γλώσσας Erlang χρησιμοποιούν εργαλεία ελέγχου βάσει ιδιοτήτων για τον έλεγχο των προγραμμάτων τους. Σήμερα, τέτοια εργαλεία έχουν ελάχιστη σύνδεση με το σύστημα τύπων της γλώσσας. Σε αυτή τη Διπλωματική Εργασία, διερευνούμε ορισμένους τρόπους για την ενσωμάτωση στοιχείων του συστήματος τύπων της Erlang σε ένα τέτοιο εργαλείο. Συγκεκριμένα, περιγράφουμε πώς ένα τέτοιο εργαλείο θα μπορούσε να χρησιμοποιήσει τις δηλώσεις τύπων διάφορων τύπων δεδομένων προκειμένου να παράγει αυτόματα τις αντίστοιχες γεννήτριες, πώς θα πρέπει να αντιμετωπίσει αφηρημένους τύπους δεδομένων με κρυφή εσωτερική αναπαράσταση, και επίσης πώς θα μπορούσε να χρησιμοποιήσει την πληροφορία που περιέχεται στην υπογραφή μίας συνάρτησης προκειμένου να την ελέγξει αυτόματα. Έχουμε αναπτύξει ένα πρωτότυπο ενός τέτοιου συστήματος, το οποίο ονομάσαμε PropEr. Από δοκιμές του PropEr ως εργαλείο αυτόματου ελέγχου συναρτήσεων γίνεται φανερό ότι, ενώ ένα τέτοιο σύστημα είναι οπωσδήποτε σε θέση να εντοπίσει σφάλματα λογισμικού, η προσέγγισή μας παρουσιάζει ορισμένα εγγενή προβλήματα, τα οποία αφήνουμε ως μελλοντική εργασία.
URI: http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15878
Appears in Collections:Διπλωματικές Εργασίες - Theses

Files in This Item:
File SizeFormat 
DT2010-0295.pdf834.93 kBAdobe PDFView/Open


Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.