SPECIFICATION EXTRACTION APPARATUS, SPECIFICATION EXTRACTION METHOD AND PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a specification extraction apparatus, a specification extraction method and a program capable of preventing a state transition table generated from a module from getting complicated.SOLUTION: The specification extraction apparatus includes: first generation means; and second generation means. The first generation means contracts a source code of a module, and generates a piece of intermediate specification information which represents a variation of an output variable of the source code from the contracted source code. The second generation means identifies a status variable from the intermediate specification information and generates a state transition table which represents a variation in the status variable.SELECTED DRAWING: Figure 2