JP6364332B2 - Specification generation method, specification generation device, and program - Google Patents

Specification generation method, specification generation device, and program Download PDF

Info

Publication number
JP6364332B2
JP6364332B2 JP2014234768A JP2014234768A JP6364332B2 JP 6364332 B2 JP6364332 B2 JP 6364332B2 JP 2014234768 A JP2014234768 A JP 2014234768A JP 2014234768 A JP2014234768 A JP 2014234768A JP 6364332 B2 JP6364332 B2 JP 6364332B2
Authority
JP
Japan
Prior art keywords
intermediate data
input
business
variable
based
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
JP2014234768A
Other languages
Japanese (ja)
Other versions
JP2016099726A (en
Inventor
芳卓 師
芳卓 師
阿部 正佳
正佳 阿部
裕介 阿部
裕介 阿部
Original Assignee
株式会社エヌ・ティ・ティ・データ
株式会社Nttデータ数理システム
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 株式会社エヌ・ティ・ティ・データ, 株式会社Nttデータ数理システム filed Critical 株式会社エヌ・ティ・ティ・データ
Priority to JP2014234768A priority Critical patent/JP6364332B2/en
Publication of JP2016099726A publication Critical patent/JP2016099726A/en
Application granted granted Critical
Publication of JP6364332B2 publication Critical patent/JP6364332B2/en
Application status is Active legal-status Critical
Anticipated expiration legal-status Critical

Links

Images

Description

  The present invention relates to a specification generation method, a specification generation device, and a program.

  In recent years, large-scale systems that have been used for many years have been updated. In such a large-scale system, there may be a case in which no other than the source code (for example, a design document) remains. In order to cope with such a case, a technique for analyzing a source code is known (see, for example, Patent Document 1).

JP 2008-181311 A

  However, the above-described technique provides support for understanding the system specifications, for example, by displaying a graph showing the structure of the source code, and it is difficult to generate an easy-to-understand design document from the source code. It was.

  The present invention has been made to solve the above problems, and an object of the present invention is to provide a specification generation method, a specification generation device, and a program capable of generating an easy-to-understand design document from source code.

  In order to solve the above problem, according to an aspect of the present invention, an intermediate data generation unit acquires a source code described in the source file from a source storage unit that stores the source file, and the acquired source code is stored in the source code. An intermediate data generation step for generating intermediate data in which the first variable for parsing and storing the result of the processing, the logical expression expressed by the input variable, and the value of the first variable are associated with each other; Based on a second variable that stores a processing result of the input check specified in advance, the division processing unit converts the intermediate data into input intermediate data indicating a processing portion corresponding to the input check, and the input check. A division processing step for dividing the data into business intermediate data indicating a business processing portion not including a corresponding processing portion, and a simplification processing unit include the second processing unit included in the input intermediate data. Based on the logical expression corresponding to the value of the second variable when the input check is successful among the variable values, unnecessary logical expressions are deleted from the business intermediate data and simplified. A simplified processing step for generating business intermediate data, and a design document generation unit generates an input check design document describing a design specification related to the input check based on the input intermediate data, and the simplified business process And a design document generation step of generating a business process design document describing a design specification related to the business process based on intermediate data.

  Further, according to one aspect of the present invention, in the specification generation method described above, in the simplification process step, unnecessary logical expressions are deleted from the input intermediate data based on a predetermined algorithm, which is simplified. The generated input intermediate data is generated, and in the design document generation step, an input check design document describing a design specification related to the input check is generated based on the simplified input intermediate data. .

  Further, according to one aspect of the present invention, in the specification generation method described above, in the simplification processing step, based on a decision tree constructed based on the logical expression, the business intermediate data and the input intermediate data It is characterized in that a logical expression that does not need to be included in at least one is deleted.

  Further, according to one aspect of the present invention, in the specification generation method, in the simplification processing step, a logical expression that does not need to be described is generated based on a logical expression already described according to a description order of values of the second variable. It is characterized by deleting.

  Further, according to one aspect of the present invention, the intermediate data generation unit acquires the source code described in the source file from the source storage unit that stores the source file, parses the acquired source code, and performs processing An intermediate data generation step for generating intermediate data in which a first variable for storing the result of the above, a logical expression expressed by an input variable, and a value of the first variable are associated with each other; Based on the second variable that stores the processing result of the designated input check, the intermediate data includes the input intermediate data indicating the processing portion corresponding to the input check, and the processing portion corresponding to the input check. A division processing step for dividing the data into business intermediate data indicating a part of business processing not included, and a simplification processing unit, based on a predetermined algorithm, the input intermediate A simplification processing step for generating unnecessary input intermediate data by deleting unnecessary logical expressions from the data, and a design document generation unit that performs the input check based on the simplified input intermediate data. A specification generation method including a design document generation step for generating an input check design document describing a design specification related to the business process and generating a business process design document describing a design specification related to the business process based on the business intermediate data is there.

  According to another aspect of the present invention, a source code described in the source file is acquired from a source storage unit that stores the source file, the acquired source code is parsed, and a processing result is stored. An intermediate data generating unit that generates intermediate data in which a variable of 1 is expressed, a logical expression expressed by an input variable, and a value of the first variable, and a processing result of an input check specified in advance are stored. Based on the second variable, the intermediate data is divided into input intermediate data indicating a part of processing corresponding to the input check and business intermediate data indicating a part of business processing not including the part of processing corresponding to the input check. A division processing unit that divides the input variable and the second variable value included in the input intermediate data before the second variable value when the input check is successful. A simplification processing unit that deletes unnecessary logical expressions from the business intermediate data based on logical expressions and generates simplified business intermediate data, and a design specification related to the input check based on the input intermediate data A specification generation apparatus comprising: a design document generation unit that generates an input check design document that describes a business process and a business process design document that describes a design specification related to the business process based on the simplified business intermediate data It is.

  According to another aspect of the present invention, a source code described in the source file is acquired from a source storage unit that stores the source file, the acquired source code is parsed, and a processing result is stored. An intermediate data generating unit that generates intermediate data in which a variable of 1 is expressed, a logical expression expressed by an input variable, and a value of the first variable, and a processing result of an input check specified in advance are stored. Based on the second variable, the intermediate data is divided into input intermediate data indicating a part of processing corresponding to the input check and business intermediate data indicating a part of business processing not including the part of processing corresponding to the input check. And a simplified processing of the input intermediate data by deleting unnecessary logical expressions from the input intermediate data based on a predetermined processing algorithm. And an input check design document describing design specifications related to the input check based on the simplified input intermediate data, and the business process based on the business intermediate data The specification generation apparatus includes a design document generation unit that generates a business process design document describing a design specification related to the process.

  In one embodiment of the present invention, a source code described in the source file is acquired from a source storage unit that stores the source file in a computer, the acquired source code is parsed, and a processing result is obtained. An intermediate data generation step for generating intermediate data in which a first variable to be stored, a logical expression expressed by an input variable, and a value of the first variable are associated with each other, and a processing result of an input check designated in advance The intermediate data, the intermediate data indicating the portion of the processing corresponding to the input check, and the portion of the business process not including the portion of the processing corresponding to the input check A division processing step for dividing the data into business intermediate data, and before the input check is successful among the values of the second variable included in the input intermediate data. A simplified processing step for generating simplified business intermediate data by deleting unnecessary logical formulas from the business intermediate data based on the logical formula corresponding to the value of the second variable; and the input intermediate data An input check design document describing the design specifications related to the input check is generated based on the above, and a business process design document describing the design specifications related to the business process is generated based on the simplified business intermediate data A program for executing a design document generation step.

  In one embodiment of the present invention, a source code described in the source file is acquired from a source storage unit that stores the source file in a computer, the acquired source code is parsed, and a processing result is obtained. An intermediate data generation step for generating intermediate data in which a first variable to be stored, a logical expression expressed by an input variable, and a value of the first variable are associated with each other, and a processing result of an input check designated in advance The intermediate data, the intermediate data indicating the portion of the processing corresponding to the input check, and the portion of the business process not including the portion of the processing corresponding to the input check Based on a division processing step for dividing into business intermediate data and a predetermined algorithm, an unnecessary logical expression is deleted from the input intermediate data, A simplified processing step for generating the input intermediate data that has been materialized; and an input check design document that describes a design specification related to the input check based on the simplified input intermediate data; A program for executing a design document generation step for generating a business process design document describing a design specification related to the business process based on data.

  According to the present invention, a design document that is easy to understand can be generated from source code.

It is a block diagram which shows an example of the specification production | generation system by this embodiment. It is a figure which shows the example of data of the source file memory | storage part in this embodiment. It is a figure which shows the example of data of the setting file memory | storage part in this embodiment. It is a figure which shows an example of the input check design document in this embodiment. It is a figure which shows an example of the business processing design document in this embodiment. It is a figure which shows an example of the intermediate data in this embodiment. It is a figure which shows an example of the input intermediate data in this embodiment. It is a figure which shows an example of the business intermediate data in this embodiment. It is a figure which shows an example of the input intermediate data simplified in this embodiment. It is a figure which shows an example of the simplified business intermediate data in this embodiment. It is a flowchart which shows an example of operation | movement of the specification production | generation apparatus by this embodiment. It is a figure which shows an example of the simplification process of the input intermediate data in this embodiment. It is a figure which shows an example of the order evaluation in the simplification process of this embodiment. It is a figure which shows an example of the simplification process using the decision tree in this embodiment. It is a figure which shows an example of the business process design document in the modification of this embodiment. It is a 1st figure explaining an example of the simplification process of the business intermediate data using the decision tree in the modification of this embodiment. It is a 2nd figure explaining an example of the simplification process of the business intermediate data using the decision tree in the modification of this embodiment. It is a 3rd figure explaining an example of the simplification process of the business intermediate data using the decision tree in the modification of this embodiment.

Hereinafter, a specification generation device and a specification generation system according to an embodiment of the present invention will be described with reference to the drawings.
FIG. 1 is a block diagram illustrating an example of a specification generation system 100 according to the present embodiment.
As shown in this figure, the specification generation system 100 includes a specification generation device 1 and a file server device 30. The specification generation device 1 and the file server device 30 are connected via a network, for example.

  The file server device 30 is, for example, a server device including a storage device, and stores a source file and a setting file that are input information of the specification generation device 1 and a design document that is output information of the specification generation device 1. The file server device 30 includes a source file storage unit 31, a setting file storage unit 32, and a design document storage unit 33.

  The source file storage unit 31 (an example of a source storage unit) stores, for example, a source file for generating a design document, which is a source file of an existing system program. Note that the source file storage unit 31 may store a plurality of source files in advance. The source file storage unit 31 stores, for example, a source file as shown in FIG.

FIG. 2 is a diagram illustrating an example of data in the source file storage unit 31 in the present embodiment.
In the example shown in this figure, the source code (SC1) of the program for calculating the purchase price is shown. In the source code SC1, the storage variables (first variables) for storing the processing results are “PRICE” and “ERR”, and this program is the number of purchases (“NUM”) and the product is alcohol (“AFLG”). "), The computer is caused to perform an input check as to whether the age is over 20 years old. In the source code SC1, the program causes the computer to execute a business process for outputting the total amount when the above-described input check condition is satisfied. Thus, in the source code (SC1), the input check process corresponding to the input check and the business process are mixed. Here, the input check process is, for example, a process of checking whether or not an input value falls within a possible range in terms of specifications. The business process is, for example, a process executed by a program in order to achieve a predetermined purpose (for example, a business purpose).

  Returning to the description of FIG. 1, the setting file storage unit 32 stores a setting file for setting an error code storage variable (second variable) for storing the processing result of the input check. Here, the error code storage variable is set in advance after the user confirms the contents of the source code, for example. The error code storage variable (second variable) is a part of the storage variable (first variable), and the storage variable (first variable) includes an error code storage variable (second variable). Variable). As illustrated in FIG. 3, the setting file storage unit 32 associates the error code storage variable and a value indicating the success of the input check and stores them as a setting file.

