Assisted compositional reasoning for test scripts

A product, the product comprising:

• a non-transitory machine-readable medium;
• logic, stored on the machine-readable medium, that when executed by a processor, cause the processor to:
• analyze a test script statement to determine:
• an exposed method expressed in the test script statement;
• Application Programming Interface (API) calls, executable by the processor, characterized by API call types that navigate in sequence to the exposed method;
• determine a destination Graphical User Interface (GUI) object that exposes the exposed method;
• find an element path between sequential GUI objects in a GUI tree, where the element path leads to the destination GUI object, where the sequential GUI objects are characterized by GUI object types;
• determine whether the API call types in sequence are compatible with the GUI object types in sequence;
• obtain, from a GUI object repository, validated action result for actions performed by the API calls on GUI object types in sequence;
• assign API call types to each API call according to the action results that specify valid API calls useable to perform actions on particular GUI object types;
• obtain, from the GUI object repository, mappings of GUI object types, where each of the mappings comprise properties of a GUI object type;
• assign GUI object types to each GUI object according to the API call types in sequence determined to be compatible with the GUI object types in sequence;
• determine a GUI object interactions count for the sequential GUI objects based on a configurable number of GUI object interactions for the sequential GUI objects;
• and
• generate a type inferencer message guide that explain how to transform data during data exchange between the GUI object.

A system, the system comprising:

• a processor;
• a memory coupled to the processor, the memory comprising:
• a test script statement, comprising:
• an exposed method expressed in the test script statement;
• Application Programming Interface (API) calls characterized by API call types that navigate in sequence to the exposed method;
• logic, stored in the memory, that when executed by the processor, causes the processor to:
• determine a destination Graphical User Interface (GUI) object that exposes the exposed method;
• find an element path between sequential GUI objects in a GUI tree, where the element path leads to the destination GUI object, where the sequential GUI objects are characterized by GUI object types;
• determine whether the API call types in the element path between sequential GUI objects are compatible with the GUI object types in the sequence;
• obtaining, from a GUI object repository, validated action result for actions performed by the API calls on GUI object types in sequence;
• calculating API call type assignments for each API call according to the action results that specify valid API calls useable to perform actions on particular GUI object types;
• obtaining, from the GUI object repository, mappings of GUI object types, where each of the mappings comprise properties of a GUI object type;
• assigning GUI object types to each GUI object according to the API call types in sequence determined to be compatible with the GUI object types in sequence;
• determining a GUI object interactions count for the sequential GUI objects based on a configurable number of GUI object interactions for the sequential GUI objects;
• and
• generating a type inferencer message guide that explain how to transform data during data exchange between the GUI object.