JPH07311689A - 情報処理装置の検証方式 - Google Patents

Abstract

(57)【要約】 （修正有） 【目的】論理不良対策後の正常性確認を行うことが可能
な情報処理装置の検証方式を提供する。 【構成】検証プログラム１１０ａ，ｂを実行管理する制
御プログラム１１１内において、検証プログラム起動情
報の採取・記録と動作再現要求により、検証プログラム
１１０ａ，ｂの自動起動を行う起動要求処理１０２と論
理による同期／非同期的な事象毎や一定サイクル毎の検
証プログラム１１０ａ，ｂの実行タイミングをトレース
情報として常に採取し、トレース情報テーブル１０３に
記録することと不当な事象発生の検出や、検証プログラ
ム１１０ａ，ｂからのトレース停止要求時にトレースを
停止させ、該トレース情報テーブル１０３を補助記憶装
置１０７にロギングするトレース情報記録処理１０６と
該トレース情報により、論理不良発生までの一連の動作
を再現させる動作確認処理１０８を設ける。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、情報処理装置の検証に
おいて検証プログラムの実行及び論理動作のタイミング
に依存する再現性の低い論理不良の現象を容易に再現可
能とし、論理不良の解析のための再現テストを支援する
情報処理装置の検証方式に関する。

【０００２】

【従来の技術】情報処理装置の論理不良を摘出する方法
として検証プログラムが用いられるが、近年情報処理装
置の論理は大規模・複雑化しており、パイプラインによ
る先行制御，分岐命令の分岐方向予測，多重プロセッサ
による競合動作など、論理不良は多種の要因が重複して
発生するため、論理動作の微妙なタイミング差により論
理不良の現象が再現しない場合が多い。したがって論理
不良の発生現場を補足することが困難であり、論理不良
解析に長時間を要していた。

【０００３】このため、（イ）従来技術では情報処理装
置の各ユニットの論理信号を記録するステージトレーサ
を用い、論理不良摘出時に該ステージトレーサを停止さ
せ、一発で論理不良発生時の論理動作状態を補足し、該
トレース情報を編集，ＬＯＧ出力し論理不良の解析に供
する障害解析支援装置（特開平４−２９７９３３号公報
参照）により、論理不良現象の再現そのものを不要とす
る方法が用いられている。

【０００４】しかしながら、依然として障害解析支援装
置が接続されていない情報処理装置が多いことから、有
効な方法とは言えなかった。

【０００５】また、（ロ）上記障害解析支援装置によっ
て論理不良の解析が行えた場合でも、論理不良対策後の
正常性確認作業では、やはり論理不良現象発生時の実行
タイミングにおいて検証する必要があるが、この方法に
ついては配慮されていなかった。

【０００６】

【発明が解決しようとする課題】このように、従来の方
法では、（イ）障害解析支援装置が接続されている場合
にのみ有効であり、依然としてこの様な情報処理装置が
少ないこと、また、（ロ）論理不良対策後の正常性確認
には有効でなかった。

【０００７】本発明の目的は、上記の課題を解決し、
（イ）論理不良原因解析のための論理不良現象再現を可
能とし、（ロ）論理不良対策後の正常性確認を容易に行
うことが可能な情報処理装置の検証方式を提供すること
にある。

【０００８】

【課題を解決するための手段】上記目的を達成するため
に、本発明の方式は、（イ）制御プログラムにおいて、
検証プログラム起動情報、論理による同期／非同期的な
事象毎や一定サイクル毎に、検証プログラム実行状況の
詳細である事象発生の時間，部位，内容などを論理不良
発生時から一定時間分を遡り主記憶装置にトレース情報
として常に採取・記録する手段と、該制御プログラムに
よる不当な事象発生の検出や、検証プログラムからの論
理不良検出報告時に該トレースを停止状態にする手段
と、該トレース情報を補助記憶装置にロギングする手段
と／論理不良発生までの一連の動作をを再現するために
該トレース情報に格納されているタイミング情報に従っ
た検証プログラムの実行手段、論理動作の非同期的な事
象である割込みを制御するためのタイマ設定手段及び論
理において割込みを設定タイマ値に従い発生させる手段
と、該再現手段を操作員からの要求により起動させる手
段により、論理不良現象の容易な再現が達成される。

【０００９】また、（ロ）論理不良対策後の正常性確認
も、該再現手段により論理不良が発生しないことを確認
することで達成される。

【００１０】

【作用】本発明においては、情報処理装置の論理不良現
象が発生するまでの論理による同期／非同期な事象毎や
一定サイクル毎の検証プログラムの実行状況の詳細なタ
イミング情報を記録し、再現テストでは、制御プログラ
ムによって該トレース情報に従い、検証プログラムの実
行及び論理動作のタイミングを制御することにより、論
理不良現象発生時の状態を作り出すことによって、タイ
ミングに依存する論理不良の現象を再現させる。