FIG. 3 is a diagram illustrating an example of data in the setting file storage unit 32 in the present embodiment.
In the example shown in this figure, a setting file (EV1) is shown. In this example, the setting file storage unit 32 stores the error code storage variable “ERR” and the value “00” indicating the success of the input check in association with each other as a setting file (EV1).

  Returning to the description of FIG. 1 again, the design document storage unit 33 stores a design document that is output information (output result) of the specification generation device 1. Since the specification generation device 1 generates an input check design document and a business process design document from the source code, the design document storage unit 33 stores the input check design document and the business process design document. Here, the input check design document is a design document describing a design specification related to the input check. The business process design document is a design document describing design specifications related to business processes. When a plurality of source files are input to the specification generation device 1, the design document storage unit 33 may store a plurality of input check design documents and a plurality of business process design documents. Here, an example of the input check design document and the business process design document will be described with reference to FIGS. 4 and 5. The input check design document and the business process design document shown in FIGS. 4 and 5 are examples when the specification generation device 1 generates the source code (SC1) shown in FIG. 2 described above.

FIG. 4 is a diagram showing an example of the input check design document in the present embodiment.
As shown in this figure, the input check design document includes, for example, information that associates “NO.”, “Input check content”, and “error code”. Here, “NO.” Indicates an input check number, and “input check content” indicates a check condition (logical expression) that is the content of the input check. “Error code” indicates the value of an error code storage variable. Note that the input check design document of this embodiment does not include “input check content” and “error code” when the input check is successful.
In the example shown in FIG. 4, for example, the specification of the input check with “NO” being “1” is “NUM <1 || NUM> 99” for “input check content” and “E1” for “error code”. ".

FIG. 5 is a diagram showing an example of a business process design document in the present embodiment.
As shown in this figure, the business process design document includes, for example, information that associates “variable names”, “update contents”, and “conditions”. Here, “variable name” indicates the name of a storage variable that stores the processing result, and “update content” indicates content that is updated as a value of the variable. “Condition” indicates a condition for updating the variable. In the business process design document of this embodiment, it is assumed that the input check has been successful, and the conditions for the successful input check are not described.
In the example shown in FIG. 5, for example, a business specification whose “variable name” is “PRICE” indicates that “update content” is “PROD.PRICE * NUM” and “condition” is “always satisfied”. ing.

