A NEW DEFINITE ALGORITHM FOR THE SOFTWARE WHITEBOX TEST DATA GENERATION USING CONTROL FLOW GRAPH AND SEMANTIC RULES

摘要

In this article we will propose a new method for test data generation in the field of unit testing. Since the software testing phase is one of the most costly phases in the software development and maintenance cycle, the automation of the whole or some parts of this process can considerably reduce the expenditure of money on the whole[1]. Nowadays, there are two methods for software testing, namely symbolic execution [2] and automatic test data generation [3]. In both of these methods, increasing software growing will exponentially increase the execution time complexity. Moreover current methods have not full reliability. Method proposed in this paper uses a definite algorithm which not only increases the accuracy of the generated test data, but also decreases the software execution time complexity.