DİNAMİK SEMBOLİK İŞLETME YÖNTEMİ İLE MATLAB’DA TEST VERİSİ ÜRETİMİ
BALCI, Halil İbrahim
xmlui.mirage2.itemSummaryView.MetaDataShow full item record
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.