Patent ID: 7032212
Filing Date: 2006-04-18
Classification: G06F

Abstract:
1. A computer implemented method for generating a test model facilitating creating a set of test calls for submission to a program module that includes an interface definition identifying a set of input parameters, the method comprising the steps of: defining equivalence classes for each one of the set of input parameters, each equivalence class defining a set of values wherein anyone of the set of values is considered representative of the equivalence class with regard to verifying proper operation of the program module such that each one of the set of values has the same behavioral result in the context of a particular use of the program module; partitioning the set of input parameters into a set of one or more clusters, wherein input parameters assigned to differing clusters exhibit no cross-influence behavior between one another with regard to execution of the program module; and generating a set of groups for each cluster, each group defining a set of parameter elements corresponding to a particular usage of program module input parameters assigned to a cluster such that each group within a cluster is a formalization of a conditional relation between the parameter elements of a cluster, and wherein the set of parameter elements are thereafter used to assign combinations of values to the input parameters in accordance with the parameter elements defined for the particular usage, and the assigned combinations of values are submitted in a call to the program module during a testing procedure.