Returning to the description of FIG. 1 again, the specification generation device 1 includes a storage unit 10 and a control unit 20.
The storage unit 10 stores various information used by the specification generation device 1. The storage unit 10 includes, for example, an intermediate data storage unit 11, a divided intermediate data storage unit 12, and a simplified intermediate data storage unit 13.

  The intermediate data storage unit 11 stores intermediate data (sometimes referred to as an intermediate decision table) generated by an intermediate data generation unit 21 described later using a symbol execution technique. Here, as shown in FIG. 6, the intermediate data includes information in which a storage variable (first variable), a logical expression expressed by an input variable, and a value of the storage variable are associated with each other.

FIG. 6 is a diagram illustrating an example of intermediate data in the present embodiment.
In the example shown in this figure, intermediate data (DT1) generated based on the source code (SC1) shown in FIG. 2 described above is shown. In this example, the storage variables (first variables) are “PRICE” and “ERR”, and for each of these variables, the logical expression expressed by the input variable is associated with the value of the storage variable.

  Returning to the description of FIG. 1 again, the divided intermediate data storage unit 12 stores the divided intermediate data divided (separated) based on the error code storage variable by the division processing unit 22 described later. Note that the divided intermediate data includes input intermediate data indicating a processing portion corresponding to the input check and business intermediate data indicating a business processing portion not including the processing portion corresponding to the input check. Here, an example of input intermediate data and business intermediate data will be described with reference to FIGS. 7 and 8. Note that the input intermediate data and business intermediate data shown in FIGS. 7 and 8 are examples when the intermediate data (DT1) shown in FIG. 6 is divided.

FIG. 7 is a diagram illustrating an example of the input intermediate data in the present embodiment.
In this figure, the input intermediate data (SDT1) is data obtained by dividing (separating) the processing portion corresponding to the input check of the intermediate data (DT1) shown in FIG. As shown in this figure, it includes a logical expression corresponding to an error code storage variable (for example, “ERR”) and the value of the error code storage variable.

FIG. 8 is a diagram showing an example of business intermediate data in the present embodiment.
In this figure, business intermediate data (SDT2) is data obtained by dividing (separating) the processing portion corresponding to the business processing of the intermediate data (DT1) shown in FIG. As shown in this figure, a logical expression corresponding to a storage variable (for example, “PRICE”) that stores the result of the business process and the value of the storage variable are included.

  Returning to the description of FIG. 1 again, the simplified intermediate data storage unit 13 stores the intermediate data simplified by deleting unnecessary logical expressions by the simplification processing unit 23 described later. The simplified intermediate data includes simplified input intermediate data and simplified business intermediate data. Here, an example of simplified input intermediate data and simplified business intermediate data will be described with reference to FIGS. 9 and 10. Details of the process for simplifying the intermediate data (simplification process) will be described later.

FIG. 9 is a diagram illustrating an example of simplified input intermediate data in the present embodiment.
In this figure, simplified input intermediate data (SDT3) is data obtained by simplifying the input intermediate data (SDT1) shown in FIG. As shown in this figure, the simplified input intermediate data (SDT3) is input intermediate data from which unnecessary logical expressions are deleted by a predetermined algorithm described later.

FIG. 10 is a diagram illustrating an example of simplified business intermediate data according to the present embodiment.
In this figure, simplified business intermediate data (SDT4) is data obtained by simplifying the business intermediate data (SDT2) shown in FIG. As shown in this figure, the simplified business intermediate data (SDT4) is business intermediate data from which unnecessary logical expressions are deleted by a predetermined algorithm described later.

  Returning to the description of FIG. 1 again, the control unit 20 is a processor including, for example, a CPU (Central Processing Unit) and the like, and comprehensively controls the specification generation device 1. The control unit 20 includes, for example, an intermediate data generation unit 21, a division processing unit 22, a simplification processing unit 23, and a design document generation unit 24.

  The intermediate data generation unit 21 acquires the source code described in the source file from the source file storage unit 31 of the file server device 30. The intermediate data generation unit 21 parses the acquired source code and generates intermediate data using a symbol execution technique. For example, the intermediate data generation unit 21 generates intermediate data (for example, see FIG. 6) in which a storage variable (first variable), a logical expression expressed by an input variable, and a value of the storage variable are associated with each other. To do. Here, the symbol execution technique refers to a constraint condition using a pair of a variable and a corresponding constraint condition (logical expression) instead of executing a program while substituting ordinary specific values for the variable. It is a technology that performs simulation while updating (logical formula).

By using symbol execution technology, the intermediate data generation unit 21 can handle all ranges of values that can be taken by variables, not individual values, collectively through constraint conditions (logical expressions). In the data, intermediate variables other than the storage variable for storing the processing result can be deleted.
The intermediate data generation unit 21 includes a syntax analysis unit 211 and a symbol execution unit 212.

The syntax analysis unit 211 performs syntax analysis on the source code acquired from the source file storage unit 31.
The symbol execution unit 212 generates the intermediate data as shown in FIG. 6 described above using a symbol execution technique based on the analysis result analyzed by the syntax analysis unit 211. The symbol execution unit 212 stores the generated intermediate data in the intermediate data storage unit 11.

  The division processing unit 22 divides the above-described intermediate data into input intermediate data and business intermediate data based on an error code storage variable designated in advance. For example, the division processing unit 22 acquires a setting file (for example, see FIG. 3) from the setting file storage unit 32 of the file server device 30. The division processing unit 22 converts the intermediate data stored in the intermediate data storage unit 11 based on the error code storage variable specified by the acquired setting file into the input intermediate data as shown in FIG. The data is divided (separated) into business intermediate data as shown in FIG. That is, for example, the division processing unit 22 extracts a portion including the error code storage variable from the intermediate data and separates it as input intermediate data. For example, the division processing unit 22 extracts a portion that does not include the error code storage variable from the intermediate data, and separates it as business intermediate data. The division processing unit 22 stores the divided (separated) input intermediate data and business intermediate data in the divided intermediate data storage unit 12.

The simplification processing unit 23 is unnecessary from the business intermediate data based on the logical expression corresponding to the value of the error code storage variable when the input check is successful among the values of the error code storage variable included in the input intermediate data. Simple business intermediate data is generated by deleting simple logical expressions. In addition, the simplification processing unit 23 deletes unnecessary logical expressions from the input intermediate data based on a predetermined algorithm, and generates simplified input intermediate data.
The simplification processing unit 23 includes an input specification generation unit 231 and a business specification generation unit 232.

  The input specification generation unit 231 generates simplified input intermediate data based on a predetermined algorithm. That is, the input specification generation unit 231 deletes unnecessary logical expressions from the input intermediate data, for example, using the following two methods, and generates simplified input intermediate data.

