Dinamik Sembolik İşletme Yöntemi İle Matlab’da Test Verisi Üretimi

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.