Generation of test cases for functional testing of applications
First Claim
Patent Images
1. A computer implemented method for generating a testing procedure for an implementation of a function, comprising:
- obtaining automatically a model of an application that has been implemented, the model including at least a description of input, output, and one or more state transitions of a function in the application, said application model being an input-output-precondition-effect (IOPE) model of a web service;
refining one or more preconditions of the model based on a fault model that represents one or more ways the application can fail;
generating a testing goal from the model, the testing goal including at least a state condition and a testing function and the one or more of the preconditions refined based on the fault model, wherein the testing goal is generated for each precondition-effect pair in the OIPE model;
wherein the IOPE model is constructed as syntactic ensemble comprising input and output constraints pair for a target operation, using a template having corresponding placeholders that are to be replaced by actual values from an operation under test, and as a pair-set of precondition and effect for said operation, the pair-set defined in part as the testing goal,the fault model used as a leverage for redefining the testing goal and corresponding to the IOPE constraints, the fault model comprising one or more of boundary values for input parameters, cardinality constraints enforcing a threshold that is to be observed, and fault sensitization serving a behavioral basis for the testing goal;
generating a sequence of one or more actions based on the testing goal, the one or more actions at least transforming a computer system'"'"'s state running the application to meet the one or more preconditions;
generating one or more expected output and a system end state associated with applying the sequence of one or more actions; and
generating a sequence of one or more verification actions based on said one or more expected output and the system end state,wherein the sequence of one or more actions and the sequence of one or more verification actions are invoked to test the application, andwherein a functional test case generation is fully automated for the application.
1 Assignment
0 Petitions
Accused Products
Abstract
An automated system and method to generate functional conformance tests for applications are provided. The system and method in one aspect use Inputs, Outputs, Preconditions, Effects (IOPEs) paradigm associated with an application for automatically generating test goals. A planner component may accept these testing goals to generate a sequence of operations or invocations as a test case. Verification sequences are also generated. The system and method also allow generation of executable test cases, which can be applied to the various interfaces through which the application may be accessed.
35 Citations
15 Claims
-
1. A computer implemented method for generating a testing procedure for an implementation of a function, comprising:
-
obtaining automatically a model of an application that has been implemented, the model including at least a description of input, output, and one or more state transitions of a function in the application, said application model being an input-output-precondition-effect (IOPE) model of a web service; refining one or more preconditions of the model based on a fault model that represents one or more ways the application can fail; generating a testing goal from the model, the testing goal including at least a state condition and a testing function and the one or more of the preconditions refined based on the fault model, wherein the testing goal is generated for each precondition-effect pair in the OIPE model; wherein the IOPE model is constructed as syntactic ensemble comprising input and output constraints pair for a target operation, using a template having corresponding placeholders that are to be replaced by actual values from an operation under test, and as a pair-set of precondition and effect for said operation, the pair-set defined in part as the testing goal, the fault model used as a leverage for redefining the testing goal and corresponding to the IOPE constraints, the fault model comprising one or more of boundary values for input parameters, cardinality constraints enforcing a threshold that is to be observed, and fault sensitization serving a behavioral basis for the testing goal; generating a sequence of one or more actions based on the testing goal, the one or more actions at least transforming a computer system'"'"'s state running the application to meet the one or more preconditions; generating one or more expected output and a system end state associated with applying the sequence of one or more actions; and generating a sequence of one or more verification actions based on said one or more expected output and the system end state, wherein the sequence of one or more actions and the sequence of one or more verification actions are invoked to test the application, and wherein a functional test case generation is fully automated for the application. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
-
12. A system for generating a testing procedure for an implementation of a function, comprising:
-
an application model including at least one or more objects, one or more inputs and outputs associated with said one or more objects, one or more preconditions of a system employing the application, and one or more effects on the system applying said one or more objects, said application model being an input-output-precondition-effect (IOPE) model of a web service; a goal generator module operable to execute on a processor, the goal generator module further operable to refine said one or more preconditions based on a fault model that represents one or more ways the application can fail, the goal generator module further operable to automatically generate one or more testing goals using the application model and the one or more of the preconditions refined based on a fault model, wherein the testing goal is generated for each precondition-effect pair in the OIPE model, wherein the IOPE model is constructed as syntactic ensemble comprising input and output constraints pair for a target operation, using a template having corresponding placeholders that are to be replaced by actual values from an operation under test, and as a pair-set of precondition and effect for said operation, the pair-set defined in part as the testing goal, the fault model used as a leverage for redefining the testing goal and corresponding to the IOPE constraints, the fault model comprising one or more of boundary values for input parameters, cardinality constraints enforcing a threshold that is to be observed, and fault sensitization serving a behavioral basis for the testing goal; a planner module operable to execute on a processor to generate a sequence of one or more actions based on said one or more testing goals, the one or more actions at least transforming a computer system'"'"'s state running the application to meet the one or more preconditions; and a verification sequence generator module operable to execute on a processor to generate a sequence of one or more verification actions based on one or more expected outputs from the sequence of one or more actions and an expected system end state resulting from the sequence of one or more actions, wherein the sequence of one or more actions and the sequence of one or more verification actions are invoked to test the application model, and wherein a functional test case generation is fully automated for the application model. - View Dependent Claims (13)
-
-
14. A non-transitory program storage device readable by a machine, tangibly embodying a program of instructions executable by the machine to perform a method of generating a testing procedure for an implementation of a function, comprising:
-
obtaining a model of an application, the model including at least one or more objects, one or more inputs and outputs associated with said one or more objects, one or more preconditions of a system employing the application, and one or more effects on the system applying said one or more objects, wherein the testing goal is generated for each precondition-effect pair in the input-output-precondition-effect (IOPE) model; refining said one or more preconditions based on a fault model that represents one or more ways the application can fail; generating a testing goal from the model, the testing goal including at least a state condition and a testing function and the one or more of the preconditions refined based on a fault model, wherein the testing goal is generated for each PE pair in the OIPE model; wherein the IOPE model is constructed as syntactic ensemble comprising input and output constraints pair for a target operation, using a template having corresponding placeholders that are to be replaced by actual values from an operation under test, and as a pair-set of precondition and effect for said operation, the pair-set defined in part as the testing goal, the fault model used as a leverage for redefining the testing goal and corresponding to the IOPE constraints, the fault model comprising one or more of boundary values for input parameters, cardinality constraints enforcing a threshold that is to be observed, and fault sensitization serving a behavioral basis for the testing goal; generating a sequence of one or more actions based on the testing goal, the one or more actions at least transforming a computer system'"'"'s state running the application to meet the one or more preconditions; generating one or more expected output and a system end state associated with applying the sequence of one or more actions; and generating a sequence of one or more verification actions based on said one or more expected output and the system end state, wherein the sequence of one or more actions and the sequence of one or more verification actions are invoked to test the application, and wherein a functional test case generation is fully automated for the application. - View Dependent Claims (15)
-
Specification