(First method)
The input specification generation unit 231 deletes redundant logical expressions included in the input intermediate data based on logical expressions (for example, “X == 1 and X == 2”, etc.) that are false conditions. For example, when attention is paid to a logical expression “X == 1 and X == 2” that is a false condition, a logical expression that is negative (NOT) of one of the logical expressions that are false conditions is “X” == 1 and X! = 2 ”,“ X! = 2 ”is a redundant logical expression. In this case, the input specification generation unit 231 executes a simplification process by deleting the redundant logical expression “X! = 2” and setting “X == 1”.
It is assumed that the logical expression serving as the false condition is extracted, for example, in the process executed by the symbol execution unit 212 described above. The input specification generation unit 231 extracts a logical expression in which one of the logical expressions that are the false conditions extracted by the symbol execution unit 212 is negative (NOT), for example, from the input intermediate data. The input specification generation unit 231 deletes a redundant logical expression part in the logical expression.

(Second method)
In the input specification generation unit 231, the simplification processing unit 23 deletes the already described logical expression based on the description order of the value of the error code storage variable. The second method is a method of paying attention to the description order and deleting check conditions that have already been described (appeared) as checked (described). For example, consider the case where the order of input checks is as follows.

(1) If “X! = 1 and X! = 2”, the error code storage variable “ERR” is “E3”.
(2) If “(X == 1 or X == 2) and P == 1”, the error code storage variable “ERR” is “E2”.

In this case, since the logical expression “(X == 1 or X == 2)” in (2) is already described, the input specification generation unit 231 uses the logical expression “(X = = 1 or X == 2) "is deleted. In this way, the input specification generation unit 231 deletes a logical expression obtained by logically inverting a logical expression that has already been described as a logical expression that has already been described. That is, the input specification generation unit 231 deletes a logical expression that does not need to be described based on the logical expression already described according to the description order of the value of the error code storage variable.
In the present embodiment, the input specification generation unit 231 executes the simplification process by the (second method) based on the decision tree. Details of the simplification process according to this embodiment will be described later.

  In this way, the input specification generation unit 231 uses the above-described (first method) or (second method) to delete unnecessary logical expressions from the input intermediate data, as shown in FIG. Generate simplified input intermediate data. Here, the input specification generation unit 231 may delete an unnecessary logical expression from the input intermediate data by using any one of the above-described (first method) and (second method). However, an unnecessary logical expression may be deleted from the input intermediate data by using both (first method) and (second method). The input specification generation unit 231 stores the generated simplified input intermediate data in the simplified intermediate data storage unit 13.

  Based on the logical expression corresponding to the value of the error code storage variable when the input check described above is successful, the business specification generation unit 232 deletes unnecessary logical expressions from the intermediate business data, thereby simplifying the business Generate intermediate data.

  For example, in the example of the input intermediate data shown in FIG. 7, the value of the error code storage variable when the input check is successful is when “ERR” is “00”. In this case, the logical expression corresponding to the value of the error code storage variable is “(AGE> = 20 || PROD.AFLG! = 1) && NUM> = 1 && NUM <= 99”. The business specification generation unit 232 uses, for example, the above-described (second method) to calculate the logical expression “(AGE> = 20 || PROD.AFLG! = 1) && NUM> = 1 and && NUM <= 99”. Based on, delete as unnecessary logical expression. The business specification generation unit 232 first constructs a decision tree of a storage variable “PRICE” corresponding to a storage variable other than the error code storage variable “ERR”. The business specification generation unit 232 then creates a logical expression “NUM <1” that is a negative (NOT) of the logical expression “(AGE> = 20 || PROD.AFLG! = 1) && NUM> = 1 && NUM <= 99”. || NUM> 99 || (AGE <20 && PROD.AFLG = 1) ". The business specification generation unit 232 deletes unnecessary logical expressions from the business intermediate data by using the constructed decision tree and a logical expression that is negative (NOT) when the input check is successful. To do.

As a result, the business specification generation unit 232 generates simplified business intermediate data as shown in FIG. Note that, in the simplification process of the business intermediate data, the business specification generation unit 232 details the process of simplifying the business intermediate data based on the decision tree. The business specification generation unit 232 stores the generated simplified business intermediate data in the simplified intermediate data storage unit 13.
The business specification generation unit 232 uses not only the (second method) described above but also the (first method) in the simplification processing of the business intermediate data, and uses the (first method) to generate unnecessary logical expressions from the business intermediate data. It may be deleted. In other words, the business specification generation unit 232 uses one of the above-described (first technique) and (second technique) in the simplification process of the business intermediate data, and is unnecessary from the business intermediate data. The logical expressions may be deleted, or unnecessary logical expressions may be deleted from the business intermediate data by using both (first method) and (second method).

  The design document generator 24 generates an input check design document as shown in FIG. 4 based on the simplified input intermediate data. Further, the design document generation unit 24 generates a business process design document as shown in FIG. 5 based on the simplified business intermediate data. The design document generation unit 24 outputs the generated input check design document and business process design document to the file server device 30, and stores the input check design document and business process design document in the design document storage unit 33. The design document generation unit 24 includes an input specification shaping unit 241 and a business specification shaping unit 242.

Based on the simplified input intermediate data, the input specification shaping unit 241 generates an input check design document describing a design specification related to input check.
Since the simplified input intermediate data is generated based on the input intermediate data divided by the division processing unit 22, the input specification shaping unit 241 has the input intermediate data divided by the division processing unit 22. An input check design document may be generated based on the data.

Based on the simplified business intermediate data, the business specification shaping unit 242 generates a business process design document that describes design specifications related to business processes.
Since the simplified business intermediate data is generated based on the business intermediate data divided by the division processing unit 22, the business specification shaping unit 242 has the business intermediate data divided by the division processing unit 22. A business process design document may be generated based on the data.

Next, the operation of the specification generation device 1 according to the present embodiment will be described with reference to the drawings.
FIG. 11 is a flowchart illustrating an example of the operation of the specification generation device 1 according to the present embodiment.
In this figure, first, the control unit 20 of the specification generation apparatus 1 acquires a source file (step S101). That is, the intermediate data generation unit 21 of the control unit 20 acquires the source code described in the source file from the source file storage unit 31 of the file server device 30.

