JPH05334062A - Logic description difference extracting system - Google Patents

Abstract

PURPOSE:To facilitate the version number management of language description data by reducing the pseudo difference which is outputted as the difference because of the difference of syntax. CONSTITUTION:A syntax conversion mechanism 41 performs syntax conversion of language description data A and B based on language syntax definition data and syntax conversion rules and outputs converted data A and B. Converted data are divided into units of difference extraction and are edited by a description editing mechanism 42 to output edited data A and B, and the difference in column is extracted and outputted by a difference extracting mechanism 43. In this case, inputted language description data 33 is subjected to syntax analysis based on language syntax definition data 31. Syntax conversion rules 32 are taken out one by one to retrieve whether data subjected to structure analysis has a part having the same structure as a conversion template in the rule or not; and if it has a part having the same structure, syntax conversion rules 32 are applied to convert the language description data 33 in accordance with the template after conversion.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a logical description difference extraction system for automatically extracting a logical difference by using a hardware or software logical function in a support system for designing using a language description.

[0002]

2. Description of the Related Art A conventional logical description difference extraction method of this type simply extracts the difference in the arrangement of a set of character strings expressed using a language. In addition, the logic description is executed on a computer using a dedicated simulator, and the presence or absence of a difference is extracted by the difference in the operation.

[0003]

By the way, the above-mentioned conventional logical description difference extraction method does not use the syntactic knowledge peculiar to the language description. That is, different character strings are extracted as a difference between two language descriptions using a logically equivalent syntax by merely handling the language description data as a character string. Therefore, there is a problem that many pseudo differences are extracted. On the other hand, in the simulation method of executing language description on a computer, it is necessary to separately create test data for finding differences. In this case, many processing steps are required, and it is possible to determine the presence or absence of a difference, but it is difficult to specify the location of the difference.

SUMMARY OF THE INVENTION The present invention solves the above problems in the prior art, and an object thereof is to provide a logical description difference extraction method that can easily manage the version number of language description data.

[0005]

In order to achieve the above object, the present invention provides a logical description difference extraction method for automatically extracting a logical difference between at least two language description data representing logical functions of hardware and software. In the above, the structure is provided with a syntax conversion mechanism for converting the language description data into a logically equivalent syntax based on the syntax modification rule, and a description editing mechanism for editing the format of the output difference data.

[0006]

In the logical description difference extraction method of the present invention having the above configuration, the language description data is converted into a logically equivalent syntax based on the syntax change rule, and the format of the output difference data is edited. Therefore, it becomes easy to manage the version number of the language description data.

[0007]

DESCRIPTION OF THE PREFERRED EMBODIMENTS An embodiment of the logical description difference extraction method of the present invention will be described below with reference to the drawings. FIG. 1 shows the configuration of the embodiment. In FIG. 1, this example shows language description data 3
3, an input device 1 for inputting 3, an arithmetic processing device 2 for performing a process necessary for extracting a difference of the language description data 33, and an input device 1.
Language description data 33 and difference data 34 input from
A data storage device 3 for storing, etc., a syntax conversion mechanism 41,
It is composed of a logical difference extraction mechanism 4 including a description editing mechanism 42 and a difference extraction mechanism 43, and an output device 5 for outputting difference data 34 which is a difference extraction result.

Next, the operation of the configuration of this embodiment will be described. FIG. 2 shows the flow of processing the language description data A and the language description data B using the logical difference extraction mechanism. In FIG. 2, the syntax conversion mechanism 41 performs syntax conversion on the language description data A and B based on the language syntax definition data and the syntax conversion rule, and outputs conversion data A and B, respectively. Next, the conversion data is divided and edited by the description editing mechanism 42 in units of difference extraction, and edited data A and B are output. Next, the difference extracting mechanism 43 extracts and outputs the differences in the columns shown in FIG.

Next, the flow of processing of the syntax conversion mechanism 41 in FIG. 2 will be described. FIG. 3 shows a processing flow of the syntax conversion mechanism 41. In FIG. 3, the input language description data 33 is syntactically analyzed based on the language syntactic definition data 31. The rules are sequentially taken out one by one from the syntax conversion rule 32, and it is searched whether or not the structure-analyzed data has a portion having the same structure as the conversion template in the rule. If there is a part having the same structure, the syntax conversion rule 32 is applied to convert the language description data 33 according to the converted template. The language description data 33 after conversion is created by extracting and applying all the syntax conversion rules 32. As a result, the language description data 33 is created using the same syntax rule for the logically equivalent syntax in the language description data 33.

Language syntax definition data 31 for syntax analysis
FIG. 4 shows an example in which is expressed in the form of a template. Further, the syntax conversion rule 32 in which logically equivalent templates are defined by a pair of templates before and after conversion is shown in FIG.
Shown in. Further, FIG. 6 shows an example in which the language description data 33 is edited by using a line feed character and a TAB character in order to divide into units of difference extraction. Further, FIG. 7 shows the columns that are searched for and extracted for the presence or absence of a difference in each line of the language description data 33 divided into line units. As described above, the difference data 34 indicates the difference portion by displaying and outputting the difference of each line of the edited language description data 33 as a pair, and facilitates the correspondence with the input language description data 33. The source line number (No.) is added.

[0011]

As described above, the logical description difference extraction method of the present invention is logically equivalent in the difference extraction of language description data expressing the logical functions of hardware and software, but the syntax is different. Since the pseudo difference output as the difference is reduced, the version number of the language description data can be easily managed.

[Brief description of drawings]

FIG. 1 is a block diagram showing a configuration in an embodiment of a logical description difference extraction method of the present invention.

FIG. 2 is a diagram showing a flow of processing language description data A and B in the embodiment using a logical difference extraction mechanism.

FIG. 3 is a diagram showing a processing flow of a syntax conversion mechanism in the embodiment.

FIG. 4 is a diagram showing an expression in a template format of language syntax definition data for syntax analysis in an example.

FIG. 5 is a diagram showing a syntax conversion rule in which a logically equivalent template in the embodiment is defined by a pair of templates before and after conversion.

FIG. 6 is a diagram showing edit contents using line feed characters and TAB characters in language description data for dividing into units of difference extraction in the embodiment.

FIG. 7 is a diagram showing a search / extraction state of presence / absence of a difference for each line of language description data divided into line units in the embodiment.

[Explanation of symbols]

 1 Input Device 2 Arithmetic Processing Device 3 Data Storage Device 4 Logical Difference Extraction Mechanism 5 Output Device 31 Language Syntax Definition Data 32 Syntax Conversion Rule 33 Language Description Data 34 Difference Data 41 Syntax Conversion Mechanism 42 Description Editing Mechanism 43 Difference Extraction Mechanism

Claims (1)

[Claims] 1. A logical description difference extraction method for automatically extracting a logical difference between at least two language description data representing logical functions of hardware and software, and the language description data is logically equivalent based on a syntax change rule. A logical description difference extraction method characterized by comprising a syntax conversion mechanism for converting to a different syntax and a description editing mechanism for editing the format of the output difference data.