Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/16798
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Άγγελος Γιάντσιος | |
dc.date.accessioned | 2018-07-23T19:04:42Z | - |
dc.date.available | 2018-07-23T19:04:42Z | - |
dc.date.issued | 2014-1-4 | |
dc.date.submitted | 2014-1-8 | |
dc.identifier.uri | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/16798 | - |
dc.description.abstract | Σε ένα κόσμο όπου το λογισμικό υπάρχει παντού, από διαστημικά λεωφορεία μέχρι αντλίες ινσουλίνης, η δοκιμή λογισμικού έχει προεξέχουσα θέση. Παρόλαυτα, η δοκιμή λογισμικού γίνεται ακόμα σε μεγάλο βαθμό χειροκίνητα καθώς είναι αρκετά δύσκολο να παραχθούν σουίτες δοκιμών υψηλής κάλυψης κώδικα με αυτοματοποιημένα εργαλεία που χρησιμοποιούν την προσέγγιση "μαύρο κουτί".Σε αυτή τη διπλωματική, παρουσιάζουμε το CutEr, ένα εργαλείο δοκιμών για τη γλώσσα Erlang που υλοποιεί μια δυναμική τεχνική της προσέγγισης "λευκό κουτί" που ονομάζεται συμπαγο-συμβολική δοκιμή. Αυτή η τεχνική συνδυάζει συμπαγή και συμβολική εκτέλεση ενός προγράμματος έτσι ώστε να δημιουργούμε τιμές εισόδου που θα εξερευνούν διαφορετικά μονοπάτια εκτέλεσης του. | |
dc.language | English | |
dc.subject | concolic testing | |
dc.subject | erlang | |
dc.subject | software testing | |
dc.subject | dynamic symbolic execution | |
dc.subject | smt solving | |
dc.title | Έλεγχος Προγραμμάτων Συνδυάζοντας Συμβολική Και Συμπαγή Εκτέλεση Με Αυτόματη Παραγωγή Τιμών Εισόδου | |
dc.type | Diploma Thesis | |
dc.description.pages | 78 | |
dc.contributor.supervisor | Σαγώνας Κωστής | |
dc.department | Τομέας Τεχνολογίας Πληροφορικής & Υπολογιστών | |
dc.organization | ΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών | |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
DT2014-0033.pdf | 1.11 MB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.