JP2560545B2 - インタフェース検査処理装置 - Google Patents
インタフェース検査処理装置Info
- Publication number
- JP2560545B2 JP2560545B2 JP2400987A JP40098790A JP2560545B2 JP 2560545 B2 JP2560545 B2 JP 2560545B2 JP 2400987 A JP2400987 A JP 2400987A JP 40098790 A JP40098790 A JP 40098790A JP 2560545 B2 JP2560545 B2 JP 2560545B2
- Authority
- JP
- Japan
- Prior art keywords
- program
- data
- design information
- interface
- inspected
- 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.)
- Expired - Lifetime
Links
Description
【０００１】
【産業上の利用分野】本発明は計算機において、プログ
ラム間のインタフェース整合性をチェックするための、
インタフェース検査処理装置に関する。
ラム間のインタフェース整合性をチェックするための、
インタフェース検査処理装置に関する。
【０００２】
【従来の技術】公知のように、大量のプログラムを開発
する場合には、互いに連携して処理を行う複数の部分に
分割して、それらの複数のプログラムを並行して開発す
る場合がしばしばある。
する場合には、互いに連携して処理を行う複数の部分に
分割して、それらの複数のプログラムを並行して開発す
る場合がしばしばある。
【０００３】そのような開発方法を採った場合に、プロ
グラム間のインタフェースの整合を保持することが重要
な問題である。そのために或るプログラムと、そのプロ
グラムが呼び出す下位プログラムとを原始プログラムで
照合して、両者がデータ定義文で設けているデータ、及
びそれらのデータの内容設定／参照処理に矛盾がないか
検査することが行われる。
グラム間のインタフェースの整合を保持することが重要
な問題である。そのために或るプログラムと、そのプロ
グラムが呼び出す下位プログラムとを原始プログラムで
照合して、両者がデータ定義文で設けているデータ、及
びそれらのデータの内容設定／参照処理に矛盾がないか
検査することが行われる。
【０００４】
【発明が解決しようとする課題】しかし、下位プログラ
ムの作成が未だ終わっていなかったり、逆にかなり以前
に開発されたものを利用するために目的プログラムはあ
るが、原始プログラムを参照することが困難であったり
すると、前記のような原始プログラムを照合する検査を
行うことができない。
ムの作成が未だ終わっていなかったり、逆にかなり以前
に開発されたものを利用するために目的プログラムはあ
るが、原始プログラムを参照することが困難であったり
すると、前記のような原始プログラムを照合する検査を
行うことができない。
【０００５】又、検査で不整合が検出されても、上位プ
ログラムと下位プログラムの何れに誤りがあるのか識別
し難い場合がある等の問題がある。本発明は、ある被検
査プログラムとその下位プログラムとの間のインタフェ
ースの整合性を、下位プログラムを使用しないで確実に
検査できるインタフェース検査処理装置を目的とする。
ログラムと下位プログラムの何れに誤りがあるのか識別
し難い場合がある等の問題がある。本発明は、ある被検
査プログラムとその下位プログラムとの間のインタフェ
ースの整合性を、下位プログラムを使用しないで確実に
検査できるインタフェース検査処理装置を目的とする。
【０００６】
【課題を解決するための手段】図１は、本発明の構成を
示すブロック図である。図はインタフェース検査処理装
置の構成であって、被検査プログラム３について、被検
査プログラム３が呼び出す下位プログラムとのインタフ
ェースの整合性を検査するに際し、設計情報１の格納手
段と、検査部２とを設ける。
示すブロック図である。図はインタフェース検査処理装
置の構成であって、被検査プログラム３について、被検
査プログラム３が呼び出す下位プログラムとのインタフ
ェースの整合性を検査するに際し、設計情報１の格納手
段と、検査部２とを設ける。
【０００７】設計情報１は、該インタフェースで授受す
るデータを規定する情報を、該下位プログラム内のデー
タ定義文として定まる形式で構成して、各該データ定義
文で定義するデータの該インタフェース上の授受方向を
示す所定の表示を、当該データ定義文の注釈情報として
付す。
るデータを規定する情報を、該下位プログラム内のデー
タ定義文として定まる形式で構成して、各該データ定義
文で定義するデータの該インタフェース上の授受方向を
示す所定の表示を、当該データ定義文の注釈情報として
付す。
【０００８】検査部２は、被検査プログラム３のデータ
定義文の内容を該設計情報と照合して、該設計情報と一
致するデータの有無を識別し、当該データ定義文を有す
る場合について、該データ定義文で定義される各該デー
タの内容設定／参照処理と該設計情報に指定される該授
受方向との所定の無矛盾性を検査することによって、該
インタフェースの整合性を判定する。
定義文の内容を該設計情報と照合して、該設計情報と一
致するデータの有無を識別し、当該データ定義文を有す
る場合について、該データ定義文で定義される各該デー
タの内容設定／参照処理と該設計情報に指定される該授
受方向との所定の無矛盾性を検査することによって、該
インタフェースの整合性を判定する。
【０００９】
【作用】本発明の処理装置により、下位プログラムの有
無に関わらず、設計情報と被検査プログラムとの照合に
より、下位プログラムとのインタフェースで授受するデ
ータの一致と、そのデータの処理の無矛盾性を検査する
ことができる。
無に関わらず、設計情報と被検査プログラムとの照合に
より、下位プログラムとのインタフェースで授受するデ
ータの一致と、そのデータの処理の無矛盾性を検査する
ことができる。
【００１０】更にこの設計情報は、下位プログラムのデ
ータ定義文の形式になっているので、それをそのまゝ下
位プログラムで読み込んで使用するようにすることによ
り、インタフェースの誤りの発生を減少できる効果もあ
る。
ータ定義文の形式になっているので、それをそのまゝ下
位プログラムで読み込んで使用するようにすることによ
り、インタフェースの誤りの発生を減少できる効果もあ
る。
【００１１】
【実施例】図２は、ＣＯＢＯＬプログラミング言語で記
述された原始プログラムを被検査プログラムとする場合
について、被検査プログラムと設計情報との一例を示す
図である。
述された原始プログラムを被検査プログラムとする場合
について、被検査プログラムと設計情報との一例を示す
図である。
【００１２】被検査プログラム10から呼出命令「CALL '
PGA'」で呼び出される下位プログラムPGA がある場合
に、PGA のための設計情報11を図示の例のように記述し
て作成しておく。
PGA'」で呼び出される下位プログラムPGA がある場合
に、PGA のための設計情報11を図示の例のように記述し
て作成しておく。
【００１３】設計情報11は、図から明らかなように、公
知のＣＯＢＯＬ言語仕様によるプログラムのデータ定義
部に記述されるデータ定義文の形式とし、各データの定
義文の注釈（図において「／＊」と「＊／」とで挟まれ
る部分）に、インタフェースにおける授受方向を、当該
下位プログラムへの入力となる場合に「ＩＮ」、下位プ
ログラムからの出力になる場合に「ＯＵＴ」として表示
する。
知のＣＯＢＯＬ言語仕様によるプログラムのデータ定義
部に記述されるデータ定義文の形式とし、各データの定
義文の注釈（図において「／＊」と「＊／」とで挟まれ
る部分）に、インタフェースにおける授受方向を、当該
下位プログラムへの入力となる場合に「ＩＮ」、下位プ
ログラムからの出力になる場合に「ＯＵＴ」として表示
する。
【００１４】検査部２は、先ず被検査プログラム10の呼
出命令文で呼出時のパラメータに指定するデータの名
前、個数、順序が設計情報11と一致するか検査する。そ
れが一致すれば、次に被検査プログラム10のデータ定義
部に、設計情報11に対応するデータ定義があるかチェッ
クする。
出命令文で呼出時のパラメータに指定するデータの名
前、個数、順序が設計情報11と一致するか検査する。そ
れが一致すれば、次に被検査プログラム10のデータ定義
部に、設計情報11に対応するデータ定義があるかチェッ
クする。
【００１５】データ定義の対応が正常の場合には、設計
情報11で「ＩＮ」の表示のあるデータ (下位プログラム
に渡すデータ) が、呼出命令文の実行より前に内容の設
定を終わるようにプログラムが書かれているかを検査す
る。
情報11で「ＩＮ」の表示のあるデータ (下位プログラム
に渡すデータ) が、呼出命令文の実行より前に内容の設
定を終わるようにプログラムが書かれているかを検査す
る。
【００１６】図の例では、設定命令「MOVE 'A' TO P1-
1」によって、データP1-1には値が設定されるが、デー
タP1-2に値を設定するプログラムが無いので、その旨の
警告メッセージが作られる。
1」によって、データP1-1には値が設定されるが、デー
タP1-2に値を設定するプログラムが無いので、その旨の
警告メッセージが作られる。
【００１７】次に設計情報11で「ＯＵＴ」の表示のある
データ (下位プログラムから受け取るデータ) が、呼出
命令文の実行後に参照されているか検査し、図の例のよ
うに判定命令その他の命令文で参照されていればよい
が、参照が無かったり、参照の前に値を設定しているよ
うな場合には、警告メッセージが作られる。
データ (下位プログラムから受け取るデータ) が、呼出
命令文の実行後に参照されているか検査し、図の例のよ
うに判定命令その他の命令文で参照されていればよい
が、参照が無かったり、参照の前に値を設定しているよ
うな場合には、警告メッセージが作られる。
【００１８】図３は検査部の処理の流れの一例を示す図
である。検査部は、処理ステップ20で被検査プログラム
の呼出命令文を検索し、処理ステップ21で判定して、呼
出命令文が一つあればその処理のために処理ステップ22
に進む。
である。検査部は、処理ステップ20で被検査プログラム
の呼出命令文を検索し、処理ステップ21で判定して、呼
出命令文が一つあればその処理のために処理ステップ22
に進む。
【００１９】処理ステップ22で、呼出命令文に指定され
ている呼出先の下位プログラム名により、その下位プロ
グラムの設計情報を取り出す。処理ステップ23で、呼出
命令文のパラメータに指定されているデータについて、
設計情報との整合を前記のように検査し、又処理ステッ
プ25で、被検査プログラムのデータ定義部と設計情報と
の整合を検査し、不整合があれば処理ステップ24、26で
警告メッセージを作成する。
ている呼出先の下位プログラム名により、その下位プロ
グラムの設計情報を取り出す。処理ステップ23で、呼出
命令文のパラメータに指定されているデータについて、
設計情報との整合を前記のように検査し、又処理ステッ
プ25で、被検査プログラムのデータ定義部と設計情報と
の整合を検査し、不整合があれば処理ステップ24、26で
警告メッセージを作成する。
【００２０】次に処理ステップ27で設計情報で「ＩＮ」
に指定されているデータについて、必要な設定が行われ
るか、前記のように検査し、又処理ステップ29で「ＯＵ
Ｔ」に指定されているデータの参照を前記のように検査
して、明確な設定／参照の処理が無ければ処理ステップ
28、30で警告メッセージを作成する。
に指定されているデータについて、必要な設定が行われ
るか、前記のように検査し、又処理ステップ29で「ＯＵ
Ｔ」に指定されているデータの参照を前記のように検査
して、明確な設定／参照の処理が無ければ処理ステップ
28、30で警告メッセージを作成する。
【００２１】以上の後、処理ステップ20に戻って次の呼
出命令文を検索し、呼出命令文があれば以上の処理を行
い、プログラムが終了すれば処理ステップ31で作成した
警告メッセージ等を出力して処理を終わる。
出命令文を検索し、呼出命令文があれば以上の処理を行
い、プログラムが終了すれば処理ステップ31で作成した
警告メッセージ等を出力して処理を終わる。
【００２２】
【発明の効果】以上の説明から明らかなように本発明に
よれば、計算機のプログラムの検査において、被検査プ
ログラムと下位プログラムとの間のインタフェースを、
下位プログラムを使用しないで確実に検査できるという
著しい工業的効果がある。
よれば、計算機のプログラムの検査において、被検査プ
ログラムと下位プログラムとの間のインタフェースを、
下位プログラムを使用しないで確実に検査できるという
著しい工業的効果がある。
【図１】 本発明の構成を示すブロック図
【図２】 設計情報等の一例を説明する図
【図３】 本発明の処理の流れ図
１、11 設計情報 ２ 検査部 ３、10 被検査プログラム 20〜31 処理ステップ
Claims (1)
- 【請求項１】 被検査プログラムについて、該被検査プ
ログラムが呼び出す下位プログラムとのインタフェース
の整合性を検査するインタフェース検査処理装置におい
て、設計情報格納手段 と、検査部とを設け、 該設計情報格納手段は、該インタフェースで授受するデ
ータを規定する情報を、該下位プログラム内のデータ定
義文として定まる形式で構成して、各該データを定義文
で定義するデータの該インタフェース上の授受方向を示
す所定の表示を、当該データ定義文の注釈情報として付
した設計情報を格納し、該検査部 は、該被検査プログラムのデータ定義文の内容
を該設計情報と照合して、該設計情報と一致するデータ
の有無を識別し、 当該データ定義文を有する場合について、該データ定義
文で定義される各該データの内容設定／参照処理の有無
や位置と該設計情報に指定される該授受方向との所定の
無矛盾性を検査することによって、該インタフェースの
整合性を判定するように構成されていることを特徴とす
るインタフェース検査処理装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2400987A JP2560545B2 (ja) | 1990-12-10 | 1990-12-10 | インタフェース検査処理装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2400987A JP2560545B2 (ja) | 1990-12-10 | 1990-12-10 | インタフェース検査処理装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH04213124A JPH04213124A (ja) | 1992-08-04 |
| JP2560545B2 true JP2560545B2 (ja) | 1996-12-04 |
Family
ID=18510850
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2400987A Expired - Lifetime JP2560545B2 (ja) | 1990-12-10 | 1990-12-10 | インタフェース検査処理装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2560545B2 (ja) |
Family Cites Families (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH01237849A (ja) * | 1988-03-18 | 1989-09-22 | Nec Corp | インタフェース情報検査方式 |
-
1990
- 1990-12-10 JP JP2400987A patent/JP2560545B2/ja not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| JPH04213124A (ja) | 1992-08-04 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US9535821B1 (en) | Displaying violated coding rules in source code | |
| CA2708628C (en) | Assisting failure mode and effects analysis of a system comprising a plurality of components | |
| JP2560545B2 (ja) | インタフェース検査処理装置 | |
| CN112015658A (zh) | 一种用于软件集成测试用例的生成方法及装置 | |
| JPH02275539A (ja) | デバッグ処理方式 | |
| JP2795332B2 (ja) | ループ処理誤り検出装置 | |
| JPS5856150A (ja) | プログラム管理方式 | |
| CN112597057B (zh) | 一种蓝图数据的差异化处理方法和装置 | |
| JP2699436B2 (ja) | パラメータ検査処理方法 | |
| US20230101320A1 (en) | Method for creating and executing a control program for controlling an automation system, and automation system | |
| JPH02260045A (ja) | アプリケーション・トラブル・チェック方式 | |
| JPS62224833A (ja) | デ−タ形式の適否検査方式 | |
| JPH0431933A (ja) | 原始プログラム解析装置 | |
| JPH04365144A (ja) | 計算機システム | |
| JPH01261737A (ja) | 言語プロセッサの検査自動管理方式 | |
| JPH07225680A (ja) | ソフトウェアレビューチェック項目網羅性確認方法および装置 | |
| JPH0264822A (ja) | ファイル処理エラー検出方法 | |
| JPH0365614A (ja) | メカトロニクス機器 | |
| JPH0721013A (ja) | システム生成方式 | |
| JPH02115951A (ja) | 高級言語プログラム保守デバッグ方式 | |
| JPH07168711A (ja) | プログラム管理方法 | |
| JPH08179939A (ja) | レポート出力方法 | |
| JPS63128438A (ja) | コンパイラの外部手続呼出し形式検査方法 | |
| JPH04162149A (ja) | 電子計算機 | |
| JPH04324525A (ja) | プログラム移植支援装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 19960723 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080919 Year of fee payment: 12 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080919 Year of fee payment: 12 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090919 Year of fee payment: 13 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090919 Year of fee payment: 13 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100919 Year of fee payment: 14 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100919 Year of fee payment: 14 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110919 Year of fee payment: 15 |
|
| EXPY | Cancellation because of completion of term | ||
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110919 Year of fee payment: 15 |