Claims Analysis
Total Claims: 19
Claim 1
Independent Claim
153 words
A processor implemented method for automatically generating testcases to test a system having a plurality N of test sets each having a corresponding plurality of possible values, each testcase including for each test set a single one of the corresponding plurality of possible values, each testcase belonging to a testcase domain, the method comprising the steps of: 1) defining an uncovered set of tuples, each tuple defining an interaction between two or more particular values, each value selected from a different test set; 2) performing a simulation to select a testcase which maximizes the number of tuples in the uncovered set which are covered by the testcase, a particular testcase covering a particular tuple if all the values in the tuple are included in the testcase; and 3) removing the tuples covered by the selected testcase from the uncovered set; wherein the uncovered set of tuples consists of all possible M-tuples where 2≦M≦N.
Claim 2
Dependent Claim
153 words
A processor implemented method for automatically generating testcases to test a system having a plurality N of test sets each having a corresponding plurality of possible values, each testcase including for each test set a single one of the corresponding plurality of possible values, each testcase belonging to a testcase domain, the method comprising the steps of: 1) defining an uncovered set of tuples, each tuple defining an interaction between two or more particular values, each value selected from a different test set; 2) performing a simulation to select a testcase which maximizes the number of tuples in the uncovered set which are covered by the testcase, a particular testcase covering a particular tuple if all the values in the tuple are included in the testcase; and 3) removing the tuples covered by the selected testcase from the uncovered set; wherein the uncovered set of tuples consists of all possible M-tuples where 2≦M≦N.
Claim 3
Dependent Claim
15 words
A method according to claim 1 wherein the testcase domain consists of all possible testcases.
Claim 4
Dependent Claim
49 words
A method according to claim 2 wherein the simulation performed in step 2) comprises the steps of: i) generating randomly K testcases from the testcase domain, where K>=2; and ii) selecting from the K randomly generated testcases the testcase covering the largest number of M-tuples in the uncovered set.
Claim 5
Dependent Claim
18 words
A method according to claim 1 wherein the testcase domain consists of a subset of all possible testcases.
Claim 6
Dependent Claim
16 words
A method according to claim 4 wherein the subset is defined by constraints upon permitted testcases.
Claim 7
Dependent Claim
59 words
A method according to claim 5 wherein the simulation performed in step 2) comprises the steps of: i) generating testcases at random from the set of all possible testcases until K testcase are found which satisfy the constraints, where K>2; and ii) selecting from the K testcases the testcase covering the largest number of M-tuples in the uncovered set.
Claim 8
Dependent Claim
15 words
A method according to claim 4 wherein the subset is a set of existing testcases.
Claim 9
Dependent Claim
49 words
A method according to claim 7 wherein the simulation performed in step 2) comprises the steps of: i) selecting randomly K testcases from the testcase domain, where K>=2; and ii) selecting from the K randomly selected testcases the testcase covering the largest number of M-tuples in the uncovered set.
Claim 10
Dependent Claim
49 words
A method according to claim 4 wherein the simulation performed in step 2) comprises the steps of: i) generating randomly K testcases from the testcase domain, where K>=2; and ii) selecting from the K randomly generated testcases the testcase covering the largest number of M-tuples in the uncovered set.
Claim 11
Dependent Claim
20 words
A method according to claim 1 further comprising of repeating steps 2) and 3) until the uncovered set is empty.
Claim 12
Dependent Claim
49 words
A method according to claim 10 wherein the simulation performed in step 2) comprises the steps of: i) generating randomly K testcases from the testcase domain, where K>=2; and ii) selecting from the K randomly generated testcases the testcase covering the largest number of M-tuples in the uncovered set.
Claim 13
Dependent Claim
62 words
A method according to claim 1 further comprising the steps of: 4) counting the number of uncovered M-tuples covered by the testcase; 5) maintaining a running total of the total number or percentage of uncovered M-tuples covered by the testcases generated thus far; and 6) repeating steps 2), 3) 4) and 5) until a predetermined percentage of the uncovered M-tuples are covered.
Claim 14
Dependent Claim
15 words
A method according to claim 12 further comprising outputting each testcase with the respective percentage.
Claim 15
Dependent Claim
49 words
A method according to claim 13 wherein the simulation performed in step 2) comprises the steps of: i) generating randomly K testcases from the testcase domain, where K>=2; and ii) selecting from the K randomly generated testcases the testcase covering the largest number of M-tuples in the uncovered set.
Claim 16
Dependent Claim
49 words
A method according to claim 12 wherein the simulation performed in step 2) comprises the steps of: i) generating randomly K testcases from the testcase domain, where K>=2; and ii) selecting from the K randomly generated testcases the testcase covering the largest number of M-tuples in the uncovered set.
Claim 17
Dependent Claim
49 words
A method according to claim 1 wherein the simulation performed in step 2) comprises the steps of: i) generating randomly K testcases from the testcase domain, where K>=2; and ii) selecting from the K randomly generated testcases the testcase covering the largest number of M-tuples in the uncovered set.
Claim 18
Dependent Claim
183 words
A processor implemented method for automatically generating testcases to test a system having a plurality N of test sets each having a corresponding plurality of possible values, each testcase including for each test set a single one of the corresponding plurality of possible values, each testcase belonging to a testcase domain, the method comprising the steps of: 1) defining an uncovered set of tuples, each tuple defining an interaction between two or more particular values, each value selected from a different test set; 2) performing a simulation to select a testcase which maximizes the number of tuples in the uncovered set which are covered by the testcase, a particular testcase covering a particular tuple if all the values in the tuple are included in the testcase; and 3) removing the tuples covered by the selected testcase from the uncovered set; wherein the simulation performed in step 2) comprises the steps of: i) generating randomly K testcases from the testcase domain, where K>=2; and ii) selecting from the K randomly generated testcases the testcase covering the largest number of tuples in the uncovered set.
Claim 19
Dependent Claim
183 words
A processor implemented method for automatically generating testcases to test a system having a plurality N of test sets each having a corresponding plurality of possible values, each testcase including for each test set a single one of the corresponding plurality of possible values, each testcase belonging to a testcase domain, the method comprising the steps of: 1) defining an uncovered set of tuples, each tuple defining an interaction between two or more particular values, each value selected from a different test set; 2) performing a simulation to select a testcase which maximizes the number of tuples in the uncovered set which are covered by the testcase, a particular testcase covering a particular tuple if all the values in the tuple are included in the testcase; and 3) removing the tuples covered by the selected testcase from the uncovered set; wherein the simulation performed in step 2) comprises the steps of: i) generating randomly K testcases from the testcase domain, where K>=2; and ii) selecting from the K randomly generated testcases the testcase covering the largest number of tuples in the uncovered set.