Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
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.pdf | 357.56 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.