Tablewise, a decision table tool

Decision tables are widely used for specifying finite functions, such as finite state transitions. We have developed a tool, Tablewise, that tests decision tables for consistency and completeness, displaying possible inputs for which no output or more than one output is specified. Tablewise also supports a novel form of structural analysis that localizes flaws that cause decision tables to be inconsistent or incomplete. Tablewise can generate Ada code implementing the function defined by a decision table and can generate English-language documentation describing that function. Tablewise uses algorithms based on variants of binary decision diagrams.