Back to results
US 9,069,762 B2Granted
Equivalence classes over parameter state space
AssigneeFreescale Semiconductor, Inc.
InventorsXiushan Feng, Yinfang Lin, Jayanta Bhadra
Life of this patent
Estimating the term…
Abstract
An approach is provided in which an equivalence class generator selects a configurable module that includes control points and configuration parameters. The configuration parameters define a parameter state space of the configurable module. The equivalence class generator utilizes the control points to generate equivalence classes, which include class representatives that indicate values for the configuration parameters. Next, one of the class representatives are selected and verified from each of the equivalence classes. In turn, the verification of the class representatives verifies the parameter state space of the configurable module.
Claims20
A method comprising:
- selecting, by one or more processors, a configurable module that includes one or more control points and one or more configuration parameters, wherein the one or more configuration parameters define a parameter state space of the configurable module;
- determining, by one or more of the processors, one or more dependencies between the one or more control points and the one or more configuration parameters, wherein the one or more control points depend upon the one or more configuration parameters;
- selecting a first control point of the one or more control points, wherein the first control point has a dependency upon at least one configuration parameter;
- determining one or more parameter conditions of the at least one configuration parameter that produce different values of the first control point;
- generating, by one or more of the processors, a plurality of equivalence classes utilizing the one or more parameter conditions, wherein each of the plurality of equivalence classes includes a plurality of class members that each include one or more parameter values corresponding to the one or more parameter conditions of the at least one configuration parameter;
- selecting, by one or more of the processors, one of the plurality of class members from each of the plurality of equivalence classes, resulting in a plurality of class representatives;
- and
- verifying each of the plurality of class representatives by one or more of the processors, wherein the verifying verifies the parameter state space of the configurable module.
5 more elements
An information handling system comprising:
- one or more processors;
- a memory coupled to at least one of the processors;
- a set of computer program instructions stored in the memory and executed by at least one of the processors in order to perform actions of:
- selecting, by one or more of the processors, a configurable module that includes one or more control points and one or more configuration parameters, wherein the one or more configuration parameters define a parameter state space of the configurable module;
- determining, by one or more of the processors, one or more dependencies between the one or more control points and the one or more configuration parameters, wherein the one or more control points depend upon the one or more configuration parameters;
- selecting a first control point of the one or more control points, wherein the first control point has a dependency upon at least one configuration parameter;
- determining one or more parameter conditions of the at least one configuration parameter that produce different values of the first control point;
- generating, by one or more of the processors, a plurality of equivalence classes utilizing the one or more parameter conditions, wherein each of the plurality of equivalence classes includes a plurality of class members that each include one or more parameter values corresponding to the one or more parameter conditions of the at least one configuration parameter;
- selecting, by one or more of the processors, one of the plurality of class members from each of the plurality of equivalence classes, resulting in a plurality of class representatives;
- and
- verifying each of the plurality of class representatives by one or more of the processors, wherein the verifying verifies the parameter state space of the configurable module.
8 more elements
A computer program product stored in a computer readable storage medium, comprising computer program code that, when executed by an information handling system, causes the information handling system to perform actions comprising:
- selecting, by one or more processors, a configurable module that includes one or more control points and one or more configuration parameters, wherein the one or more configuration parameters define a parameter state space of the configurable module;
- determining, by one or more of the processors, one or more dependencies between the one or more control points and the one or more configuration parameters, wherein the one or more control points depend upon the one or more configuration parameters;
- selecting a first control point of the one or more control points, wherein the first control point has a dependency upon at least one configuration parameter;
- determining one or more parameter conditions of the at least one configuration parameter that produce different values of the first control point;
- generating, by one or more of the processors, a plurality of equivalence classes utilizing the one or more parameter conditions, wherein each of the plurality of equivalence classes comprises a plurality of class members that each include one or more parameter values corresponding to the one or more parameter conditions of the at least one configuration parameter;
- selecting, by one or more of the processors, one of the plurality of class members from each of the plurality of equivalence classes, resulting in a plurality of class representatives;
- and
- verifying each of the plurality of class representatives by one or more of the processors, wherein the verifying verifies the parameter state space of the configurable module.
5 more elements
Dependencies are inferred from the claim text.