【００１１】

【実施例】次に本発明の実施例について、図面により詳
細に説明する。

【００１２】図１は、本発明の一実施例による検証方式
のブロック図、図２は、一実施例による制御プログラム
における検証プログラム起動処理の流れ図、図３は、一
実施例による制御プログラムにおける事象トレース処理
の流れ図、図４は、一実施例による制御プログラムにお
ける動作再現処理の流れ図、図５は、一実施例によるト
レーステーブルのフォーマットを示す。

【００１３】図１において、検証プログラム１１０ａ及
び１１０ｂは、操作員によるコンソール装置１０１から
の起動要求コマンド１２２の入力により、制御プログラ
ム１１１の起動要求処理１０２が受付け、要求内容を解
析し、タスクスケジューラ１０９に起動要求１２３を行
う。そして、タスクスケジューラ１０９は、検証プログ
ラム格納デバイス１１３ａ又は１１３ｂより指定された
プログラムを読込み実行（１３１）させる。その時、起
動要求処理１０２は、検証プログラム１１０ａ又は１１
０ｂの起動時の各種情報によって後述するトレース情報
テーブル１０３を更新／記録（１２５ａ）する。

【００１４】また、検証プログラム１１０ａ又は１１０
ｂは検証対象論理１０４に対して検証のための命令を発
行することにより（動作要求１３０）各種の状態を設定
しながら検証するが、該検証対象論理１０４による各種
割込み（プログラム、Ｉ／Ｏ、タイマ等）の事象報告１
２４の発生時に、事象受付け解析処理１０５を介してト
レース情報記録処理１０６によりトレース情報テーブル
１０３に後述する詳細な事象情報を更新／記録（１２５
ｂ）する。

【００１５】もし、検証実施中に検証プログラム１１０
ａ又は１１０ｂによって論理不良を検出したり、事象受
付け解析処理１０５によって不当な事象を検出した場合
には、それぞれトレース停止要求１２０，１２１をトレ
ース情報記録処理１０６に指示する。

【００１６】そして、このトレース停止要求１２０又は
１２１を受付けたトレース情報記録処理１０６は、トレ
ース情報テーブル１０３への記録を中断し、トレース情
報内容を補助記憶装置１０７へ格納する。また、検証プ
ログラム１１０ａ又は１１０ｂが正常に動作終了した場
合は、補助記憶装置１０７への格納は行わずに終了す
る。

【００１７】次に、図１により論理不良発生時の再現方
式について説明する。

【００１８】先ず、操作員によるコンソール装置１０１
からの再現要求コマンド１２９の入力により、制御プロ
グラム１１１の起動要求処理１０２が受付け、要求内容
を解析し、トレース情報テーブル１０３の後述する検証
プログラム名格納領域を参照（１２６ｂ）することによ
って論理不良発生時に実行されていた全ての検証プログ
ラム名称を調べ、さらに該トレース情報テーブル１０３
に記録されている後述する起動タイミングに従いタスク
スケジューラ１０９へ該検証プログラムの起動指示１２
３を行う。そして、タスクスケジューラ１０９において
も、トレース情報テーブル１０３を参照（１２６ｃ）
し、検証プログラム格納デバイス１１３ａ又は１１３ｂ
より指定されたプログラムを読込み後述する方式でタイ
ミング情報に従い実行させて行く。

【００１９】また、該検証対象論理１０４による非同期
なタイミングで発生する各種割込み（Ｉ／Ｏ、タイマ
等）の事象報告１２４の発生時に、事象受付け解析処理
１０５を介して動作再現確認処理１０８によりトレース
情報テーブル１０３に記録された後述する詳細な事象情
報を用いて後述する方式で非同期タイミングから同期タ
イミングへの制御を行う。

【００２０】以上の制御を実施することで、検証プログ
ラム及び論理動作の実行タイミングに依存する論理不良
の現象を再現可能とする。

【００２１】図２は、図１における制御プログラム１１
１内の起動要求処理１０２の流れ図を示している。

【００２２】図２において、操作員によるコンソール装
置からの入力コマンドが、トレース情報テーブルに格納
されている情報による動作の再現要求か判定（２０１）
する。

【００２３】もし、動作再現要求以外の場合、トレース
情報を格納するトレース情報テーブルエリア１０３を確
保（２０２）し、後述のように検証プログラムの起動情
報である検証プログラム名、実行メモリサイズ、オプシ
ョンデータ、検証対象のデバイス名、検証プログラムの
起動時間を、トレース情報テーブル１０３内の検証プロ
グラム起動情報テーブル２０４へ記録（２０３）する。
そして、トレース情報記録モードを設定（２０５）し、
制御プログラム１１１のタスクスケジューラ１０９に要
求検証プログラムの起動要求１２３を行う（２０８）す
る。