Next, the syntax analysis unit 211 of the intermediate data generation unit 21 performs syntax analysis on the source code acquired from the source file storage unit 31 (step S102).
Next, the symbol execution unit 212 of the intermediate data generation unit 21 generates intermediate data using a symbol execution technique (step S103). That is, the symbol execution unit 212 uses a symbol execution technique based on the analysis result obtained by the syntax analysis unit 211 to analyze the storage variable, the logical expression expressed by the input variable, the value of the storage variable, Intermediate data in which is associated with is generated. The symbol execution unit 212 stores the generated intermediate data in the intermediate data storage unit 11.

  Next, the division processing unit 22 divides the intermediate data based on the input check variable (step S104). That is, the division processing unit 22 uses the intermediate data stored in the intermediate data storage unit 11 as input intermediate data based on the error code storage variable specified by the setting file acquired from the setting file storage unit 32 of the file server device 30. And business intermediate data. The division processing unit 22 causes the divided intermediate data storage unit 12 to store the divided input intermediate data and business intermediate data.

  Further, the business specification generation unit 232 of the simplification processing unit 23 simplifies the business intermediate data based on the logical expression when the input check is successful (step S105). The business specification generation unit 232 acquires the business intermediate data from the intermediate data storage unit 11 and is unnecessary from the business intermediate data based on the logical expression corresponding to the value of the error code storage variable when the input check described above is successful. Simple business intermediate data is generated by deleting simple logical expressions. The business specification generation unit 232 deletes unnecessary logical expressions from the business intermediate data by using, for example, (first method) and (second method). The business specification generation unit 232 stores the generated simplified business intermediate data in the simplified intermediate data storage unit 13.

  Next, the input specification generation unit 231 of the simplification processing unit 23 simplifies the input intermediate data (step S106). The input specification generation unit 231 acquires the input intermediate data from the intermediate data storage unit 11, and uses, for example, the above-described (first method) and (second method) to generate unnecessary logical expressions from the input intermediate data. Is deleted. The input specification generation unit 231 stores the simplified input intermediate data generated by deleting unnecessary logical expressions from the input intermediate data in the simplified intermediate data storage unit 13.

  Next, the design document generating unit 24 formats the simplified input intermediate data and business intermediate data to generate an input check design document and a business process design document (step S107). That is, the input specification shaping unit 241 of the design document generation unit 24 generates an input check design document based on the simplified input intermediate data stored in the simplified intermediate data storage unit 13. Further, the business specification shaping unit 242 generates a business process design document based on the simplified business intermediate data stored in the simplified intermediate data storage unit 13.

  Next, the design document generation unit 24 outputs an input check design document and a business process design document (step S108). That is, the design document generation unit 24 outputs the generated input check design document and business process design document to the file server device 30, and stores the input check design document and business process design document in the design document storage unit 33. After the process of step S108, the design document generator 24 ends the process of the controller 20 of the specification generator 1.

In the example shown in FIG. 11 described above, the processing from step S101 to step S103 corresponds to the intermediate data generation step. Further, the processing in step S104 corresponds to a division processing step. The processing of step S105 and step S106 corresponds to a simplification processing step. Moreover, the process of step S107 and step S108 corresponds to a design document generation step.
Moreover, although the example mentioned above demonstrated an example in case the specification production | generation apparatus 1 produces | generates the input check design document and the business process design document with respect to one source file, the input check design with respect to several source files is demonstrated. Document and business process design document may be generated. In this case, the specification generation apparatus 1 repeatedly executes the above-described processing from step S101 to step S108 according to the number of source files.

Next, an example of input intermediate data simplification processing in the present embodiment will be described with reference to FIG.
FIG. 12 is a diagram illustrating an example of simplification processing of input intermediate data according to the present embodiment. With reference to this figure, the simplification process of the input intermediate data by the above (second method) will be described.

As shown in FIG. 12, in the input intermediate data (SDT5) before the simplification process, the value of the error code storage variable is described in the order of “E1” → “E2” → “E3”. In this case, since the logical expression “XX code ==“ 100 ”” in “E1” corresponds to the logical expression already described, the logical expression LG1 becomes a deletion target (logical expression that does not need to be described). Further, since the logical expression “A-DATE <B-DATE” in “E2” corresponds to the logical expression already described, the logical expression LG2 is a deletion target.
Therefore, the input specification generation unit 231 deletes the logical expressions LG1 and LG2, and generates simplified input intermediate data (SDT6).

  In the above (second method), the logical expression that can be deleted changes depending on the order in which the value of the error code storage variable is written. The input specification generation unit 231 deletes a logical expression that need not be described in a plurality of patterns in which the description order of the value of the error code storage variable is changed, and selects a pattern that can be simplified most among the plurality of patterns. Here, an example of order evaluation by the input specification generation unit 231 will be described with reference to FIG.

FIG. 13 is a diagram illustrating an example of order evaluation in the simplification process of the present embodiment.
In this figure, input intermediate data (SDT1) is input intermediate data before simplification processing, and is an example similar to the input intermediate data shown in FIG. The evaluation result TC1 indicates a buy evaluation result described in the order of “E1” → “E2” → “0” as “order 1”, and the evaluation result TC2 indicates “E2” as “order 2”. The buy evaluation results described in the order of “E1” → “0” are shown.

In the example illustrated in FIG. 13, the evaluation result TC1 based on “order 1” indicates that the number of logical expressions of the input intermediate data (SDT1) is simplified to four, and the evaluation result TC2 based on “order 2” is It shows that the number of logical expressions of the input intermediate data (SDT1) remains six. In this case, the input specification generation unit 231 selects “order 1”.
Note that the input specification generation unit 231 may perform the above-described evaluation for all combinations of orders, for example, using an optimization method that generates a realistic combination such as a genetic algorithm. Also good.

Next, with reference to FIG. 14, an example in which the input specification generation unit 231 executes the simplification process by the (second method) based on the decision tree will be described in detail.
FIG. 14 is a diagram illustrating an example of a simplification process using a decision tree in the present embodiment.
In this example, the “original logical expression” shown in FIG. 14A is simplified based on the “checked condition”. In this case, the input specification generation unit 231 first constructs a “original logical expression” decision tree as shown in FIG. In the decision tree of this figure, the solid line indicates “True” (true) and the broken line indicates “False” (false).

Next, the input specification generation unit 231 assigns the symbol “⊥” (a symbol meaning “anything”) to the “checked condition” portion of the decision tree as illustrated in FIG.
Next, as shown in FIG. 14D, the input specification generation unit 231 deletes a node (a circled portion) that has passed through the decision tree retroactively from the symbol “⊥”. In the example shown here, the node relating to the logical expression “P == 1” remains. As a result, as shown in FIG. 14E, the input specification generation unit 231 generates simplified input intermediate data “E2” if P == 1.
As described above, the input specification generation unit 231 deletes the described logical expression based on the decision tree constructed based on the logical expression.

<First Modification>
Next, a modification of the present embodiment will be described with reference to FIGS.
In the present embodiment, the example in which the specification generation device 1 generates the business process design document as illustrated in FIG. 5 described above has been described. However, as in the modification illustrated in FIG. It may be.

FIG. 15 is a diagram illustrating an example of a business process design document according to a modification of the present embodiment.
As shown in this figure, the business process design document includes, for example, information that associates “variable names”, “update contents”, “conditions”, and “when errors”. Here, “in error” indicates the value of the variable in error.
In the example illustrated in FIG. 15, for example, a business specification whose “variable name” is “PRICE” indicates that “update contents” is “PROD.PRICE * NUM” and “at error” is “0”. ing.

16 to 18, the business specification generation unit 232 generates the business process design document shown in FIG. 15 by the input intermediate data (SDT1) and business intermediate data (SDT2) shown in FIGS. An example of simplifying will be described.
16 to 18 are diagrams for explaining an example of the simplification process of the business intermediate data using the decision tree in the modification of the present embodiment.

In FIG. 16A, the input intermediate data (SDT1) and the business intermediate data (SDT2) are the same as those in FIGS. 7 and 8, and the “setting file” is the setting file (EV1) shown in FIG. ). In this example, the logical expression (LG3) is a logical expression when the input check is successful.
The business specification generation unit 232 first constructs a “variable PRICE decision tree” as shown in FIG. 16B based on the business intermediate data (SDT2) shown in FIG. Further, as shown in FIG. 16B, the business specification generation unit 232 generates a logical expression (LG4) that is negative (NOT) of the logical expression (LG3).

