摘要 |
PROBLEM TO BE SOLVED: To reduce a storage capacity necessary for the creation or display of a determination table while maintaining display with a determination display format for improving the visibility of the inconsistency or omission of specifications.SOLUTION: For specifications of an arbitrary proposition format to be inspected acquired from a proposition rule storage section and specifications of an arbitrary proposition format to be compared, a specification inspection section determines whether or not the specifications of the two proposition formats are inconsistent or duplicate, and when those specifications are inconsistent or duplicate, decomposes the specifications of the proposition format to be inspected into the specifications of the proposition format which is inconsistent or duplicate with the specifications of the proposition format to be compared and the specifications of the proposition format which is not inconsistent or duplicate with the specifications of the proposition format to be compared, and registers those specifications in an inspection result storage section. A determination table creation section acquires one or both of the specifications of the proposition formats from the inspection result storage section, and extracts the condition section and result section of the specifications of the proposition formats about each of the specifications of the proposition formats to create the lines of a determination table, and shows a display range in the column of the pertinent lines of a row corresponding to the specifications of the proposition formats. |