Program recognition and testing based on control-flow analysis

The goals of software testing are to assess and improve the quality of software. Software testing has proven difficult in the absence of design information. Without an adequate understanding of a program's structure, it is difficult to test it effectively. Program recognition is a technology that can help testers to recover the programs' design and consequently make software testing properly. This paper provides a methodology to follow the control-flow of a program and transform to the original program structure. An approach to analysis testing paths automatically for a program to test every blocks of the program is provided. The proposed methodology defines a number of command types and test data generating rules. An algorithm to scan program and analysis testing paths are also provided. This will allow testers to recover the programs' design and understand software structure, and makes software maintenance properly.