Next, as illustrated in FIG. 17A, the business specification generation unit 232 assigns the symbol “⊥” to the decision tree based on the logical expression (LG4). The business specification generation unit 232 deletes a node that has passed through the decision tree retroactively from the symbol “⊥”. As a result, as shown in FIG. 17B, all the nodes are deleted, and the business specification generation unit 232 is a simplified business intermediate in which the variable “PRICE” is always “PROD.PRICE * NUM”. Generate data.
Further, the business specification shaping unit 242 generates a business process design document shown in FIG. 17C based on the simplified business intermediate data.

In addition, in order to give the specification at the time of error, the business specification generation unit 232, as shown in FIG. 18A, based on the logical expression (LG3) that is negative (NOT) of the logical expression (LG4), The symbol “⊥” is given to the decision tree. The business specification generation unit 232 deletes a node that has passed through the decision tree retroactively from the symbol “⊥”. As a result, as shown in FIG. 18B, all nodes are deleted, and the business specification generation unit 232 generates simplified business intermediate data in which the variable “PRICE” is always “0”. .
Further, the business specification shaping unit 242 generates a business process design document shown in FIG. 18C based on the simplified business intermediate data.
In this way, the specification generation device 1 generates a business process design document to which the error specification shown in FIG. 15 is added.

  As described above, the specification generation method according to the present embodiment includes the intermediate data generation step, the division processing step, the simplification processing step, and the design document generation step. In the intermediate data generation step, the intermediate data generation unit 21 acquires the source code described in the source file from the source file storage unit 31 that stores the source file, parses the acquired source code, and obtains the processing result. Is generated by associating the storage variable (first variable) for storing the logical expression expressed by the input variable with the value of the storage variable. In the division processing step, the division processing unit 22 converts the intermediate data into the input intermediate data indicating the portion of the processing corresponding to the input check, based on the second variable storing the processing result of the input check specified in advance, The data is divided into business intermediate data indicating a business process part that does not include a process part corresponding to the input check. In the simplification processing step, the simplification processing unit 23 corresponds to the value of the error code storage variable when the input check is successful among the values of the error code storage variable (second variable) included in the input intermediate data. On the basis of the logical formulas to be deleted, unnecessary logical formulas are deleted from the business intermediate data to generate simplified business intermediate data. In the design document generation step, the design document generation unit 24 generates an input check design document that describes the design specifications related to the input check based on the input intermediate data, and performs business processing based on the simplified business intermediate data. A business process design document that describes the design specifications related to is generated.

As a result, the specification generation method according to the present embodiment generates an input check design document and a business process design document that are separated from the source code into a design specification related to input check and a design specification related to business process, and is easy to understand from the source code. A design document can be generated. That is, the specification generation method according to the present embodiment can recover an easily understandable specification from the source code.
For example, even in the case of a large-scale system such as a source code exceeding several M (mega) steps, the specification generation method according to the present embodiment can automatically generate an easy-to-understand design document. So it is easy to understand large-scale systems.

In the present embodiment, in the simplification processing step, the simplification processing unit 23 deletes unnecessary logical expressions from the input intermediate data based on a predetermined algorithm, thereby simplifying the input intermediate Generate data. In the design document generation step, the design document generation unit 24 generates an input check design document describing a design specification related to the input check based on the simplified input intermediate data.
As a result, unnecessary logical expressions are deleted from the input check design document, so that the specification generation method according to the present embodiment can generate a design document that is easier to understand.

Further, in the present embodiment, in the simplification processing step, the simplification processing unit 23 is included in at least one of the business intermediate data and the input intermediate data based on the decision tree constructed based on the logical expression. Delete unnecessary logical expressions.
Thereby, the specification generation method according to the present embodiment can delete a logical expression that does not need to be described from the design document by a simple method.

Further, in the present embodiment, in the simplification processing step, the simplification processing unit 23 makes the redundant logical expression included in at least one of the business intermediate data and the input intermediate data based on the logical expression that is a false condition. Is deleted.
Thereby, the specification generation method according to the present embodiment can delete redundant logical expressions by a simple method.

In the present embodiment, in the simplification processing step, the simplification processing unit 23 deletes the already described logical expression based on the description order of the value of the error code storage variable. For example, the simplification processing unit 23 uses a decision tree that is already constructed based on the already described logical expression, and deletes the logical expression that is already described and that is not required to be described.
Thus, since the already described logical expression is not described, the specification generation method according to the present embodiment can generate a design document that is easier to understand.

Further, in the present embodiment, in the simplification processing step, the simplification processing unit 23 deletes the described logical expressions in the plurality of patterns in which the description order of the values of the second variable is changed, and among the plurality of patterns Select the pattern that can be simplified the most.
Thereby, the specification generation method according to the present embodiment can generate a design document appropriately simplified from a complicated source code.

In the present embodiment, the intermediate data generation unit 21 generates intermediate data (intermediate decision table) from the source code using a symbol execution technique.
Accordingly, the intermediate data generation unit 21 can collectively handle all ranges of values that can be taken by variables, not individual values, through constraint conditions (logical expressions), and process results in intermediate data. Intermediate variables other than stored variables can be deleted.

In addition, the specification generation method according to the present embodiment may include an intermediate data generation step, a division processing step, a simplification processing step, and a design document generation step. In the division processing step, the intermediate data generation unit 21 acquires the source code described in the source file from the source file storage unit 31, parses the acquired source code, and is expressed by a storage variable and an input variable. Intermediate data in which the logical expression and the value of the storage variable are associated with each other is generated. In the division processing step, the division processing unit 22 divides the intermediate data into input intermediate data and business intermediate data based on a previously specified error code storage variable. In the simplification processing step, the simplification processing unit 23 deletes unnecessary logical expressions from the input intermediate data based on a predetermined algorithm, and generates simplified input intermediate data. In the design document generation step, the design document generation unit 24 generates an input check design document based on the simplified input intermediate data, and generates a business process design document based on the business intermediate data.
Thereby, the specification generation method according to the present embodiment can generate an easy-to-understand design document from the source code.

The specification generation apparatus 1 according to the present embodiment includes an intermediate data generation unit 21, a division processing unit 22, a simplification processing unit 23, and a design document generation unit 24. The intermediate data generation unit 21 acquires the source code described in the source file from the source file storage unit 31 (an example of the source storage unit). The intermediate data generation unit 21 parses the acquired source code and associates the storage variable (first variable) for storing the processing result, the logical expression expressed by the input variable, and the value of the storage variable. Generate the attached intermediate data. The division processing unit 22 corresponds to the intermediate data, the input intermediate data indicating the part of the process corresponding to the input check, and the input check based on the second variable storing the processing result of the input check specified in advance. The data is divided into business intermediate data indicating a business processing portion that does not include the processing portion to be processed. The simplification processing unit 23 is based on a logical expression corresponding to the value of the error code storage variable when the input check is successful among the values of the error code storage variable (second variable) included in the input intermediate data. Then, unnecessary logical expressions are deleted from the business intermediate data to generate simplified business intermediate data. The design document generation unit 24 generates an input check design document describing a design specification related to input check based on the input intermediate data, and describes a design specification related to business processing based on the simplified business intermediate data. Generate a business process design document.
Thereby, the specification production | generation apparatus 1 by this embodiment has an effect similar to the specification production | generation method by this embodiment mentioned above, and can recover | restore the specification which is easy to understand from a source code.

