Table-form software specification manufacturing and supporting method and device

Abstract

The present invention provides a table-form software specification manufacturing and supporting method and a device, and input for manufacturing a decision table is cut down. The device supporting the software specification development is provided with a proposition specification accepting unit, a decision table manufacturing unit and a compatibility verifying unit. If the decision table manufacturing unit can be used for obtaining specification of various propositional forms from the proposition specification accepting unit, then as for every specification of the propositional forms, lines of the decision table can be manufactured through fetching a conditional part and a result part of the specification of the propositional form, columns of a line of a row corresponding to the specification of the propositional form, the compatibility verifying unit is used for fetching specifications of any two propositional forms of the propositional forms from the decision table, judging whether logic product of conditional parts of the specifications of the two propositional forms is satisfied or not, if yes, then each mutual contradiction of the specifications of the propositional forms can be output.

Description

technical field [0001] The present invention relates to a technique for supporting software development, and more particularly to a technique for creating and verifying software specifications in table form. Background technique [0002] Software specifications are sometimes defined by the correspondence between the conditions before software execution and the results after execution. It is known that the correspondence relationship between the conditions and the results can be expressed in a table format called a decision table, which is frequently used in the software development process. There are several different description formats in the decision table, but even for decision tables with different description formats, the semantics for expressing the correspondence between conditions and results are the same. Also, a decision table is sometimes called a condition matrix or a check list among other names. [0003] By expressing the specification using this determinati...

AI Technical Summary

Problems solved by technology

However, since the amount of description in the decision table remains the same, it is not possible to solve the problem that the input amount of the decision table increases and the workload of making the decision table increases, and the storage capacity required to save the decision table increases, and the corresponding specifications described in the decision table cannot be solved. The time required for verification takes more, and it is difficult to find the problem of redundancy in the specification

Images