【００２４】また、操作員によるコンソール装置からの
入力コマンドが、動作再現要求の場合、図１に示すトレ
ース情報テーブルを格納している補助記憶装置１０７か
らトレース情報テーブル１０３を読出し（２０６）、該
トレース情報テーブル内の検証プログラム起動情報テー
ブル２０４を基に起動順序（起動時間）に従い制御プロ
グラム１１１のタスクスケジューラ１０９に検証プログ
ラムの起動要求１２３を自動的に行う（２０７）。

【００２５】以上の処理により検証プログラムの起動情
報記録および自動起動が可能となる。

【００２６】図３は、図１における制御プログラム１１
１内の事象受付け／解析処理１０５及びトレース情報記
録処理１０６によるトレース処理の流れ図を示してい
る。

【００２７】図３において、検証対象論理１０４におい
て事象が発生（３０１）した場合、制御プログラム１１
１内の事象受付け／解析処理１０５に制御が移る（１２
４）。

【００２８】制御が移ることによって該事象受付け／解
析処理１０５処理において事象内容の判定３０２を行
い、正常な事象であると判断した場合、トレース情報記
録処理１０６に事象報告３０３を行う（１２７）。ま
た、不当な事象であると判断した場合、トレース情報記
録処理１０６にトレース停止要求３０４を行う（１２
０）。

【００２９】次に、検証プログラム１１０ａ，１１０ｂ
において論理不良を検出（３１１）した場合は、トレー
ス情報記録処理１０６にトレース停止要求１２１を行
う。

【００３０】そして、以上で述べたトレース情報記録処
理１０６への事象報告１２７、トレース停止要求１２０
及びトレース停止要求１２１によりトレース情報記録処
理１０６へ制御が移る。

【００３１】制御が移ることによってトレース情報記録
処理１０６は、事象発生時のトレース情報であるプログ
ラム状態語、事象発生時刻、事象要因、実行開始時刻、
事象発生デバイス・アドレスを採取（３０５）し、トレ
ース情報テーブル内の事象情報テーブル３０７に記録
（３０６）する。

【００３２】次にトレース停止要求１２０，１２１であ
るか事象報告１２７であるか判定（３０８）する。この
結果、事象報告と判断した場合、トレース情報記録モー
ドを解除（３０９）してトレース情報記録を止め、トレ
ース情報を補助記憶装置１０７へ格納（３１０）する。

【００３３】図４は、図１における制御プログラム１１
１内の事象受付け／解析処理１０５及び動作再現確認処
理１０８による論理不良の現象再現処理の流れ図を示し
ている。

【００３４】図４において、検証対象論理１０４におい
て事象が発生（４０１）した場合、制御プログラム１１
１内の該事象受付け／解析処理１０５に制御が移る（１
２４）。

【００３５】制御が移ることによって該事象受付け／解
析処理１０５において、論理不良の動作再現モードの判
定４０２を行う。ここで、動作再現モードの場合、制御
プログラム１１１内の動作再現確認処理１０８に制御が
移行する。

【００３６】該動作再現確認処理１０８では、事象発生
時の事象情報を採取（４０３）し、先に取得したトレー
ス情報テーブル１０３内の事象情報テーブル３０９から
実行順に読出し比較（４０４）し、もし記録されている
タイミング情報（時間）どおりに発生しなかった場合に
は、検証プログラムの再起動（４０５）を行い、再度、
動作再現要求を行う。

【００３７】また、記録されているタイミング情報（時
間）どおりに発生した場合は、論理からの事象が非同期
的なものか判定（４０６）し非同期事象であった場合、
次にエントリされている非同期事象が、該事象を発生さ
せる論理から、同一タイミングで発生するように、該論
理に対して事象抑止タイマ設定要求４０７を行い該論理
に事象抑止タイマ値（４０８）を設定する。この時該論
理では、処理が終了した場合に発生させる終了報告の事
象を、抑止タイマ設定要求４０７により設定された事象
抑止タイマ値（４０８）に従い事象を発生させることに
より非同期事象を同期事象にかえる機能を持つ。

【００３８】次に検証プログラムの切替えが必要か判定
４０９し、必要な場合、検証プログラムの実行切替え要
求モードを設定４１０して動作再現確認処理１０８を終
了させる。該処理終了後、事象受付け／解析処理１０５
に制御を戻し、検証プログラムの実行切替え要求モード
が設定されているか判定４１１し、設定されている場
合、検証プログラムの実行制御を行うタスクスケジュー
ラ１０９へ検証プログラムの実行切替え要求１２８を行
う。

