Using Dynamic Call Graphs For Creating State Machines

A system comprising:

• a processor;
• a computer readable medium coupled to the processor;
• and
• computer code encoded in the computer readable medium and executable by the processor to cause the processor to:
• instrument a software program and process the instrumented software program to generate a call log for the software program;
• use the call lo to create a call graph for at least one of a class and an interface associated with the software program, and to identify a plurality of variable values of the class or interface, the call graph comprising an identification of call patterns for a plurality of functions of the class or interface;
• and
• generate a protocol state machine for the class or interface based on the identified call patterns.

A computer program product comprising a computer readable medium having a computer readable program comprising software, wherein the computer readable program when executed on a computer causes the computer to:

• instrument a software program and process the instrumented software program to generate a call log for the software program;
• use the call lo to create a call graph for at least one of a class and an interface associated with the software program, and to identify a plurality of variable values of the class or interface the call graph comprising an identification of call patterns for a plurality of functions of the class or interface;
• generate a protocol state machine for the class or interface based on the identified call patterns;
• use the sequence of execution of all threads associated in the software to generate the protocol state machine, and on determination that the threads do not follow a redefined sequence create a new protocol state machine reflecting out of order sequences as optional elements;
• and
• infer pro and post conditions associated with at least one class attribute, based on class attributes before and after at least one function call to refine the protocol state machine.