MODEL GENERATION FOR MODEL-BASED APPLICATION TESTING

摘要

In one embodiment, control-flow information comprising an indication of function execution order for an application may be generated using source code for the application. Function information for the application may be identified, the function information comprising an indication of an execution context for a function of the application. A model graph to test the application may be generated based on the control-flow information and the function information.