CONSTRAINT PROGRAMMING FOR REDUCTION OF SYSTEM TEST-CONFIGURATION-MATRIX COMPLEXITY

• US 20100257406A1
• Filed: 06/21/2010
• Published: 10/07/2010
• Est. Priority Date: 04/09/2007
• Status: Active Grant

• Current Assignee: GlobalFoundries, Inc.
• Original Assignee: International Business Machines Corporation
• Inventors: WILLIAMS, Clay E., CHAKRA, AI, YILMAZ, Cemal, OGLE, David M., O'SULLIVAN, Patrick J.
• Granted Patent: US 7,890,803 B2
• Time in Patent Office: Days
• US Class Current: 714/32
• CPC Class Codes: G06F 11/3696 Methods or tools to render software testable

Abstract

A system for creating a system configuration data set includes an input operable to receive a set of system properties with attributes and values and a set of expressions representing a set of system test goals. The system further includes a processor operable to define a hierarchical tree structure with a plurality of nodes where each node represents one of the system properties and includes at least one of the attributes and the values and an output operable to output a set of system test data utilizing the hierarchical tree structure combined with the expressions. A method includes creating a hierarchical tree structure with a plurality of nodes where each node represents a system property. The method further includes receiving a set of expressions representing a set of system test goals and creating a set of system test data utilizing the hierarchical tree structure combined with the expressions.

Claims

1-20. -20. (canceled)

21. A method of creating a system configuration data set, the method comprising:

creating a hierarchical tree structure with a plurality of nodes where each node represents a system property and includes at least one of an attribute and a value;

receiving a set of expressions representing a set of system test goals, wherein the set of expressions includes at least one preference expression that defines at least one of testing knowledge, testing experience, and testing beliefs;

creating a set of system test data utilizing the hierarchical tree structure combined with the expressions;

receiving at least one bias value and at least preference value;

associating the at least one bias value with the at least one preference expression; and

associating the at least one priority value to the at least one preference value.

22. The method according to claim 21, wherein an expression includes at least one of:

if then;

iff;

if and;

or;

and negate;

true; and

false.

23. The method according to claim 21, wherein the expressions are first-order logic expressions that define conditional and quantified goals of a system.

24. The method according to claim 21, further comprising:

selecting at least one of the attribute, the value, and the expression so as to further define at least one of the set of system test goals.

25. The method according to claim 21, wherein the set of expressions includes at least one preference expression that defines at least one of testing knowledge, testing experience, and testing beliefs.

26. The method according to claim 21, further comprising:

associating a bias value to the at least one preference expression; and

associating a priority value to the at least one preference expression.

27. The method according to claim 21, wherein the system property is one of abstract and concrete.

28. A method of creating a system configuration data set, the method comprising:

creating a hierarchical tree structure with a plurality of nodes where each node represents a system property and includes at least one of an attribute and a value of the system property, wherein at least a set of nodes in the plurality of nodes are at on a first level of the hierarchical tree structure, wherein each node in the set of nodes represent at least one of hardware and software components of a system, and wherein each node in the set of nodes comprises a set of child nodes on a second level of the hierarchical tree structure, wherein each child node comprises the at least one of the attribute and the value of the system property of the system;

receiving a set of logical expressions representing a set of system test goals; and

creating a set of system test data based on the hierarchical tree structure combined with the set of logical expressions.