The specification generation apparatus 1 according to the present embodiment may include an intermediate data generation unit 21, a division processing unit 22, a simplification processing unit 23, and a design document generation unit 24. The simplification processing unit 23 deletes unnecessary logical expressions from the input intermediate data based on a predetermined algorithm, and generates simplified input intermediate data. The design document generation unit 24 generates an input check design document describing a design specification related to input check based on the simplified input intermediate data, and also describes a design specification related to business processing based on the business intermediate data. Generate a business process design document.
Thereby, the specification production | generation apparatus 1 by this embodiment has an effect similar to the specification production | generation method by this embodiment mentioned above, and can recover | restore the specification which is easy to understand from a source code.

The present invention is not limited to the above embodiments, and can be modified without departing from the spirit of the present invention.
For example, in the above embodiment, the example in which the file server device 30 includes the source file storage unit 31, the setting file storage unit 32, and the design document storage unit 33 has been described. However, the present invention is not limited to this. . For example, the storage unit 10 of the specification generation apparatus 1 may include some or all of the source file storage unit 31, the setting file storage unit 32, and the design document storage unit 33. Further, for example, a plurality of server devices connected to the network may include the source file storage unit 31, the setting file storage unit 32, and the design document storage unit 33.

  Moreover, you may make it an external apparatus (for example, server apparatus etc.) connected by the network provide a part of each structure with which the specification production | generation apparatus 1 is provided, for example. For example, some or all of the intermediate data storage unit 11, the divided intermediate data storage unit 12, and the simplified intermediate data storage unit 13 included in the storage unit 10 are connected to, for example, an external device (for example, a server device) via a network. May be provided.

In the above-described embodiment, an example in which the error code storage variable is manually set by the user in the setting file has been described. However, the present invention is not limited to this. For example, the setting file may be set by reading an error code storage variable from a project standard code (standard rule) or the like, or the specification generation device 1 analyzes a plurality of programs and uses them in common. You may make it extract the variable used automatically.
In the above embodiment, an example of using a decision tree in the process of deleting unnecessary logical expressions and simplifying intermediate data has been described. However, the present invention is not limited to this, and other methods are used. And may be simplified.

In addition, each structure with which the specification production | generation system 100 and the specification production | generation apparatus 1 which were mentioned above are provided has a computer system inside. And the program for implement | achieving the function of each structure with which the specification production | generation system 100 mentioned above and the specification production | generation apparatus 1 are equipped is recorded on a computer-readable recording medium, and the program recorded on this recording medium is read into a computer system. The processing in each configuration included in the specification generation system 100 and the specification generation device 1 described above may be performed by executing the processing. Here, “loading and executing a program recorded on a recording medium into a computer system” includes installing the program in the computer system. The “computer system” here includes an OS and hardware such as peripheral devices.
Further, the “computer system” may include a plurality of computer devices connected via a network including a communication line such as the Internet, WAN, LAN, and dedicated line. The “computer-readable recording medium” refers to a storage device such as a flexible medium, a magneto-optical disk, a portable medium such as a ROM and a CD-ROM, and a hard disk incorporated in a computer system. As described above, the recording medium storing the program may be a non-transitory recording medium such as a CD-ROM.

  The recording medium also includes a recording medium provided inside or outside that is accessible from the distribution server in order to distribute the program. It should be noted that after the program is divided into a plurality of parts and downloaded at different timings, the configuration combined with each configuration provided in the specification generation system 100 and the specification generation device 1 and the distribution server that distributes each of the divided programs are different. May be. Furthermore, a “computer-readable recording medium” holds a program for a certain period of time, such as a volatile memory (RAM) inside a computer system that becomes a server or client when the program is transmitted via a network. Including things. The program may be for realizing a part of the functions described above. Furthermore, what can implement | achieve the function mentioned above in combination with the program already recorded on the computer system, and what is called a difference file (difference program) may be sufficient.

  Moreover, you may implement | achieve part or all of the function mentioned above as integrated circuits, such as LSI (Large Scale Integration). Each function described above may be individually made into a processor, or a part or all of them may be integrated into a processor. Further, the method of circuit integration is not limited to LSI, and may be realized by a dedicated circuit or a general-purpose processor. In addition, when an integrated circuit technology that replaces LSI appears due to the advancement of semiconductor technology, an integrated circuit based on the technology may be used.

DESCRIPTION OF SYMBOLS 1 Specification production | generation apparatus 10 Memory | storage part 11 Intermediate | middle data memory | storage part 12 Division | segmentation intermediate | middle data memory | storage part 13 Simplification intermediate | middle data memory | storage part 20 Control part 21 Intermediate | middle data generation part 22 Division | segmentation process part 23 Simplification process part 24 Design document production | generation part 30 File server Device 31 Source file storage unit 32 Setting file storage unit 33 Design document storage unit 100 Specification generation system 211 Syntax analysis unit 212 Symbol execution unit 231 Input specification generation unit 232 Operation specification generation unit 241 Input specification shaping unit 242 Operation specification shaping unit 242

