JPH01184541A - プログラム構造の正当性検査方式 - Google Patents
プログラム構造の正当性検査方式Info
- Publication number
- JPH01184541A JPH01184541A JP63009063A JP906388A JPH01184541A JP H01184541 A JPH01184541 A JP H01184541A JP 63009063 A JP63009063 A JP 63009063A JP 906388 A JP906388 A JP 906388A JP H01184541 A JPH01184541 A JP H01184541A
- Authority
- JP
- Japan
- Prior art keywords
- call
- related information
- user
- compiler
- setting means
- 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
Landscapes
- Devices For Executing Special Programs (AREA)
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
（増業上の利用分計）
本発明は内部手続きを定義で自る４ｉｔ語のソースプロ
グラムの正当性検査方式に関し、特に内部手続きの呼出
し関係のチェック方式Ｋｉ■する。
グラムの正当性検査方式に関し、特に内部手続きの呼出
し関係のチェック方式Ｋｉ■する。
（従来の技術）
従来、この種のソースプログラムの正当性検査は、利用
者の目視確、ｄｌＣまかされていた。
者の目視確、ｄｌＣまかされていた。
（発明が解決しようとする課題）
従来の検査方式では、すべて利用者が０悶で検査してい
るので、プログラムが複雑になると正確な検査力！困碓
になり、検査にきわめて長時間を費してしまうという欠
点があつ虎。
るので、プログラムが複雑になると正確な検査力！困碓
になり、検査にきわめて長時間を費してしまうという欠
点があつ虎。
本発明の目的は、内部手続きを宇部できる高級言語で記
述されたソースプログラムの内部手続きの呼出し咽係を
利用者が明示しておき、プログラムが煩雑になって吃コ
ンパイル時に実際のプログラムが利用者の意図した内副
子続きの呼出し関係になっているか否かを自動的にチェ
ックすることにより上記欠点を除去し、短時間で簡易、
且つ、正確に検査で轡るように構成したプログラム構造
の正当性検査方式を提供することにある。
述されたソースプログラムの内部手続きの呼出し咽係を
利用者が明示しておき、プログラムが煩雑になって吃コ
ンパイル時に実際のプログラムが利用者の意図した内副
子続きの呼出し関係になっているか否かを自動的にチェ
ックすることにより上記欠点を除去し、短時間で簡易、
且つ、正確に検査で轡るように構成したプログラム構造
の正当性検査方式を提供することにある。
（線屑を解決するための手段）
本発明によるプログラム構造の正当性検査方式は利用者
定義呼出し関連情報格納域と、利用者定義呼出し関連情
報設定手段と、コンパイラ生成呼出し関連情報格納域と
、コンパイラ生成呼出し関連情ｍ設定手段と、コンパイ
ラ々、メツセージ出力手段と、呼出し関連情報整合性チ
ェック手段と、正当性検査制御手段とを具備して構成し
たものである。
定義呼出し関連情報格納域と、利用者定義呼出し関連情
報設定手段と、コンパイラ生成呼出し関連情報格納域と
、コンパイラ生成呼出し関連情ｍ設定手段と、コンパイ
ラ々、メツセージ出力手段と、呼出し関連情報整合性チ
ェック手段と、正当性検査制御手段とを具備して構成し
たものである。
利用者定義呼出し関連情報格納域は、利用者から入力虞
れた利用者定義呼出し関連情報を格納す石虎めのもので
ある。
れた利用者定義呼出し関連情報を格納す石虎めのもので
ある。
利用者定義呼出し関連情報設定手段は、利用者から呼出
し関連情報を入力して利用者定義呼出し関・嘔情報格納
域に格納するためめものである。
し関連情報を入力して利用者定義呼出し関・嘔情報格納
域に格納するためめものである。
コンパイラ生成呼出し１［連情報格納域は、コンパイラ
生成呼出し関連情報を格納するためのものである。
生成呼出し関連情報を格納するためのものである。
コンパイラ生成呼出し１ＳＩＩ逼情報設定手段は、ソー
スプログラム内の呼出し関連情報をコンパイラ生成呼出
し関連情報格納域に設定するためのものである。
スプログラム内の呼出し関連情報をコンパイラ生成呼出
し関連情報格納域に設定するためのものである。
コンパイラは、ソースプログラム内の手続きの呼出しｔ
−ｇｔしてコンパイラ生成呼出し関連清報設定手段を起
動するためのものである。
−ｇｔしてコンパイラ生成呼出し関連清報設定手段を起
動するためのものである。
メツセージ出力手段は、メツセージを出力する虎めのも
のでちる。
のでちる。
呼出し関連情報整合性チェック手段は、コンパイラ生成
呼出し関連情報と利用者定義呼出し関連情報とを入力し
て整合性をチェックし、不整合であればメツセージ出力
手段を起動するためのものである。
呼出し関連情報と利用者定義呼出し関連情報とを入力し
て整合性をチェックし、不整合であればメツセージ出力
手段を起動するためのものである。
正当性検査制御手段は、利用者定義呼出し関連情報設定
手段、コンパイラ、ならびに呼出し関連情報整合性チェ
ック手段を記載順に起動するためのものである。
手段、コンパイラ、ならびに呼出し関連情報整合性チェ
ック手段を記載順に起動するためのものである。
（実施例）
次に、本発明について図面を参照して説明する。
第１図は、本発明によるプログラム構造の正当性検査方
式の一実施例を示すブロック図である。
式の一実施例を示すブロック図である。
ｗＪ１図において、１はコンパイラ、２はコンパイラ生
成呼出し関連情報設定手段、３は利用者定義呼出し関連
情報設定手段、４は呼出し関連情報格納域チェック手段
、５はメツセージ出力手段、６゜はコンパイラ生成呼出
し１凋連情報格納埃、７は利用者定義呼出し関連情報格
納域、１１はソースプログラム、１２は利用者、１３は
正当性検査制御手段である。
成呼出し関連情報設定手段、３は利用者定義呼出し関連
情報設定手段、４は呼出し関連情報格納域チェック手段
、５はメツセージ出力手段、６゜はコンパイラ生成呼出
し１凋連情報格納埃、７は利用者定義呼出し関連情報格
納域、１１はソースプログラム、１２は利用者、１３は
正当性検査制御手段である。
第２図は、本発明によるプログラム構造を簡易に表わし
た説明図である。
た説明図である。
＠１図を参照すると本発明はコンパイラ１と、コンパイ
ラ生成呼出し関連情報設定手段２と、利用者定義呼出し
関連情報設定手段３と、呼出し関連情報整合性チェック
手段４と、メツセージ出力手段Ｓと、正当性検査制御手
段１３とから構成され、ている。一方、作業用の情報と
してコンパイラ生成呼出し関連情報格納域６と利用者定
義呼出し関連情報格納域フとを有し、それぞれの格納域
６、？ＩＣは当該情報が格納されている。
ラ生成呼出し関連情報設定手段２と、利用者定義呼出し
関連情報設定手段３と、呼出し関連情報整合性チェック
手段４と、メツセージ出力手段Ｓと、正当性検査制御手
段１３とから構成され、ている。一方、作業用の情報と
してコンパイラ生成呼出し関連情報格納域６と利用者定
義呼出し関連情報格納域フとを有し、それぞれの格納域
６、？ＩＣは当該情報が格納されている。
１４１図において、矢印（→）はデータの流れを示し、
矢印（→）は制御の流れを示す。
矢印（→）は制御の流れを示す。
次に、＄Ｊ１図および８２図を参照して処理の流れｔ−
説明する。
説明する。
正当性検査制御手段１３は利用者定義呼出し関連情報設
定手段３と、コンパイラ１と、呼出し関連情報整合性チ
ェック手段４とを上記の順序で起動する。利用者定義呼
出し関連情報設定手段３は利用者１２から利用者定義呼
出し＋Ｉ１遍情報格納域フヘ入力され虎利用者定義呼出
し関連情報を格納する。ソースプログラム１１によって
手続きの呼出しを認識するとコンパイラ１はコンパイラ
生成呼出し関連情報設定手段２を起動する。コンパイラ
生成呼出し関連情報設定手段２は、コンパイラ生成呼出
し関連情報格納＄６へコンパイラ生成呼出し関連情報を
格納する。
定手段３と、コンパイラ１と、呼出し関連情報整合性チ
ェック手段４とを上記の順序で起動する。利用者定義呼
出し関連情報設定手段３は利用者１２から利用者定義呼
出し＋Ｉ１遍情報格納域フヘ入力され虎利用者定義呼出
し関連情報を格納する。ソースプログラム１１によって
手続きの呼出しを認識するとコンパイラ１はコンパイラ
生成呼出し関連情報設定手段２を起動する。コンパイラ
生成呼出し関連情報設定手段２は、コンパイラ生成呼出
し関連情報格納＄６へコンパイラ生成呼出し関連情報を
格納する。
呼出し関連情報整合性チェック手段４は、コンパイラ生
成呼出し関連情報と利用者定義呼出し関連情報とを比較
し、異っているときにはメツセージ出力手段５を起動す
る。メツセージ出力手段５はメツセージを出力する。コ
ンパイラ生成呼出し関連情報訃よび利用者定義呼出し関
連情報は、第２図に示すように手続きＡから手続きＢｅ
呼出しているときには、その内部表現として（ＡＢ）の
ように２つの手続きの組として表わされる。
成呼出し関連情報と利用者定義呼出し関連情報とを比較
し、異っているときにはメツセージ出力手段５を起動す
る。メツセージ出力手段５はメツセージを出力する。コ
ンパイラ生成呼出し関連情報訃よび利用者定義呼出し関
連情報は、第２図に示すように手続きＡから手続きＢｅ
呼出しているときには、その内部表現として（ＡＢ）の
ように２つの手続きの組として表わされる。
（発明の効果）
以上説明しなように本発明は、内部手続きを定。
義できる高級宮崎で記述されたソースプログラムの内部
手続きの呼出し関係を利用者が明示しておき、プログラ
ムが複雑になってもコンパイル時に実際のプログラムが
利用者の意図した内部手続きの呼出し関係になっている
ｆｈ否かを自動釣にチェックすることにより、正確な検
査が容易になり、しかも検査に費される時間を短縮でき
る七いう効果がある。
手続きの呼出し関係を利用者が明示しておき、プログラ
ムが複雑になってもコンパイル時に実際のプログラムが
利用者の意図した内部手続きの呼出し関係になっている
ｆｈ否かを自動釣にチェックすることにより、正確な検
査が容易になり、しかも検査に費される時間を短縮でき
る七いう効果がある。
第１図は、本発明によるプログラム構造の正当性検査方
式の一実施例を示すプクック図である。 第２図は、第１図に関する呼出し１４１４情報を示しな
説明図である。 １・・・コンパイラ ２・・・コンパイラ生成呼出し関連情報設定手段 ３・・・利用者定義呼出し関連情報設定手段４・・・呼
出し関連情報整合性チェック手段５・・・メツセージ出
力手段 ６・−・コンパイラ生成呼出し関連情報格納域７・・・
利用者定義呼出し関連情報格納域１１・・・ソースプロ
グラム １２・・ｅ利用者 １３・−・正当性検査制御手段 才２図 ！Ｐ左のアＯグつム楕場− （Ａ Ｂ） （Ａ Ｃ） （Ｃｒ：）＞ （Ｃ） Ｂ） ＣＸ Ｙ）と１； 予見先さＸ中で＋ゑ慝を盗叶Ｖ出１
；と１示１゜
式の一実施例を示すプクック図である。 第２図は、第１図に関する呼出し１４１４情報を示しな
説明図である。 １・・・コンパイラ ２・・・コンパイラ生成呼出し関連情報設定手段 ３・・・利用者定義呼出し関連情報設定手段４・・・呼
出し関連情報整合性チェック手段５・・・メツセージ出
力手段 ６・−・コンパイラ生成呼出し関連情報格納域７・・・
利用者定義呼出し関連情報格納域１１・・・ソースプロ
グラム １２・・ｅ利用者 １３・−・正当性検査制御手段 才２図 ！Ｐ左のアＯグつム楕場− （Ａ Ｂ） （Ａ Ｃ） （Ｃｒ：）＞ （Ｃ） Ｂ） ＣＸ Ｙ）と１； 予見先さＸ中で＋ゑ慝を盗叶Ｖ出１
；と１示１゜
Claims (1)
- 利用者から入力された利用者定義呼出し関連情報を格納
するための利用者定義呼出し関連情報格納域と、前記利
用者から呼出し関連情報を入力して前記利用者定義呼出
し関連情報格納域に格納するための利用者定義呼出し関
連情報設定手段と、コンパイラ生成呼出し関連情報を格
納するためのコンパイラ生成呼出し関連情報格納域と、
ソースプログラム内の呼出し関連情報を前記コンパイラ
生成呼出し関連情報格納域に設定するためのコンパイラ
生成呼出し関連情報設定手段と、前記ソースプログラム
内の手続きの呼出しを認識して前記コンパイラ生成呼出
し関連情報設定手段を起動するためのコンパイラと、メ
ッセージを出力するためのメッセージ出力手段と、前記
コンパイラ生成呼出し関連情報を前記利用者定義呼出し
関連情報とを入力して整合性をチェックし、不整合であ
れば前記メッセージ出力手段を起動するための呼出し関
連情報整合性チェック手段と、前記利用者定義呼出し関
連情報設定手段、前記コンパイラ、ならびに前記呼出し
関連情報整合性チェック手段を記載順に起動するための
正当性検査制御手段とを具備して構成したことを特徴と
するプログラム構造の正当性検査方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63009063A JPH01184541A (ja) | 1988-01-19 | 1988-01-19 | プログラム構造の正当性検査方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63009063A JPH01184541A (ja) | 1988-01-19 | 1988-01-19 | プログラム構造の正当性検査方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH01184541A true JPH01184541A (ja) | 1989-07-24 |
Family
ID=11710155
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP63009063A Pending JPH01184541A (ja) | 1988-01-19 | 1988-01-19 | プログラム構造の正当性検査方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH01184541A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH03282935A (ja) * | 1990-03-30 | 1991-12-13 | Pfu Ltd | コンパイル処理装置及びコンパイル処理方式 |
| US6334210B1 (en) | 1998-01-26 | 2001-12-25 | Nec Corporation | Language processing system and language processing method enabling reduction of memory region and overhead in profile information collection of computer |
-
1988
- 1988-01-19 JP JP63009063A patent/JPH01184541A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH03282935A (ja) * | 1990-03-30 | 1991-12-13 | Pfu Ltd | コンパイル処理装置及びコンパイル処理方式 |
| US6334210B1 (en) | 1998-01-26 | 2001-12-25 | Nec Corporation | Language processing system and language processing method enabling reduction of memory region and overhead in profile information collection of computer |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPS63278145A (ja) | パラメ−タ対応検査方式 | |
| JPH01184541A (ja) | プログラム構造の正当性検査方式 | |
| Van Emden | Structured inspections of code | |
| JPH0358232A (ja) | プリプロセッサ呼び出し方式 | |
| JPH02205930A (ja) | インタフェースチェック処理方法 | |
| JP2932987B2 (ja) | 計算機システムの自動試験装置 | |
| JPS63273132A (ja) | プログラム開発支援システム | |
| Schwille | Modeling product and process characteristics in software configuration management | |
| JPH0355633A (ja) | モジュール間インタフェイス検査装置 | |
| McChesney | Modelling multi-party activity in the IS process from a language/action perspective | |
| Jones | A programming aid for structured programmers | |
| Hankley et al. | A verification helper for task specifications | |
| Hildebrand et al. | S-CORT®: A method for the development of electronic payment systems | |
| JPH07168743A (ja) | 利用者プログラム異常終了時の情報表示システム | |
| JPH08249210A (ja) | テストデータ保存装置及びテストデータ自動入力装置並びに機能テスト装置 | |
| CN115809231A (zh) | 一种案件信息管理系统数据精准自校方法及装置 | |
| KR950013291A (ko) | 교환기에서의 콜시뮬레이션 방법 | |
| Slater | Good Programming Techniques I: Testing and the Life Cycle of a Software Product | |
| JPH04245306A (ja) | 機械組立作業計画作成支援方法 | |
| JPS63128438A (ja) | コンパイラの外部手続呼出し形式検査方法 | |
| JPS62226289A (ja) | デ−タ収集処理装置 | |
| JPH07225689A (ja) | モジュール機能を有する計算機言語のオブジェクトプログラム生成方法 | |
| JPS63269230A (ja) | Ｃｏｂｏｌコンパイラにおけるｕｓｅ手続き処理方法 | |
| Sharp | A comparison of IDEF1X and NIAM ISDM | |
| Boano et al. | Modelling and Building Graphics Systems: GKS |