【００３９】以上述べた各処理によって、非同期的な動
作を同期化し、検証プログラム、論理動作の実行タイミ
ングを制御することにより、論理不良発生時の動作を再
現することを可能とする。

【００４０】図５は、本検証方式において使用される図
１におけるトレース情報テーブル１０３の詳細なフォー
マットを示している。

【００４１】図５に示すトレース情報テーブル１０３
は、検証プログラム起動情報テーブル２０８と事象情報
テーブル３０８の２つから構成されている。

【００４２】また、検証プログラム起動情報テーブル２
０８は、制御プログラム１１１内の検証プログラム内の
起動要求処理１０２において参照・設定する。

【００４３】また、事象情報テーブル３０９は、制御プ
ログラム１１１内のトレース情報記録処理１０６と動作
再現確認処理１０８において参照・設定する。

【００４４】以上、該トレース情報テーブル１０３によ
り論理不良動作の再現かつ論理不良対策後の論理正常性
確認が、容易にできる。

【００４５】

【発明の効果】以上説明したように、本発明は、情報処
理装置の論理不良現象が発生するまでの論理による同期
／非同期な事象毎や一定サイクル毎の検証プログラムの
実行状況の詳細なタイミング情報を記録し、再現テスト
では、制御プログラムによって該トレース情報に従い、
検証プログラムの実行及び論理動作の同期／非同期タイ
ミングを制御し、論理不良現象発生時の状態を作り出す
ことによって、タイミングに依存する論理不良の現象を
再現させること、及び論理不良対策後の正常性確認が容
易にできることから、該論理不良の原因調査及び正常性
確認時間の大幅な短縮を図れる効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例による検証方式の全体ブロッ
ク図である。

【図２】本発明の一実施例による制御プログラムにおけ
る検証プログラム起動処理の流れ図である。

【図３】本発明の一実施例による制御プログラムにおけ
る事象トレース処理の流れ図である。

【図４】本発明の一実施例による制御プログラムにおけ
る動作再現処理の流れ図である。

【図５】本発明の一実施例によるトレーステーブルのフ
ォーマットを示す。

【符号の説明】

１０１…コンソール装置、 １０２…起動要求処理、 １０３…トレース情報テーブル、 １０４…検証対象論理、 １０５…事象受付／解析処理、 １０６…トレース情報記録処理、 １０７…補助記憶装置、 １０８…動作再現確認処理、 １０９…タスクスケジューラ、 １１０ａ…検証プログラム、 １１０ｂ…検証プログラム、 １１１…制御プログラム、 １１２…情報処理装置、 １１３ａ…検証プログラムの格納デバイス、 １１３ｂ…検証プログラムの格納デバイス、 ２０８…起動情報テーブル、 ３０８…事象情報テーブル。

フロントページの続き (72)発明者 太田 晴仁 神奈川県秦野市堀山下１番地 株式会社日 立コンピュータエレクトロニクス内 (72)発明者 田代 淳一 神奈川県秦野市堀山下１番地 株式会社日 立コンピュータエレクトロニクス内 (72)発明者 廣瀬 善太郎 神奈川県秦野市堀山下１番地 株式会社日 立製作所汎用コンピュータ事業部内

Claims (2)

【特許請求の範囲】
1. 【請求項１】制御プログラムによって実行管理されてい
   る情報処理装置の検証を行う検証プログラムにより、該
   情報処理装置の機能に基づいて命令列およびオペランド
   ・データを生成し、該命令列を該オペランド・データに
   従って該情報処理装置で実行することにより、実行結果
   を求め、一方で該命令列およびオペランドデータに従っ
   て実行結果の正解値を期待値として求めておき、該実行
   結果と期待値とを比較することにより検証を行う情報処
   理装置の検証方式において、 制御プログラムにより、検証プログラム起動情報、論理
   による同期／非同期的な事象毎や一定サイクル毎の検証
   プログラムの実行タイミングを主記憶装置にトレース情
   報として常に採取・記録し、制御プログラムによる不当
   な事象発生の検出や、検証プログラムからの論理不良検
   出報告時にトレースを停止させ、該トレース情報を補助
   記憶装置にロギングする過程と、該トレース情報により
   論理不良発生までの一連の動作タイミングを再現させる
   過程と、該再現手段を操作員からの要求により起動する
   過程により容易に論理不良の現象を再現させることが可
   能であることを特徴とする情報処理装置の検証方式。
2. 【請求項２】請求項１に記載の情報処理装置の検証方式
   において、上記の過程により論理不良対策後の論理正常
   性確認が容易に可能であることを特徴とする情報処理装
   置の検証方式。