Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17000
Τίτλος: Ανάπτυξη Εργαλείου Για Την Επαλήθευση Δοκιμών Βασισμένων Σε Προδιαγραφές
Συγγραφείς: Ζωή Παρασκευοπούλου
Παπασπύρου Νικόλαος
Λέξεις κλειδιά: software testing
property-based testing
verification
test data generation
proof assistants
coq
Ημερομηνία έκδοσης: 9-Σεπ-2014
Περίληψη: Παρότι η τυχαία δοκιμή λογισμικού βασισμένη σε προδιαγραφές (randomproperty-based testing) είναι μια αποτελεσματική μέθοδος εύρεσηςσφαλμάτων και βελτίωσης της ποιότητας του λογισμικού, λάθη στηνδιαδικασία ελέγχου μπορεί να συγκαλύψουν σημαντικά σφάλματα στολογισμικό και να μειώσουν την αποτελεσματικότητα της μεθόδου. Στηδιπλωματική αυτή παρουσιάζουμε μια καινοτόμο μέθοδο που μας επιτρέπεινα επαληθεύσουμε τυπικά τις τεχνικές δοκιμής λογισμικού, την οποίαενσωματώνουμε στο εργαλείο QuickChick, το οποίο παρέχει τη δυνατότητααυτόματων δοκιμών βασισμένων σε προδιαγραφές για το εργαλείοδιαδραστικών αποδείξεων Coq. Ο στόχος της επέκτασης του εργαλείουείναι η τυπική απόδειξη ορθότητας του εκτελέσιμου κώδικα πουχρησιμοποιείται για τη δοκιμή λογισμικού αναφορικά με υψηλού επιπέδουπροδιαγραφές, οι οποίες αποτυπώνουν πιο άμεσα την υπό δοκιμήυπόθεση. Προκειμένου να επιτευχθεί κάτι τέτοιο παρέχουμε τη δυνατότητατυπικής απόδειξης ορθότητας για γεννήτορες τυχαίων δεδομένωναντιστοιχίζοντας τους στα σύνολα των τιμών που έχουν μη μηδενικήπιθανότητα να παραχθούν. Χρησιμοποιώντας την μεθοδολογία μαςαποδείξαμε την ορθότητα των περισσότερων συνδυαστών που παρέχονται απότην διεπαφή του εργαλείου QuickChick, έχοντας ως αναφορά έναν μικρόαριθμό αυτών για τους οποίους ορίσαμε τη σημασιολογία τουςαξιωματικά. Τέλος, αξιολογήσαμε την προτεινόμενη μεθοδολογία μέσα απόέναν αριθμό μη τετριμμένων περιπτώσεων εφαρμογής της και δείξαμε ότιμπορεί να κλιμακωθεί σε δοκιμές σύνθετων συστημάτων χωρίς νααπαιτούνται αλλαγές σε ήδη υπάρχοντα κώδικα.
URI: http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17000
Εμφανίζεται στις συλλογές:Διπλωματικές Εργασίες - Theses

Αρχεία σε αυτό το τεκμήριο:
Αρχείο ΜέγεθοςΜορφότυπος 
DT2014-0240.pdf357.56 kBAdobe PDFΕμφάνιση/Άνοιγμα


Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.