Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/19629
Πλήρες αρχείο μεταδεδομένων
Πεδίο DC | Τιμή | Γλώσσα |
---|---|---|
dc.contributor.author | Αναγνώστου, Αναστάσιος - Στέφανος | - |
dc.date.accessioned | 2025-06-30T11:24:29Z | - |
dc.date.available | 2025-06-30T11:24:29Z | - |
dc.date.issued | 2025-06-27 | - |
dc.identifier.uri | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/19629 | - |
dc.description.abstract | This thesis proposes conformance testing algorithms, in the context of Active Automata Learning, that leverage knowledge from previous learning rounds to improve the efficiency of counterexample search. The focus is on evaluating the impact of targeting the newly learned states of a hypothesis. Three modifications of existing algorithms—the W Method, the Wp Method, and the Random Wp Method—were tested alongside a novel approach, the Stochastic State Coverage Method. Experimental results show that the modification of the Wp Method outperforms its original version. In contrast, the modifications of the W Method and the Random Wp Method, as well as the newly proposed method, yielded mixed results, with no clear overall improvement across all scenarios. This study shows that targeting the new states of a hypothesis may improve conformance testing performance. Future work can focus on exploring the circumstances under which better results can be achieved, as well as on the development of new algorithms that follow a similar approach. | en_US |
dc.language | en | en_US |
dc.subject | model learning | en_US |
dc.subject | active automata learning | en_US |
dc.subject | software testing | en_US |
dc.subject | protocol testing | en_US |
dc.subject | conformance testing | en_US |
dc.title | Efficient Implementation of Conformance Testing Techniques in Active Automata Learning | en_US |
dc.description.pages | 97 | en_US |
dc.contributor.supervisor | Σαγώνας Κωστής | en_US |
dc.department | Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών | en_US |
Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
main_removed.pdf | the main thesis file with unnecessary white pages removed. | 1.33 MB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.