13. The digital processing system of claim 12 , wherein said first template specified by said first rule further specifies a set of local variables and corresponding local values in addition to said first set of variables, wherein said generating generates said first test case based on said first set of instructions, the identified values for said first set of variables and the corresponding local values for said set of local variables.
14. The digital processing system of claim 13 , wherein said first pattern is of the form “$1 A B $2”, where $1 and $2 are variables in said first set of variables and A and B are words of said natural language, wherein the positions of $1, A, B and $2 according to said first ordered sequence are 1, 2, 3 and 4 respectively, wherein said determining determines that said first statement matches said first pattern if said first statement is one of the forms “C A B E” and “C D A B E”, wherein C, D and E are words of said the natural language, since the positions of the words A and B are 2 and 3 as specified in said first pattern with the variable $1 identified as having the respective values “C” and “C D” and the variable $2 identified as having the value “E”.