Generating test cases for covering enterprise rules and predicates

An article of manufacture comprising a non-transitory computer readable storage medium having computer readable instructions tangibly embodied thereon which, when implemented, cause a computer to carry out a plurality of method steps comprising:

• obtaining a web application and a specification of at least one enterprise rule comprising (i) an antecedent, (ii) a consequent, and (iii) a set of one or more invariant conditions, wherein:
• the antecedent represents a discrete state of the web application that is observable at a user interface level at a given point of execution of the web application;
• the consequent represents another discrete state of the web application that is observable at the user interface level at a given point of execution of the web application subsequent to the antecedent;
• and
• the set of one or more invariant conditions comprises one or more conditions that are observable during execution of the web application between the given point representing the antecedent and the given point representing the consequent;
• constructing a link graph that captures at least one navigation path in the web application;
• and
• performing a traversal of the web application guided by the link graph to generate an executable test case that drives the web application along one of the at least one navigation path in which the at least one enterprise rule is covered to determine the web application's conformance to the at least one enterprise rule, wherein the executable test case is a sequence of one or more test steps, each test step representing an action to be performed on the web application or a verification of the application state.

A system for automated test case generation for a web application, comprising:

• at least one distinct software module, each distinct software module being embodied on a tangible computer-readable medium;
• a memory;
• and
• at least one processor coupled to the memory and operative for:
• obtaining a web application and a specification of at least one enterprise rule comprising (i) an antecedent, (ii) a consequent, and (iii) a set of one or more invariant conditions, wherein:
• the antecedent represents a discrete state of the web application that is observable at a user interface level at a given point of execution of the web application;
• the consequent represents another discrete state of the web application that is observable at the user interface level at a given point of execution of the web application subsequent to the antecedent;
• and
• the set of one or more invariant conditions comprises one or more conditions that are observable during execution of the web application between the given point representing the antecedent and the given point representing the consequent;
• constructing a link graph that captures at least one navigation path in the web application;
• and
• performing a traversal of the web application guided by the link graph to generate an executable test case that drives the web application along one of the at least one navigation path in which the at least one enterprise rule is covered to determine the web application's conformance to the at least one enterprise rule, wherein the executable test case is a sequence of one or more test steps, each test step representing an action to be performed on the web application or a verification of the application state.

A method for automated test case generation for a web application, the method comprising:

• obtaining a web application, a specification of at least one enterprise rule, and at least one existing test case, wherein a test case is a sequence of one or more test steps, each test step representing an action to be performed on the web application, and wherein the specification of the at least one enterprise rule comprises (i) an antecedent, (ii) a consequent, and (iii) a set of one or more invariant conditions, wherein:
• the antecedent represents a discrete state of the web application that is observable at a user interface level at a given point of execution of the web application;
• the consequent represents another discrete state of the web application that is observable at the user interface level at a given point of execution of the web application subsequent to the antecedent;
• and
• the set of one or more invariant conditions comprises one or more conditions that are observable during execution of the web application between the given point representing the antecedent and the given point representing the consequent;
• determining coverage of the at least one enterprise rule attained by the at least one existing test case;
• constructing a link graph that captures at least one navigation path in the web application;
• and
• performing a traversal of the web application guided by the link graph to generate a modified version of the at least one existing test case that drives the web application along one of the at least one navigation paths in which the at least one enterprise rule applies to determine the web application's conformance to the at least one enterprise rule;
• wherein at least one of the steps is carried out by a computer device.

An article of manufacture comprising a non-transitory computer readable storage medium having computer readable instructions tangibly embodied thereon which, when implemented, cause a computer to carry out a plurality of method steps comprising:

• obtaining a web application, a specification of at least one enterprise rule, and at least one existing test case, wherein a test case is a sequence of one or more test steps, each test step representing an action to be performed on the web application, and wherein the specification of the at least one enterprise rule comprises (i) an antecedent, (ii) a consequent, and (iii) a set of one or more invariant conditions, wherein:
• the antecedent represents a discrete state of the web application that is observable at a user interface level at a given point of execution of the web application;
• the consequent represents another discrete state of the web application that is observable at the user interface level at a given point of execution of the web application subsequent to the antecedent;
• and
• the set of one or more invariant conditions comprises one or more conditions that are observable during execution of the web application between the given point representing the antecedent and the given point representing the consequent;
• determining coverage of the at least one enterprise rule attained by the at least one existing test case;
• constructing a link graph that captures at least one navigation path in the web application;
• and
• performing a traversal of the web application guided by the link graph to generate a modified version of the at least one existing test case that drives the web application along one of the at least one navigation path in which the at least one enterprise rule applies to determine the web application's conformance to the at least one enterprise rule.