Patent ID: 8386408
Filing Date: 2013-02-26
Classification: G06F,G06N

Abstract:
1. A method for testing a computation including: receiving, by a computer system, a rule specification including a set of rule cases, each rule case including a relationship for potential inputs and a corresponding output, at least one of the rule cases including a relationship that is satisfied by more than one set of potential inputs, receiving, by the computer system, a set of test cases, each test case containing a value for one or more of the potential inputs, and for each test case, identifying, by the computer system, one of the rule cases that will generate an output given the input values of the test case receiving, by the computer system, a second rule specification including a second set of rule cases, for each test case, displaying, by the computer system, a results row indicating each output generated by the first or second rule specification given the input values of the test case, and in response to user interaction with an indicated output in a results row indicating output of a rule case from the second rule specification, indicating, by the computer system, the indicated rule case includes indicating a rule case from the first rule specification and an output of that rule case that satisfies an input relationship of the indicated rule case.