System Dependence Graph based test case generation for Object Oriented Programs
Abdul vahab karuthedath, Sreekutty Vijayan, Vipin Kumar K. S · 2020 International Conference on Power, Instrumentation, Control and Computing (PICC) · 2020
Software testing is a very important and effort-consuming activity. If the observed behaviour of the software is different from the expected behaviour, we treat this as a failure condition. Failure of a software adversely affects the reputation as well as the monetary status of the development organization. Thus locating faults and fixing it is very important in the development process. Test cases are the input values given to a program in order to find out faults in a program. Testing may be done by static or dynamic method. In static testing, the target code is not executed, whereas in dynamic method, the target code is executed. A major static testing method is the code review, in which the syntax and usage of various elements of the code are reviewed. The goal of this work is to generate test cases to statically validate the array index so that the unexpected array index boundary violations can be tested. For this the Java source code is analysed using SDG and the proposed tool is implemented using Antlr with Java grammar by embedding action codes in the grammar.