JPS6260037A - Automatic inspection system for object program by compiler - Google Patents
Automatic inspection system for object program by compilerInfo
- Publication number
- JPS6260037A JPS6260037A JP60199996A JP19999685A JPS6260037A JP S6260037 A JPS6260037 A JP S6260037A JP 60199996 A JP60199996 A JP 60199996A JP 19999685 A JP19999685 A JP 19999685A JP S6260037 A JPS6260037 A JP S6260037A
- Authority
- JP
- Japan
- Prior art keywords
- modification
- compiler
- comparing
- program
- storage library
- 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.)
- Pending
Links
- 238000007689 inspection Methods 0.000 title claims description 10
- 238000012986 modification Methods 0.000 claims abstract description 60
- 230000004048 modification Effects 0.000 claims abstract description 44
- 238000000034 method Methods 0.000 claims description 9
- XWVFVITVPYKIMH-UHFFFAOYSA-N ethyl n-[4-[benzyl(2-phenylethyl)amino]-2-(2-fluorophenyl)-1h-imidazo[4,5-c]pyridin-6-yl]carbamate Chemical compound N=1C(NC(=O)OCC)=CC=2NC(C=3C(=CC=CC=3)F)=NC=2C=1N(CC=1C=CC=CC=1)CCC1=CC=CC=C1 XWVFVITVPYKIMH-UHFFFAOYSA-N 0.000 abstract description 7
- 238000011179 visual inspection Methods 0.000 abstract description 3
- MKZGVLPHKXXSSG-UHFFFAOYSA-N ethyl n-[4-[benzyl(2-phenylethyl)amino]-2-[4-(trifluoromethyl)phenyl]-1h-imidazo[4,5-c]pyridin-6-yl]carbamate Chemical compound N=1C(NC(=O)OCC)=CC=2NC(C=3C=CC(=CC=3)C(F)(F)F)=NC=2C=1N(CC=1C=CC=CC=1)CCC1=CC=CC=C1 MKZGVLPHKXXSSG-UHFFFAOYSA-N 0.000 description 4
- 238000010586 diagram Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 230000007257 malfunction Effects 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、コンパイラ開発技術におけるコンパイラの目
的プログラムの自動検査方式に関し、特に改造前コンパ
イラと改造後コンパイラとによってコンパイルされた目
的プログラムを比較するコンパイラの目的プログラムの
自動検査方式に関する。[Detailed Description of the Invention] [Field of Industrial Application] The present invention relates to an automatic inspection method for a target program of a compiler in compiler development technology, and in particular, a method for comparing target programs compiled by a compiler before modification and a compiler after modification. Concerning an automatic inspection method for a compiler's target program.
従来、C0BOL、HPL等のコンパイラの開発におい
て開発改造を行った後のコンパイラの検査方式としては
、検査プログラムを多数コンパイルして出力リスト上で
目視検査を行ったり、十分網羅率の高い検査プログラム
をコンパイルしてその目的プログラムの動作を確認する
などの方法が行われていた。Conventionally, in the development of compilers such as COBOL and HPL, the compiler inspection method after development and modification has been to compile a large number of inspection programs and perform visual inspection on the output list, or to create an inspection program with a sufficiently high coverage rate. Methods such as compiling and checking the operation of the target program were used.
上述した従来のコンパイラの検査方式は、検査プログラ
ムのコンパイル結果の目視検査に時間がかかり、見落し
等の検査もれが発生しやすい上、リスト上には出力され
ないコンパイラの出力部分、すなわち目的プログラムの
結合情報等の部分に関しては検査ができず、検査プログ
ラムでの実行テストに頬らざるを得ないという欠点があ
る。すなわち、検査プログラムの実行テストでは、その
プログラムの走行網羅率が問題であるし、走行テストに
は工数がかかるという難点がある。In the conventional compiler inspection method described above, it takes time to visually inspect the compilation results of the inspection program, and inspection omissions such as oversights easily occur.In addition, the compiler output part that is not output on the list, that is, the target program The disadvantage is that it is not possible to inspect parts such as connection information, and one has to rely on execution tests using an inspection program. That is, in an execution test of an inspection program, the running coverage rate of the program is a problem, and the running test requires a lot of man-hours.
本発明の目的は、改造前のコンパイラと改造後のコンパ
イラとに関する情報を自動的に比較して両者の差異を印
字出力するコンパイラの目的プログラムの自動検査方式
を堤供することにある。An object of the present invention is to provide an automatic inspection method for a target program of a compiler that automatically compares information regarding a compiler before modification and a compiler after modification and prints out the differences between the two.
本発明のコンパイラの目的プログラムの自動検査方式は
、改造前のコンパイラと改造後コンパイラとの実行を制
御するコンパイラ制御手段と、前記各コンパイラによっ
て出力された目的プログラムの結合情報部を比較する結
合情報部比較手段と、前記目的プログラムのデータ定義
部を比較するデータ定義部比較手段と、前記目的プログ
ラムのコード部をソースステートメント単位に比較する
コード部比較手段と、前記目的プログラムの出力リスト
イメージを比較する出力リスト比較手段と、前記各コン
パイラの経過時間、CPU使用時間、実行メモリサイズ
等の性能を比較する性能比較手段と、前記各比較手段で
比較した結果を印字出力する印字手段とを有する。The automatic inspection method for the object program of a compiler according to the present invention includes a compiler control means for controlling the execution of a compiler before modification and a compiler after modification, and a combination information for comparing the combination information part of the object program output by each of the compilers. a data definition section comparison section that compares data definition sections of the target program; a code section comparison section that compares code sections of the target program source statement by source statement; and a data definition section comparison section that compares the output list image of the target program. performance comparison means for comparing performance such as elapsed time, CPU usage time, execution memory size, etc. of each of the compilers; and printing means for printing out the results of comparison by each of the comparison means.
次に、本発明について図面を参照して詳細に説明する。 Next, the present invention will be explained in detail with reference to the drawings.
第1図を参照すると、本発明の一実施例は、コンパイラ
制御手段1、結合情報部比較手段2、データ定義部比較
手段3、コード部比較手段4、出力リスト比較手段5、
性能比較手段6および印字手段7から構成されている。Referring to FIG. 1, one embodiment of the present invention includes a compiler control means 1, a combination information part comparison means 2, a data definition part comparison means 3, a code part comparison means 4, an output list comparison means 5,
It is composed of a performance comparison means 6 and a printing means 7.
第2図を参照すると、コンパイラ制御手段1は、改造前
コンパイラ実行環境設定部11、改造前コンパイラ実行
制御部12、改造後コンパイラ実行環境設定部13およ
び改造後コンパイラ実行制御部14から構成されている
。Referring to FIG. 2, the compiler control means 1 includes a pre-modification compiler execution environment setting unit 11, a pre-modification compiler execution control unit 12, a post-modification compiler execution environment setting unit 13, and a post-modification compiler execution control unit 14. There is.
第3図を参照すると、コード部比較手段4は、リストイ
メージ格納ライブラリ入力部41、目的プログラムライ
ブラリ入力部42および目的プログラム比較部43から
構成されている。Referring to FIG. 3, the code section comparing means 4 is comprised of a list image storage library input section 41, a target program library input section 42, and a target program comparison section 43.
次に、本発明の動作について図面を参照して説明する。Next, the operation of the present invention will be explained with reference to the drawings.
まず、コンパイラ制御手段lについて説明する。First, the compiler control means 1 will be explained.
改造前コンパイラ実行環境設定部11では、原始プログ
ラム格納ライブラリ15、改造前目的プログラム格納ラ
イブラリ16および改造前リストイメージ格納ライブラ
リ17をそれぞれ設定する。The pre-modification compiler execution environment setting unit 11 sets a source program storage library 15, a pre-modification target program storage library 16, and a pre-modification list image storage library 17, respectively.
改造前コンパイラ実行制御部12では、設定した原始プ
ログラム格納ライブラリ15、改造前目的プログラム格
納ライブラリ16および改造前リストイメージ格納ライ
ブラリ17において原始プログラムのコンパイルを改造
前コンパイラ8に実行させ、その結果作成された改造前
目的プログラムを改造前目的プログラム格納ライブラリ
16に格納させ、出力結果リストを改造前リストイメー
ジ格納ライブラリ17に格納させる。The pre-modification compiler execution control unit 12 causes the pre-modification compiler 8 to compile the source program in the set source program storage library 15, pre-modification target program storage library 16, and pre-modification list image storage library 17, and as a result, the pre-modification compiler 8 compiles the source program. The pre-modification target program is stored in the pre-modification target program storage library 16, and the output result list is stored in the pre-modification list image storage library 17.
改造後コンパイラ実行環境設定部13では、原始プログ
ラム格納ライブラリ15、改造後目的プログラム格納ラ
イブラリ18および改造後リストイメージ格納ライブラ
リ19をそれぞれ設定する。The modified compiler execution environment setting unit 13 sets a source program storage library 15, a modified target program storage library 18, and a modified list image storage library 19, respectively.
改造後コンパイラ実行制御部14は、設定した原始プロ
グラム格納ライブラリ15、改造後目的プログラム格納
ライブラリ18および改造後リストイメージ格納ライブ
ラリ19において、改造前コンパイラ8がコンパイルし
たのと同一の原始プログラムのコンパイルを改造後コン
パイラ9に実行させ、その結果作成された改造後目的プ
ログラムを改造後目的プログラム格納ライブラリ18に
格納させ、出力結果リストを改造後リストイメー
゛ジ格納ライブラリ19に格納させる。The post-modification compiler execution control unit 14 compiles the same source program that was compiled by the pre-modification compiler 8 in the set source program storage library 15, post-modification target program storage library 18, and post-modification list image storage library 19. The modified compiler 9 is executed, the resulting modified target program is stored in the modified target program storage library 18, and the output result list is created as a modified list image.
The data is stored in the file storage library 19.
結合情報部比較手段2は、改造前目的プログラム格納ラ
イブラリ16から改造前目的プログラムを、改造後目的
プログラム格納ライブラリ18から改造後目的プログラ
ムをそれぞれ読み込み、改造前目的プログラムと改造後
目的プログラムとの結合情報部を比較して内容が不一致
となる場合にはその情報を印字手段7により印字する。The combination information section comparison means 2 reads the pre-modification target program from the pre-modification target program storage library 16 and the post-modification target program from the post-modification target program storage library 18, and combines the pre-modification target program and the post-modification target program. When the information parts are compared and the contents do not match, the information is printed by the printing means 7.
データ定義部比較手段3は、改造前目的プログラム格納
ライブラリ16から改造前目的プログラムを、改造後目
的プログラム格納ライブラリIBから改造後目的プログ
ラムをそれぞれ読み込み、改造前目的プログラムと改造
後目的プログラムとのデータ定義部を比較して内容が不
一致となる場合にはその情報を印字手段7により印字す
る。The data definition section comparison means 3 reads the pre-modification objective program from the pre-modification objective program storage library 16 and the post-modification objective program from the post-modification objective program storage library IB, and reads the data of the pre-modification objective program and the post-modification objective program. When the definition parts are compared and the contents do not match, the information is printed by the printing means 7.
コード部比較手段4は、リストイメージ格納ライブラリ
入力部41により改造前リストイメージ格納ライブラリ
17と改造後リストイメージ格納ライブラリ19とに格
納されているリストイメージのコード部分を先頭行から
ソースステートメント単位に入力させ、目的プログラム
格納ライブラリ入力部42により改造前目的プログラム
格納ライブラリ16から改造前目的プログラムと改造後
目的プログラム格納ライブラリ18から改造後目的プロ
グラムとのコード部分を先頭行からソースステートメン
ト単位に読み込み、目的プログラム比較部43により読
み込まれた改造前目的プログラムと改造後目的プログラ
ムとの内容を比較して内容が不一致の場合には改造前目
的プログラムと改造後目的プログラムとの対応するソー
スステートメントと、改造前目的プログラムのコード情
報および改造後目的プログラムのコード情報とを印字手
段7により印字する。The code part comparing means 4 inputs the code part of the list image stored in the list image storage library 17 before modification and the list image storage library 19 after modification by the list image storage library input part 41 starting from the first line in units of source statements. Then, the target program storage library input unit 42 reads the code portions of the pre-modification target program from the pre-modification target program storage library 16 and the modified target program from the post-modification target program storage library 18 from the first line in source statement units, and The contents of the pre-modification target program and the post-modification target program read by the program comparison unit 43 are compared, and if the contents do not match, the corresponding source statements of the pre-modification target program and the post-modification target program and the pre-modification target program are compared. The code information of the target program and the code information of the modified target program are printed by the printing means 7.
出力リスト比較手段5は、出力リスト上の形式について
比較するものであり、改造前リストイメージ格納ライブ
ラリ17と改造後リストイメージ格納ライブラリ19と
から読み込んだ出力リスト上の形式を比較し、結果が不
一致の場合にはその情報を印字手段7により印字する。The output list comparison means 5 compares the formats on the output list, and compares the formats on the output list read from the pre-modification list image storage library 17 and the post-modification list image storage library 19, and determines whether the results are inconsistent. In this case, the information is printed by the printing means 7.
性能比較手段6では、改造前リストイメージ格納ライブ
ラリ17と改造後リストイメージ格納ライブラリ19と
からコンパイル実行レポートを読み込み、コンパイラの
実行状況(実行メモリサイズ、経過時間等)について比
較処理を行い、結果情報を印字手段7により印字する。The performance comparison means 6 reads the compile execution report from the pre-modification list image storage library 17 and the post-modification list image storage library 19, compares the execution status of the compiler (execution memory size, elapsed time, etc.), and compares the compiler execution status (execution memory size, elapsed time, etc.), and compares the compiler execution status (execution memory size, elapsed time, etc.), and compares the compiler execution status (execution memory size, elapsed time, etc.), and compares the compiler execution status (execution memory size, elapsed time, etc.). is printed by the printing means 7.
本発明は、コンパイラに対して開発改造を行った際に改
造前と改造後のコンパイラの出力する全ての情報に対し
てそれぞれの情報部分に応じて論理的な比較を行い、そ
の差異をわかりやすく編集してリスト上へ印字出力する
ことによって以下に示す効果がある。The present invention makes it easy to understand the differences by logically comparing all the information output by the compiler before and after the modification according to each information part when a compiler is developed and modified. Editing and printing out on the list has the following effects.
■ コンパイラ出力リストの目視検査による困難さや見
落としがなくなり、工数が大幅に減少する。■ Eliminates the difficulty and oversight caused by visual inspection of the compiler output list, significantly reducing man-hours.
■ コンパイラの生成する目的プログラムの全てのデー
タ部、結合情報部、コード部、出力リストについて改造
によるコンパイラの不正動作および改善等の相違が正確
に確認できる。■ Differences such as malfunctions and improvements of the compiler due to modifications can be accurately confirmed for all data parts, link information parts, code parts, and output lists of the target program generated by the compiler.
第1図は本発明の一実施例を示す構成図、第2図は第1
図中に示したコンパイラ制御手段の構成図、
第3図は第1図中に示したコード部比較手段の構成図で
ある。
図において、
1・・ ・コンパイラ□制御手段、
2・・・結合情報部比較手段、
3・・・データ定義部比較手段、
4・・・コード部比較手段、
5・・・出力リスト比較手段、
6・・・性能比較手段、
7・・・印字手段である。
第1図
第2図FIG. 1 is a configuration diagram showing one embodiment of the present invention, and FIG.
FIG. 3 is a block diagram of the compiler control means shown in the figure, and FIG. 3 is a block diagram of the code section comparison means shown in FIG. In the figure, 1... Compiler □ control means, 2... Connection information section comparison means, 3... Data definition section comparison means, 4... Code section comparison means, 5... Output list comparison means, 6...Performance comparison means; 7...Printing means. Figure 1 Figure 2
Claims (1)
するコンパイラ制御手段と、 前記各コンパイラによって出力された目的プログラムの
結合情報部を比較する結合情報部比較手段と、 前記目的プログラムのデータ定義部を比較するデータ定
義部比較手段と、 前記目的プログラムのコード部をソースステートメント
単位に比較するコード部比較手段と、前記目的プログラ
ムの出力リストイメージを比較する出力リスト比較手段
と、 前記各コンパイラの経過時間、CPU使用時間、実行メ
モリサイズ等の性能を比較する性能比較手段と、 前記各比較手段で比較した結果を印字出力する印字手段
と、 を有することを特徴とするコンパイラの目的プログラム
の自動検査方式。[Scope of Claims] Compiler control means for controlling execution of a compiler before modification and a compiler after modification; combination information part comparison means for comparing combination information parts of target programs output by each of the compilers; and the object. data definition section comparing means for comparing data definition sections of programs; code section comparing means for comparing code sections of the target program in units of source statements; output list comparing means for comparing output list images of the target program; A compiler comprising: performance comparison means for comparing performance such as elapsed time, CPU usage time, execution memory size, etc. of each of the compilers; and printing means for printing out the results of comparison by each of the comparison means. Automatic inspection method for target programs.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP60199996A JPS6260037A (en) | 1985-09-09 | 1985-09-09 | Automatic inspection system for object program by compiler |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP60199996A JPS6260037A (en) | 1985-09-09 | 1985-09-09 | Automatic inspection system for object program by compiler |
Publications (1)
Publication Number | Publication Date |
---|---|
JPS6260037A true JPS6260037A (en) | 1987-03-16 |
Family
ID=16417063
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP60199996A Pending JPS6260037A (en) | 1985-09-09 | 1985-09-09 | Automatic inspection system for object program by compiler |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPS6260037A (en) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0560881A (en) * | 1991-02-05 | 1993-03-12 | Complications Sa | Analogue calendar chronograph initialization method and quartz chronograph implementing the method |
JP2003526135A (en) * | 1998-11-16 | 2003-09-02 | インシグニア・ソリューションズ・ピーエルシー | Computer system, computer readable storage medium and method of operating the medium, and method of operating a computer system |
-
1985
- 1985-09-09 JP JP60199996A patent/JPS6260037A/en active Pending
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0560881A (en) * | 1991-02-05 | 1993-03-12 | Complications Sa | Analogue calendar chronograph initialization method and quartz chronograph implementing the method |
JP2003526135A (en) * | 1998-11-16 | 2003-09-02 | インシグニア・ソリューションズ・ピーエルシー | Computer system, computer readable storage medium and method of operating the medium, and method of operating a computer system |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN102279789B (en) | Debugging system and debugging method for embedded system of production phase | |
JPH0748182B2 (en) | Program error detection method | |
JPS6260037A (en) | Automatic inspection system for object program by compiler | |
US20080300846A1 (en) | Methods and apparatus for hardware simulation and design verification | |
JPH10187461A (en) | Language processing system | |
JPS6349851A (en) | simulation system | |
JPH01261737A (en) | Automatic control system for inspection of language processor | |
JPH01155438A (en) | Compiler test method | |
JP2570119B2 (en) | Software simulator | |
JPS59231649A (en) | Compile list output processing method | |
JPH01205332A (en) | Linkage editor system | |
KR100216533B1 (en) | The event history recording method for the deterministic replay of concurrent chill program | |
JPS63200243A (en) | Debugging method and device | |
JPH02183834A (en) | Program developing method using compiler | |
JPS62259147A (en) | Analysis system for sentence structure | |
JPH0358232A (en) | Preprocessor calling system | |
JPS62205435A (en) | Translating and linking editing device for source program | |
Hobin | The Ada test and verification systems (ATVS) | |
JPH09265385A (en) | Software integrity management method | |
JPH02211542A (en) | Module management information calculating system | |
JPH0398118A (en) | Control system for development of program | |
JPH02306345A (en) | Data terminal equipment | |
JPS60175154A (en) | Instruction replacement method | |
JPS63223930A (en) | Dedicated processor program simulation method | |
Cailliau et al. | Minutes of the P+ review meeting |