1. Home page
  2. Search

Έλεγχος προγραμμάτων συνδυάζοντας συμβολική και συμπαγή εκτέλεση με αυτόματη παραγωγή τιμών εισόδου

This item is provided by the institution :
Εθνικό Μετσόβιο Πολυτεχνείο   

Repository :
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA   

see the original item page
in the repository's web site and access all digital files if the item*



Έλεγχος προγραμμάτων συνδυάζοντας συμβολική και συμπαγή εκτέλεση με αυτόματη παραγωγή τιμών εισόδου (EL)
Program testing by combining concrete and symbolic execution with automatic generation of input values (EN)
Γιάντσιος, Άγγελος Δ. (EL)
Giantsios, Aggelos D. (EN)
Σαγώνας, Κωστής (EL)
Κοντογιάννης, Κώστας (EL)
Παπασπύρου, Νικόλαος (EL)
bachelorThesis
2014-02-04
2014-05-21T10:45:00Z
2014-01-08
2014-05-21
Σε ένα κόσμο όπου το λογισμικό υπάρχει παντού, από διαστημικά λεωφορεία μέχρι αντλίες ινσουλίνης, η δοκιμή λογισμικού έχει προεξέχουσα θέση. Παρόλαυτα, η δοκιμή λογισμικού γίνεται ακόμα σε μεγάλο βαθμό χειροκίνητα καθώς είναι αρκετά δύσκολο να παραχθούν σουίτες δοκιμών υψηλής κάλυψης κώδικα με αυτοματοποιημένα εργαλεία που χρησιμοποιούν την προσέγγιση "μαύρο κουτί". Σε αυτή τη διπλωματική, παρουσιάζουμε το CutEr, ένα εργαλείο δοκιμών για τη γλώσσα Erlang που υλοποιεί μια δυναμική τεχνική της προσέγγισης "λευκό κουτί" που ονομάζεται συμπαγο-συμβολική δοκιμή. Αυτή η τεχνική συνδυάζει συμπαγή και συμβολική εκτέλεση ενός προγράμματος έτσι ώστε να δημιουργούμε τιμές εισόδου που θα εξερευνούν διαφορετικά μονοπάτια εκτέλεσης του. (EL)
78 σ. (EL)
Άγγελος Δ. Γιάντσιος (EL)
In a world where software is everywhere, from space shuttles to insulin pumps, software testing has a prominent role. However, software testing is largely still manual since it is very difficult to create high code coverage test suites with automated black-box tools. In this thesis, we present CutEr, a testing tool for Erlang that implements a dynamic white-box technique called concolic testing. This technique combines concrete and symbolic execution of a program in order to generate inputs that will explore its different execution paths. (EN)
Συμπαγοσυμβολική εκτέλεση (EL)
Επίλυση SMT (EL)
Έλεγχος λογισμικού (EL)
Δυναμική συμβολική εκτέλεση (EL)
Software testing (EN)
SMT solving (EN)
Concolic testing (EN)
Erlang (EN)
Dynamic symbolic execution (EN)
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής & Υπολογιστών. Εργαστήριο Τεχνολογίας Λογισμικού (EL)
ETDFree-policy.xml (EN)
Εθνικό Μετσόβιο Πολυτεχνείο
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
Ιδρυματικό Αποθετήριο
Διπλωματικές Εργασίες



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)