| dc.contributor.advisor | Tarhan, Ayça | |
| dc.contributor.advisor | Betin Can, Aysu | |
| dc.contributor.author | Balcı, Halil İbrahim | |
| dc.date.accessioned | 2019-11-06T13:27:05Z | |
| dc.date.issued | 2019 | |
| dc.date.submitted | 2019-09-27 | |
| dc.identifier.uri | http://hdl.handle.net/11655/11913 | |
| dc.description.abstract | In Software Testing process, it is preferred that test data has a high coverage ratio and is applicable amount. Dynamic Symbolic Execution (DSE) method can provide these two benefits together. Within the scope of this thesis, a tool is developed to generate test data using Dynamic Symbolic Execution method on software in MATLAB. The tool can generate appropriate number of test data as an open source DSE test data generation tool. In addition, the effectiveness of testing will be increased by ensuring the high coverage of the test data through dynamic symbolic execution method. | tr_TR |
| dc.language.iso | tur | tr_TR |
| dc.publisher | Fen Bilimleri Enstitüsü | tr_TR |
| dc.rights | info:eu-repo/semantics/openAccess | tr_TR |
| dc.subject | Yazılım test | tr_TR |
| dc.subject | Test verisi üretme | tr_TR |
| dc.subject | Sembolik test | tr_TR |
| dc.subject | Sembolik işletme | tr_TR |
| dc.subject | Test verimliliği | tr_TR |
| dc.subject | Yazılım test aracı | tr_TR |
| dc.title | Dinamik Sembolik İşletme Yöntemi İle Matlab’da Test Verisi Üretimi | tr_TR |
| dc.title.alternative | Test Data Generatıon In Matlab By Usıng Dynamıc Symbolıc Executıon | |
| dc.type | info:eu-repo/semantics/masterThesis | tr_TR |
| dc.description.ozet | Yazılım Test Sürecinde kullanılacak test verilerinin yüksek kapsama (İng. coverage) oranına sahip olması ve uygulanabilir miktarda olması tercih edilir. Dinamik Sembolik İşletme (İng. Dynamic Symbolic Execution) yöntemi bu iki yararı bir arada sağlayabilmektedir. Bu tez kapsamında MATLAB’da yer alan yazılımlar üzerinde Dinamik Sembolik İşletme yöntemi kullanılarak test verisi üretimi yapan bir araç geliştirilmiştir. Bu sayede test verimliliğinin artırılması hedeflenmiştir. Araç ile uygun sayıda test verisi, açık kaynak bir test aracıyla aynı sonuçları verecek şekilde üretilebilmektedir. Ayrıca Dinamik Sembolik İşletme yöntemi sayesinde test verilerinin yüksek kapsama oranına sahip olması sağlanarak test verimliliğinin arttığı gözlemlenmiştir. | tr_TR |
| dc.contributor.department | Bilgisayar Mühendisliği | tr_TR |
| dc.embargo.terms | Acik erisim | tr_TR |
| dc.embargo.lift | 2019-11-06T13:27:05Z | |
| dc.funding | Yok | tr_TR |
