Detection of Logical Errors in Decision Table Programs

In this paper an algorithm to detect logical
errors in a limited-entry decision table and in 
loop-free programs with embedded decision tables is developed.
 All the conditions in the decision tables 
are assumed to be inequalities or equalities relating
linear expressions.  It is also assumed that actions 
in a decision table are linear in variables which occur
in the condition stub of the decision table (or 
tables) to which control is transferred from the table.
 The algorithm is based on determining whether 
a set of linear inequalities has or does not have a
solution.  The algorithm described in the paper is 
implemented in Fortran IV.

CACM December, 1978

Ibramsha, M.
Rajaraman, V.

Error diagnostics, decision tables

3.5 4.1 4.42 5.24

CA781205 DH January 18, 1979  4:06 PM

2053	4	3034
2221	4	3034
2273	4	3034
2453	4	3034
2517	4	3034
2517	4	3034
2518	4	3034
2616	4	3034
2616	4	3034
2856	4	3034
3034	4	3034
3034	4	3034
3034	4	3034
1684	5	3034
2053	5	3034
2517	5	3034
3034	5	3034
3034	5	3034
3034	5	3034