Many software quality assurance methods depend on the control flow graph (CFG) for theanalyzing process. However, existing methods for Java projects have not described details of the CFGgeneration process, which is critical for having a fully automatic analysis method. This paper presentsa novel method, named CFG4J, for generating CFG associated with a given Java unit. The generatedCFG will be used in many other software quality assurance methods such as test data generation forunit testing, unit debugging, code coverage computation, etc. We have implemented CFG4J in a tooland performed some initial experiments with some common units with potential results. Finally, wegive some discussions about the experimental results at the end of the paper.
No takes yet. Share an insight, caveat, or question.
Tran et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: