JPH01304548A

JPH01304548A - プログラム検証方式

Info

Publication number: JPH01304548A
Application number: JP63135116A
Authority: JP
Inventors: Tatsumi Hayashi; 林　辰己
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 1988-06-01
Filing date: 1988-06-01
Publication date: 1989-12-08

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】〔概要〕プログラムの走行確認の検証を行うプログラム検証方式
に関し、プログラムのステップごとなどにその走行結果を出力し
、これを見てデバッグを迅速に行い得るようにすること
を目的とし、取り出して検証を行おうとするプログラムをＩＤに対応
づけ、このＩＤを実行テーブルに設定するＩＤ処理部と
、このＩＤ処理部が取り出したプログラムを受け取って
解析して実行し、走行確認を行おうとする計算機システ
ムを構成するステート処理部とを備え、このステート処
理部がプログラムによって指示された処理を実行してそ
の結果を指示された領域に出力し、この出力結果を上記
実行テーブルに設定したＩＤに対応づけて外部に出力し
得るように構成する。

〔産業上の利用分野〕

本発明は、プログラムの走行確認の検証を行うプログラ
ム検証方式に関するものである。

プログラムの検証は、プログラムのバグが計算機システ
ムに及ぼす影響が大きく、また特別な動作環境でないと
走行できないプログラムがあるため、確実に行う必要性
がある。

〔従来の技術と発明が解決しようとする課ツ〕従来のプ
ログラム検証は、実際の情報処理装置上でプログラムの
各ステップを実行してこれらのステップが正しく実行さ
れることを、各ステップごとのチエツクポイントを出力
し、予め論理的に作成した結果と比較して確認するよう
にしていた。

また、シミュレーションにより、各ステップおよび処理
を実行し、確認および検証を行うようにしていた。

このため、プログラムの検証期間が長くかかり、開発効
率が低下してしまうと共に、未デーバッグルーチンのバ
グを見つけ出し得ないという問題があった。

本発明は、プログラムのステップごとなどにその走行結
果を出力し、これを見てデバッグを迅速に行い得るよう
にすることを目的としている。

〔課題を解決する手段〕

第１図は本発明の原理構成図を示す。

第１図において、ＩＤ部１は、検証しようとするプログ
ラム２に付与するインデックスである。

ＩＤ処理部４は、ＩＤに対応づけてプログラム２を取り
出し、当Ｊ亥［Ｄを実行テーブル４−１に設定およびプ
ログラム２をステート処理部５に渡すと共に、ステー１
−処理部５によってプログラム２を実行した結果を受け
取り、ＩＤに対応づけて出力するものである。

ステート処理部５は、プログラムを検証する計算機ンス
テム内に設けられ、渡されたプロゲラ１．２を実行して
その結果を指示された領域に出力するものである。

出力装置６は、ＩＤに対応づけてプログラムの処理結果
を印字などするものである。

〔作用〕

本発明は、第１図に示すように、ＩＤ処理部４が取り出
したプログラム２に対応づけたＩＤ部１を実行テーブル
４〜１に設定すると共に取り出したプログラム２をステ
ート処理部５に渡し、ステート処理部５がこのプログラ
ム２を実行してその結果を指示された領域に出力し、更
に、ＩＤ処理部４がこの結果を実行テーブル４−１に設
定されているＩＤに対応づけて出力装置６に指示し、印
字などするようにしている。

従って、プログラム２の各ステップ毎などにｌＤに対応
づけてその処理結果が出力され、当該出力結果を見てプ
ログラムの検証を確実かつ容易に行うことが可能となる
。

〔実施例〕

次に、第２図フローチャートに示す順序に従い、第３図
を用いて本発明の１実施例構成および動作を詳細に説明
する。

第２図において、■は、プログラムカードを一枚読む。

これは、例えば第３図プログラム２−１を読み込むこと
を意味している。

■は、ＩＤを読み実行テーブル４−１に設定する。これ
は、例えば■で第３図プログラム２−１を読み込み、こ
れのＩＤＩ　　（あるいは順序番号であるステップ１）
を実行テーブル４−１の最上段に図示のように設定する
ことを意味している。

■は、プログラム部をステート処理部に渡す。

これは、第３図プログラム２−１をステート処理部であ
るＣＰＵ１２に渡す（具体的にはＣＰＵＩ２配下のＭＳ
Ｕ１３にロード（スキャンイン）する）ことを意味して
いる。

■は、ステー１・処理部４が以下■および■の処理を行
う。

■は　プログラム部を解析して実行する。

■は、実行結果をテーブルに書き込み出力する。

これら■、■は、例えば第３図プログラム２−１をステ
ート処理部であるＣＰＵ１２に渡したことに対応して、
当該プログラム２−１の第１行目“５ＣＩＮ　　ＡＡＡ
ＡＡＡ、３２．ＯＮ”によって、アドレスＡＡＡＡＡＡ
のレジスタの３２ビツト目のパリティビットがＯＮに強
制的にセットされる。第２行目の“ＡＲＧＲＯｌＧＲＯ
”の実行時に第３図エラー検出器１４によってエラーが
ハードウェア的に検出される。第３行目の“ＳＣ○ＵＴ
　　ＢＢＢＢＢＢ、ＡＤＲ＝Ｃ”によって、第２行目の
実行結果としてラッチ１５に保持されているパリティエ
ラーが５ＶＰＩＩ内のアドレスＣに出力される。そして
、５ＶＰＩＩがこのアドレスＣに格納された結果を、実
行テーブル４−１に設定されたＩＤに対応づけて印刷さ
せる。

■は、ステート処理部の処理が終了するのを待つ。

■は、ステート処理部からの終了通知に対応して、■で
渡したプログラム部による実行が終了したか否かを判別
する。ＹＥＳの場合には、■を実行する。ＮＯの場合に
は、■で待つ。

■は、プログラムカードが終了か否かを判別する。ＹＥ
Ｓの場合には、［相］でＩＤ、及び処理結果を対応づけ
て出力し、処理の正常性を実行ＩＤにて確認する。これ
は、■、■でステート処理部によって解析・実行された
結果が、ＩＤに対応づけて出力されるため、このＩＤに
対応づけた結果例えばプログラムのステップ毎の結果を
１ｉｉｉｉ５して、当該プログラムの正当性の検証を行
うことを意味している。

第３図において、ＳＶＰ　（サービスプロセッサ）１１
は、ＩＤ処理部であって、計算機システムにおける各種
サービスを行うものである。この５ｖｐｔｔには、検証
しようとするプログラム２−１．２−２などを格納した
プログラムカード、ステート処理部に実行させる例えば
プログラム２−１のＩＤあるいは順序番号などの識別子
を格納する実行テーブル４−１、およびステート処理部
がプログラム２−１などを実行した結果を格納するメモ
リ１１−１などがある。

ＣＰＵＩ　２は、ステート処理部であって、計算機シス
テムにおける各種処理を行うものである。

ＭＳＵ　（主記憶装置）１３は、プログラムなどを格納
するものである。

〔発明の効果〕

以上説明したように、本発明によれば、取り出したプロ
グラムをＩＤに対応づけ、このＩＤを実行テーブル４−
１に設定すると共にプログラムの実行を検証しようとす
るステート処理部に渡して実行させ、その結果を実行テ
ーブル４−１に設定したＩＤに対応づけて出力する構成
を採用しているため、プログラムの各ステップ毎などに
ＩＤに対応づけてその処理結果を出力し、この出力結果
を見てプログラムの検証を確実かつ容易に行うことがで
きる。これにより、プログラムのデバッグ効率を向上さ
せることができ、しかも全プログラムステップの確認を
短時間に行うことができる。

【図面の簡単な説明】

第１図は本発明の原理構成図、第２図は本発明の動作説
明フローチャート、第３図は本発明の詳細な説明図を示
す。図中、１はＩＤ部、２は検証しようとするプログラム、
４はＩＤ処理部、４−１は実行テーブル、５はステート
処理部、６は出力装置を表す。

Claims

【特許請求の範囲】プログラムの走行確認の検証を行うプログラム検証方式
において、取り出して検証を行おうとするプログラム（２）をＩＤ
に対応づけ、このＩＤを実行テーブル（４−１）に設定
するＩＤ処理部（４）と、このＩＤ処理部（４）が取り出したプログラム（２）を
受け取って解析して実行し、走行確認を行おうとする計
算機システムを構成するステート処理部（５）とを備え
、このステート処理部（５）がプログラム（２）によって
指示された処理を実行してその結果を指示された領域に
出力し、この出力結果を上記実行テーブル（４−１）に
設定したＩＤに対応づけて外部に出力し得るように構成
したことを特徴とするプログラム検証方式。