Claims (9)

  1. A first variable in which the intermediate data generation unit acquires a source code described in the source file from a source storage unit that stores the source file, parses the acquired source code, and stores a processing result An intermediate data generation step for generating intermediate data in which a logical expression expressed by an input variable is associated with a value of the first variable;
    Based on a second variable that stores a processing result of the input check specified in advance, the division processing unit converts the intermediate data into input intermediate data indicating a processing portion corresponding to the input check, and the input check. A division processing step for dividing into business intermediate data indicating a business processing part not including a corresponding processing part;
    The simplification processing unit, based on the logical expression corresponding to the value of the second variable when the input check is successful among the values of the second variable included in the input intermediate data, A simplified processing step for removing unnecessary logical expressions from the business intermediate data to generate simplified business intermediate data;
    A design document generation unit generates an input check design document describing a design specification related to the input check based on the input intermediate data, and a design specification related to the business process based on the simplified business intermediate data. A specification generation method, comprising: a design document generation step for generating a business process design document describing
  2. In the simplification processing step,
    Based on a predetermined algorithm determined in advance, unnecessary logical expressions are deleted from the input intermediate data to generate the simplified input intermediate data,
    In the design document generation step,
    The specification generation method according to claim 1, wherein an input check design document describing a design specification related to the input check is generated based on the simplified input intermediate data.
  3. In the simplification processing step,
    3. The undesired logical expression included in at least one of the business intermediate data and the input intermediate data is deleted based on a decision tree constructed based on the logical expression. Specification generation method.
  4. In the simplification processing step,
    The specification generation method according to claim 2, wherein a logical expression that does not need to be described is deleted based on a logical expression that has already been described according to a description order of values of the second variable.
  5. A first variable in which the intermediate data generation unit acquires a source code described in the source file from a source storage unit that stores the source file, parses the acquired source code, and stores a processing result An intermediate data generation step for generating intermediate data in which a logical expression expressed by an input variable is associated with a value of the first variable;
    Based on a second variable that stores a processing result of the input check specified in advance, the division processing unit converts the intermediate data into input intermediate data indicating a processing portion corresponding to the input check, and the input check. A division processing step for dividing into business intermediate data indicating a business processing part not including a corresponding processing part;
    A simplification processing unit that deletes unnecessary logical expressions from the input intermediate data based on a predetermined algorithm, and generates simplified input intermediate data;
    A design document generation unit generates an input check design document describing a design specification related to the input check based on the simplified input intermediate data, and a design specification related to the business process based on the business intermediate data. A specification generation method including a design document generation step for generating a business process design document that describes
  6. The source code described in the source file is acquired from the source storage unit that stores the source file, the acquired source code is parsed, and expressed by a first variable for storing the processing result and an input variable An intermediate data generation unit that generates intermediate data in which the logical expression thus generated is associated with the value of the first variable;
    Based on a second variable for storing a processing result of the input check specified in advance, the intermediate data is input intermediate data indicating a part of the process corresponding to the input check, and a part of the process corresponding to the input check A division processing unit that divides into business intermediate data indicating a part of business processing not including
    Based on the logical expression corresponding to the value of the second variable when the input check is successful among the values of the second variable included in the input intermediate data, unnecessary from the business intermediate data A simplified processing unit that deletes logical expressions and generates simplified business intermediate data;
    Based on the input intermediate data, generates an input check design document describing a design specification related to the input check, and based on the simplified business intermediate data, a business process design describing a design specification related to the business process A specification generation device comprising a design document generation unit for generating a document.
  7. The source code described in the source file is acquired from the source storage unit that stores the source file, the acquired source code is parsed, and expressed by a first variable for storing the processing result and an input variable An intermediate data generation unit that generates intermediate data in which the logical expression thus generated is associated with the value of the first variable;
    Based on a second variable for storing a processing result of the input check specified in advance, the intermediate data is input intermediate data indicating a part of the process corresponding to the input check, and a part of the process corresponding to the input check A division processing unit that divides into business intermediate data indicating a part of business processing not including
    Based on a predetermined algorithm, a simplified processing unit that deletes unnecessary logical expressions from the input intermediate data and generates the simplified input intermediate data;
    Based on the simplified input intermediate data, an input check design document describing a design specification related to the input check is generated, and a business process design describing a design specification related to the business process based on the business intermediate data A specification generation device comprising a design document generation unit for generating a document.
  8. On the computer,
    The source code described in the source file is acquired from the source storage unit that stores the source file, the acquired source code is parsed, and expressed by a first variable for storing the processing result and an input variable An intermediate data generation step for generating intermediate data in which the logical expression is associated with the value of the first variable;
    Based on a second variable for storing a processing result of the input check specified in advance, the intermediate data is input intermediate data indicating a part of the process corresponding to the input check, and a part of the process corresponding to the input check A division processing step for dividing into business intermediate data indicating a part of business processing not including
    Based on the logical expression corresponding to the value of the second variable when the input check is successful among the values of the second variable included in the input intermediate data, unnecessary from the business intermediate data A simplified processing step to delete the logical expression and generate simplified business intermediate data;
    Based on the input intermediate data, generates an input check design document describing a design specification related to the input check, and based on the simplified business intermediate data, a business process design describing a design specification related to the business process A program for executing a design document generation step for generating a document.
  9. On the computer,
    The source code described in the source file is acquired from the source storage unit that stores the source file, the acquired source code is parsed, and expressed by a first variable for storing the processing result and an input variable An intermediate data generation step for generating intermediate data in which the logical expression is associated with the value of the first variable;
    Based on a second variable for storing a processing result of the input check specified in advance, the intermediate data is input intermediate data indicating a part of the process corresponding to the input check, and a part of the process corresponding to the input check A division processing step for dividing into business intermediate data indicating a part of business processing not including
    A simplified processing step of generating unnecessary input logical data by deleting unnecessary logical expressions from the input intermediate data based on a predetermined algorithm;
    Based on the simplified input intermediate data, an input check design document describing a design specification related to the input check is generated, and a business process design describing a design specification related to the business process based on the business intermediate data A program for executing a design document generation step for generating a document.
JP2014234768A 2014-11-19 2014-11-19 Specification generation method, specification generation device, and program Active JP6364332B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2014234768A JP6364332B2 (en) 2014-11-19 2014-11-19 Specification generation method, specification generation device, and program

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2014234768A JP6364332B2 (en) 2014-11-19 2014-11-19 Specification generation method, specification generation device, and program

Publications (2)

Publication Number Publication Date
JP2016099726A JP2016099726A (en) 2016-05-30
JP6364332B2 true JP6364332B2 (en) 2018-07-25

Family

ID=56075778

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2014234768A Active JP6364332B2 (en) 2014-11-19 2014-11-19 Specification generation method, specification generation device, and program

Country Status (1)

Country Link
JP (1) JP6364332B2 (en)

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH06149551A (en) * 1992-11-06 1994-05-27 Fujitsu Ltd Automatic program specification generating method
JPH0816378A (en) * 1994-06-30 1996-01-19 Fujitsu Ltd Method and device for analyzing program reverse
JP5865091B2 (en) * 2012-01-20 2016-02-17 日立オートモティブシステムズ株式会社 Software verification support apparatus, software verification support method, software verification support program

Also Published As

Publication number Publication date
JP2016099726A (en) 2016-05-30

Similar Documents

Publication Publication Date Title
Meeus et al. An overview of today’s high-level synthesis tools
JP4148527B2 (en) Functional test script generator
US8756489B2 (en) Method and system for dynamic assembly of form fragments
Vermaseren New features of FORM
KR20150042872A (en) Processing related datasets
JP2003323332A (en) XPath EVALUATING METHOD, XML DOCUMENT PROCESSING SYSTEM USING THIS METHOD AND PROGRAM
Van Ham et al. Centrality based visualization of small world graphs
US20110295865A1 (en) Schema Contracts for Data Integration
US8181171B2 (en) Method and apparatus for analyzing large scale program and generation of code from degenerated program dependence graph
JP2014517426A (en) Processing iterative data
US8887135B2 (en) Generating test cases for functional testing of a software application
US8219591B2 (en) Graph query adaptation
US9342301B2 (en) Converting and input script to a natural language description
US7971178B1 (en) System to merge custom and synthesized digital integrated circuit design data
US6980941B2 (en) Method and computer program product for realizing a system specification which is described in a system description language
US8972960B2 (en) Optimization of an application to reduce local memory usage
JP2007122135A (en) Development support device, development support method and development support program
JP4908073B2 (en) Service-based software design support method and apparatus therefor
US20150007151A1 (en) Speculative object shapes
JP5005510B2 (en) Software design support method, design support apparatus, and design support program
US9507945B2 (en) Method and apparatus for automated vulnerability detection
JPWO2009110550A1 (en) Attribute extraction method, system and program
US20140026125A1 (en) Methods for generating software test input data and devices thereof
US20140089251A1 (en) Enhancing performance of extract, transform, and load (etl) jobs
KR20170037636A (en) Data lineage summarization

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20170915

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20180523

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20180605

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20180702

R150 Certificate of patent or registration of utility model

Ref document number: 6364332

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150