Patent ID: 6948154

Claim:
In a computerized spreadsheet which includes multiple spreadsheet cells, a method for testing a first spreadsheet cell containing a first formula, the method comprising: creating a first formula graph for the first formula of the first spreadsheet cell, the first formula graph containing nodes representing predicates and definitions in the first formula of the first spreadsheet cell and edges representing execution flow between the nodes of the first formula graph; collecting one or more du-associations for the first spreadsheet cell, where each du-association relates a node in a second formula graph for a second formula of a second spreadsheet cell with one of a node or edge in the first formula graph of the first spreadsheet cell; tracking an execution trace for the first spreadsheet cell, where the execution trace comprises a sequence of nodes in the first formula graph of the first spreadsheet cell and a set of edges from the first formula graph connecting pairs of the nodes in the execution trace sequence; and after receiving a user validation of the first spreadsheet cell, marking as exercised the du-associations containing a node or edge in the execution trace for the first spreadsheet cell.