Automation of Data Flow Based Testing

Abstract

Software testing is an important phase of software development life cycle. It ensures the quality of software. Software testing takes place throughout the software development life cycle. Based on structure of the program data flow based testing can be applied. Data flow based testing is based on the concept that when a data is defined, used and killed. Some combination of definition, usage and killing of data leads to data anomalies. These anomalies must be removed for high quality software. In data flow based testing a def-use graph is constructed from the given segment of code. Using various strategies of data-flow based testing test suite can be generated. Design by contract is a methodology used for improving the quality of software. In this thesis work design by contract combined with data flow based testing is applied on stack class. This approach causes reduction in du paths. A software is designed that will determine data anomalies in the tested modules. It will also show that when a data is defined, killed and used for a particular variable.