JPH06301570A - 試験プログラムの正常性チェック機能付きエミュレータ - Google Patents
試験プログラムの正常性チェック機能付きエミュレータInfo
- Publication number
- JPH06301570A JPH06301570A JP5088329A JP8832993A JPH06301570A JP H06301570 A JPH06301570 A JP H06301570A JP 5088329 A JP5088329 A JP 5088329A JP 8832993 A JP8832993 A JP 8832993A JP H06301570 A JPH06301570 A JP H06301570A
- Authority
- JP
- Japan
- Prior art keywords
- instruction
- test
- execution
- data
- value
- 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
- Debugging And Monitoring (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】
【目的】 試験プログラムのテスト条件不良によるテス
ト対象ハードウエア不良の見逃しを防止する。 【構成】 エミュレータ１００は、命令・データ読出し
部１１０で主記憶部２００上の試験プログラム３００の
命令を読み込み、さらに命令で使用するデータを読み込
み、命令模擬実行部１２０で該命令を実行し、実行結果
をデータ格納部１３０で格納する動作を繰り返す。試験
プログラム３００のテスト命令部３３０の期間、テスト
範囲比較部１４０を介して、命令で使用するデータの実
行前の値、実行後の値をデータ格納部１５０、１６０に
格納する。データ比較部１７０は、命令の実行で変更を
受けるデータについて、データ格納部１５０、１６０の
実行前の値と実行後の値が同一の場合、出力部１９０よ
り試験プログラム不良の警告メッセージをデバッグ者に
報告する。
ト対象ハードウエア不良の見逃しを防止する。 【構成】 エミュレータ１００は、命令・データ読出し
部１１０で主記憶部２００上の試験プログラム３００の
命令を読み込み、さらに命令で使用するデータを読み込
み、命令模擬実行部１２０で該命令を実行し、実行結果
をデータ格納部１３０で格納する動作を繰り返す。試験
プログラム３００のテスト命令部３３０の期間、テスト
範囲比較部１４０を介して、命令で使用するデータの実
行前の値、実行後の値をデータ格納部１５０、１６０に
格納する。データ比較部１７０は、命令の実行で変更を
受けるデータについて、データ格納部１５０、１６０の
実行前の値と実行後の値が同一の場合、出力部１９０よ
り試験プログラム不良の警告メッセージをデバッグ者に
報告する。
Description
【０００１】
【産業上の利用分野】本発明は、試験プログラムを用い
て論理装置の動作を模擬実行するエミュレータに係り、
特に試験プログラムのテスト条件不良によるテスト対象
ハードウエア不良の見逃しを防止するのに好適な試験プ
ログラムの正常性チェック機能付きエミュレータに関す
る。
て論理装置の動作を模擬実行するエミュレータに係り、
特に試験プログラムのテスト条件不良によるテスト対象
ハードウエア不良の見逃しを防止するのに好適な試験プ
ログラムの正常性チェック機能付きエミュレータに関す
る。
【０００２】
【従来の技術】従来、試験プログラムを用い、エミュレ
ータ上で計算機等の論理動作を機能レベルで模擬的に実
行してテストする場合、試験プログラムのテスト命令部
の命令の実行結果値と比較準備命令部での期待値が同一
ならば、試験プログラムとして一義的に正常と判断して
いた。なお、この種の公知例としては、例えば特開昭５
９−１４８９７１号公報が挙げられる。
ータ上で計算機等の論理動作を機能レベルで模擬的に実
行してテストする場合、試験プログラムのテスト命令部
の命令の実行結果値と比較準備命令部での期待値が同一
ならば、試験プログラムとして一義的に正常と判断して
いた。なお、この種の公知例としては、例えば特開昭５
９−１４８９７１号公報が挙げられる。
【０００３】
【発明が解決しようとする課題】上記従来技術において
は、試験プログラムのテスト条件不良により、試験準備
命令部での初期設定値（実行前の値）と、それに対応す
るテスト命令部での実行値（実行後の値）が一致する場
合、テスト対象ハードウエア不良を検出できないという
問題があった。例えば、加算論理機能のテストにおい
て、被加算値がＡ（実行前の値）でそれにゼロを加算す
ると、実行値（実行後の値）はＡとなるが、加算論理機
能が不良で加算が未実行で終わった場合も、実行値とし
てはＡになる可能性がある。しかしながら、従来技術で
は、期待値が同様にＡに設定されていれば正常と判断さ
れるため、試験プログラムは加算論理機能の不良を検出
することができない。
は、試験プログラムのテスト条件不良により、試験準備
命令部での初期設定値（実行前の値）と、それに対応す
るテスト命令部での実行値（実行後の値）が一致する場
合、テスト対象ハードウエア不良を検出できないという
問題があった。例えば、加算論理機能のテストにおい
て、被加算値がＡ（実行前の値）でそれにゼロを加算す
ると、実行値（実行後の値）はＡとなるが、加算論理機
能が不良で加算が未実行で終わった場合も、実行値とし
てはＡになる可能性がある。しかしながら、従来技術で
は、期待値が同様にＡに設定されていれば正常と判断さ
れるため、試験プログラムは加算論理機能の不良を検出
することができない。
【０００４】本発明の目的は、エミュレータにおいて、
このように初期値と実行値と期待値とが全て一致するよ
うな試験プログラムのテスト条件不良によるテスト対象
ハードウエア不良の見逃しを防ぐことにある。
このように初期値と実行値と期待値とが全て一致するよ
うな試験プログラムのテスト条件不良によるテスト対象
ハードウエア不良の見逃しを防ぐことにある。
【０００５】
【課題を解決するための手段】上記目的を達成するため
に、本発明は、試験プログラムを用いて論理装置の動作
を模擬実行するエミュレータに、命令の実行で使用する
データの実行前の値と実行後の値を退避する手段と、前
記退避した実行前の値と実行後の値を比較する手段と、
前記比較結果により試験プログラム不良通知を出力する
手段を設けるようにしたことである。
に、本発明は、試験プログラムを用いて論理装置の動作
を模擬実行するエミュレータに、命令の実行で使用する
データの実行前の値と実行後の値を退避する手段と、前
記退避した実行前の値と実行後の値を比較する手段と、
前記比較結果により試験プログラム不良通知を出力する
手段を設けるようにしたことである。
【０００６】
【作用】試験プログラムのテスト命令のエミュレート期
間、命令の実行で使用するデータの実行前の値（初期設
定値）と実行後の値を退避して比較する。これにより、
命令の実行で変更を受けるデータについて、実行前の値
と実行後の値が同一の場合、試験プログラムの試験準備
命令部の初期設定不良が摘出できる。
間、命令の実行で使用するデータの実行前の値（初期設
定値）と実行後の値を退避して比較する。これにより、
命令の実行で変更を受けるデータについて、実行前の値
と実行後の値が同一の場合、試験プログラムの試験準備
命令部の初期設定不良が摘出できる。
【０００７】
【実施例】以下、本発明の一実施例について図面により
説明する。
説明する。
【０００８】図１は本発明の一実施例の構成図である。
図１において、エミュレータ１００は命令・データ読出
し部１１０、命令模擬実行部１２０、データ格納部１３
０、テスト範囲比較部１４０、テスト命令開始／終了ア
ドレス格納部１４１、命令模擬前データ格納部１５０、
命令模擬後データ格納部１６０、データ比較部１７０、
命令属性パラメータ部１８０、警告メッセージ出力部１
９０よりなる。ここで、１５０〜１９０が本発明で追加
された構成であり、命令属性パラメータ部１８０には、
データ格納部１５０、１６０に退避する命令模擬前のデ
ータと命令模擬後のデータの種類や大きさ、及び、デー
タ比較部１７０において該模擬前の値と模擬後のデータ
を比較する場合の当該データの種類と大きさなどが設定
される。
図１において、エミュレータ１００は命令・データ読出
し部１１０、命令模擬実行部１２０、データ格納部１３
０、テスト範囲比較部１４０、テスト命令開始／終了ア
ドレス格納部１４１、命令模擬前データ格納部１５０、
命令模擬後データ格納部１６０、データ比較部１７０、
命令属性パラメータ部１８０、警告メッセージ出力部１
９０よりなる。ここで、１５０〜１９０が本発明で追加
された構成であり、命令属性パラメータ部１８０には、
データ格納部１５０、１６０に退避する命令模擬前のデ
ータと命令模擬後のデータの種類や大きさ、及び、デー
タ比較部１７０において該模擬前の値と模擬後のデータ
を比較する場合の当該データの種類と大きさなどが設定
される。
【０００９】主記憶部（擬似ＭＳ）２００上には、試験
プログラムファイル４００より入力された試験プログラ
ム３００がある。該試験プログラム３００は、試験範囲
指定命令部３１０、試験準備命令部３２０、テスト命令
部３３０、試験比較命令部３４０及び試験データ部３５
０で構成される。
プログラムファイル４００より入力された試験プログラ
ム３００がある。該試験プログラム３００は、試験範囲
指定命令部３１０、試験準備命令部３２０、テスト命令
部３３０、試験比較命令部３４０及び試験データ部３５
０で構成される。
【００１０】エミュレータ１００は、主記憶部２００上
の試験プログラム３００の命令について、試験範囲指定
命令部３１０から順に読み込み実行する。図２は、該エ
ミュレータ１００の動作シーケンスの一部である。
の試験プログラム３００の命令について、試験範囲指定
命令部３１０から順に読み込み実行する。図２は、該エ
ミュレータ１００の動作シーケンスの一部である。
【００１１】図２において、処理５１０で主記憶部２０
０上の試験プログラム３００の命令を読み出し、処理５
２０において試験範囲指定命令か判定する。試験範囲指
定命令の場合、処理５３０以降を実行する。即ち、試験
範囲指定命令部３１０のＤＩＡＧ命令が読み出され、そ
の命令コードパターンがＸ‘ＥＥＥ’，Ｘ‘ＥＥ’の場
合、処理５３０で該ＤＩＡＧ命令の次の命令アドレスが
示すデータ４バイトをテスト命令開始／終了アドレス格
納部１４１へテスト命令開始アドレスとして格納し、処
理５４０で該ＤＩＡＧ命令の次の命令アドレス＋４バイ
ト先の示すデータ４バイトを同アドレス格納部１４１へ
テスト命令終了アドレスとして格納する。その後、処理
５５０で命令アドレスカウンタを＋８して処理５１０に
戻る。
０上の試験プログラム３００の命令を読み出し、処理５
２０において試験範囲指定命令か判定する。試験範囲指
定命令の場合、処理５３０以降を実行する。即ち、試験
範囲指定命令部３１０のＤＩＡＧ命令が読み出され、そ
の命令コードパターンがＸ‘ＥＥＥ’，Ｘ‘ＥＥ’の場
合、処理５３０で該ＤＩＡＧ命令の次の命令アドレスが
示すデータ４バイトをテスト命令開始／終了アドレス格
納部１４１へテスト命令開始アドレスとして格納し、処
理５４０で該ＤＩＡＧ命令の次の命令アドレス＋４バイ
ト先の示すデータ４バイトを同アドレス格納部１４１へ
テスト命令終了アドレスとして格納する。その後、処理
５５０で命令アドレスカウンタを＋８して処理５１０に
戻る。
【００１２】処理５２０で試験範囲指定命令以外の命令
が判定された場合は、処理５２５において通常の命令模
擬が実行される。以下、この場合のエミュレータ１００
の動作を説明する。
が判定された場合は、処理５２５において通常の命令模
擬が実行される。以下、この場合のエミュレータ１００
の動作を説明する。
【００１３】図１において、命令・データ読出し部１１
０が、主記憶部２００上の試験プログラム３００の命令
を読出し、さらにその命令を実行するのに必要なデータ
を試験データ部３５０から読出し、命令模擬実行部１２
０が、この命令を模擬実行し（エミュレート）、結果を
データ格納部１３０で格納する。以下、これが繰り返さ
れる。
０が、主記憶部２００上の試験プログラム３００の命令
を読出し、さらにその命令を実行するのに必要なデータ
を試験データ部３５０から読出し、命令模擬実行部１２
０が、この命令を模擬実行し（エミュレート）、結果を
データ格納部１３０で格納する。以下、これが繰り返さ
れる。
【００１４】テスト範囲比較部１４０は、命令の読出し
アドレスとテスト命令開始／終了アドレス格納部１４１
に格納されているテスト命令開始／終了アドレスとを比
較して、命令模擬前データ格納部１５０及び命令模擬後
データ格納部１６０の動作を制御するものである。ここ
で、試験プログラム３００の試験準備命令部３２０をエ
ミュレータしている間は、命令模擬前データ格納部１５
０及び命令模擬後データ格納部１６０を不動作とし、次
のテスト命令部３３０のエミュレート期間で動作せしめ
る。この動作状態の時、命令属性パラメータ部１８０の
内容に基づき、命令模擬前データ格納部１５０は、命令
・データ読出し部１１０で読み出されたテスト命令部３
３０の命令の実行前の所望データ（例えば第１あるいは
第２のオペランドデータ）をテスト範囲比較部１４０を
介して格納し、命令模擬後データ格納部１６０は、デー
タ格納部１３０に格納された実行後の所望データを同じ
くテスト範囲比較部１４０を介して格納する。データ比
較部１７０は、同じく命令属性パラメータ部１８０の内
容に基づき、データ格納部１５０、１６０の命令模擬前
データと命令模擬後データを比較し、両者が同一の場
合、テスト条件不良の警告メッセージの出力を警告メッ
セージ出力部１９０に指示する。
アドレスとテスト命令開始／終了アドレス格納部１４１
に格納されているテスト命令開始／終了アドレスとを比
較して、命令模擬前データ格納部１５０及び命令模擬後
データ格納部１６０の動作を制御するものである。ここ
で、試験プログラム３００の試験準備命令部３２０をエ
ミュレータしている間は、命令模擬前データ格納部１５
０及び命令模擬後データ格納部１６０を不動作とし、次
のテスト命令部３３０のエミュレート期間で動作せしめ
る。この動作状態の時、命令属性パラメータ部１８０の
内容に基づき、命令模擬前データ格納部１５０は、命令
・データ読出し部１１０で読み出されたテスト命令部３
３０の命令の実行前の所望データ（例えば第１あるいは
第２のオペランドデータ）をテスト範囲比較部１４０を
介して格納し、命令模擬後データ格納部１６０は、デー
タ格納部１３０に格納された実行後の所望データを同じ
くテスト範囲比較部１４０を介して格納する。データ比
較部１７０は、同じく命令属性パラメータ部１８０の内
容に基づき、データ格納部１５０、１６０の命令模擬前
データと命令模擬後データを比較し、両者が同一の場
合、テスト条件不良の警告メッセージの出力を警告メッ
セージ出力部１９０に指示する。
【００１５】図１の試験プログラム３００の例では、試
験準備命令部３２０の命令の実行により、レジスタ１に
値Ｆ‘２’が、レジスタ２に値Ｆ‘０’が設定される。
レジスタ０には定数Ｘ‘２’がロードされ、該レジスタ
０の値がコンディションコード値（期待値）となる。テ
スト命令部３３０のＡＲ命令は、固定小数点の加算命令
で、レジスタ１とレジスタ２の値を加算し、演算結果値
をレジスタ１へ格納し、該演算結果値の０、負、正、オ
ーバフローに従ってコンディションコードが０、１、
２、３となる命令である。例では、該ＡＲ命令の実行前
と後で、レジスタ１の値はいずれもＦ‘２’であり、ま
た、該値Ｆ‘２’は正であるため、コンディションコー
ドは‘２’となる。このため、テスト命令部３３０のＡ
Ｒ命令が、テスト対象ハードウエア（加算器）の不良で
未実行で終了しても、演算結果値が反映されるレジスタ
１の値はＦ‘２’で正であり、コンディションコードは
試験準備命令部３２０が設定されたレジスタ０の値と同
じであるため、試験比較命令部３４０ではこのハードウ
エア不良を検出できない。
験準備命令部３２０の命令の実行により、レジスタ１に
値Ｆ‘２’が、レジスタ２に値Ｆ‘０’が設定される。
レジスタ０には定数Ｘ‘２’がロードされ、該レジスタ
０の値がコンディションコード値（期待値）となる。テ
スト命令部３３０のＡＲ命令は、固定小数点の加算命令
で、レジスタ１とレジスタ２の値を加算し、演算結果値
をレジスタ１へ格納し、該演算結果値の０、負、正、オ
ーバフローに従ってコンディションコードが０、１、
２、３となる命令である。例では、該ＡＲ命令の実行前
と後で、レジスタ１の値はいずれもＦ‘２’であり、ま
た、該値Ｆ‘２’は正であるため、コンディションコー
ドは‘２’となる。このため、テスト命令部３３０のＡ
Ｒ命令が、テスト対象ハードウエア（加算器）の不良で
未実行で終了しても、演算結果値が反映されるレジスタ
１の値はＦ‘２’で正であり、コンディションコードは
試験準備命令部３２０が設定されたレジスタ０の値と同
じであるため、試験比較命令部３４０ではこのハードウ
エア不良を検出できない。
【００１６】一方、図１の構成の場合、上記の例では、
命令属性パラメータ部１８０の内容に従って、テスト命
令部３３０のＡＲ命令の演算で使用する実行前のレジス
タ１の値Ｆ‘２’を命令模擬前データ格納部１５０に格
納し、演算実行後のレジスタ１の同一の値Ｆ‘２’を命
令模擬後データ格納部１６０に格納することにより、デ
ータ比較部１７０で両者の同一値が検出されるため、試
験準備命令部３２０での試験データやコンディションコ
ード値の初期設定不良が摘出でき、警告メッセージ出力
部１９０によりデバッグ者に該不良を報告することが可
能になる。
命令属性パラメータ部１８０の内容に従って、テスト命
令部３３０のＡＲ命令の演算で使用する実行前のレジス
タ１の値Ｆ‘２’を命令模擬前データ格納部１５０に格
納し、演算実行後のレジスタ１の同一の値Ｆ‘２’を命
令模擬後データ格納部１６０に格納することにより、デ
ータ比較部１７０で両者の同一値が検出されるため、試
験準備命令部３２０での試験データやコンディションコ
ード値の初期設定不良が摘出でき、警告メッセージ出力
部１９０によりデバッグ者に該不良を報告することが可
能になる。
【００１７】
【発明の効果】以上の説明から明らかな如く、本発明の
試験プログラムの正常性チェック機能付きエミュレータ
によれば、試験プログラムのテスト条件不良によるテス
ト対象ハードウエア不良の見逃しを防止することがで
き、試験プログラムの品質をデバッグする人間の能力と
関係なく均一に保証できる。
試験プログラムの正常性チェック機能付きエミュレータ
によれば、試験プログラムのテスト条件不良によるテス
ト対象ハードウエア不良の見逃しを防止することがで
き、試験プログラムの品質をデバッグする人間の能力と
関係なく均一に保証できる。
【図１】本発明の一実施例の構成図である。
【図２】エミュレータの動作シーケンスの一部である。
１００ エミュレータ １１０ 命令・データ読出し部 １２０ 命令模擬実行部 １３０ データ格納部 １４０ テスト範囲比較部 １５０ 命令模擬前データ格納部 １６０ 命令模擬後データ格納部 １７０ データ比較部 １８０ 命令属性パラメータ部 １９０ 警告メッセージ出力部 ２００ 主記憶部 ３００ 試験プログラム
Claims (1)
- 【請求項１】 試験プログラムを用いて論理装置の動作
を模擬実行するエミュレータにおいて、 命令の実行で使用するデータの実行前の値と実行後の値
を退避する手段と、前記退避した実行前の値と実行後の
値を比較する手段と、前記比較結果により試験プログラ
ム不良通知を出力する手段を有することを特徴とする試
験プログラムの正常性チェック機能付きエミュレータ。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5088329A JPH06301570A (ja) | 1993-04-15 | 1993-04-15 | 試験プログラムの正常性チェック機能付きエミュレータ |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5088329A JPH06301570A (ja) | 1993-04-15 | 1993-04-15 | 試験プログラムの正常性チェック機能付きエミュレータ |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH06301570A true JPH06301570A (ja) | 1994-10-28 |
Family
ID=13939848
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP5088329A Pending JPH06301570A (ja) | 1993-04-15 | 1993-04-15 | 試験プログラムの正常性チェック機能付きエミュレータ |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH06301570A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2007278714A (ja) * | 2006-04-03 | 2007-10-25 | Yokogawa Electric Corp | Ｉｃテスタ |
-
1993
- 1993-04-15 JP JP5088329A patent/JPH06301570A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2007278714A (ja) * | 2006-04-03 | 2007-10-25 | Yokogawa Electric Corp | Ｉｃテスタ |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7139936B2 (en) | Method and apparatus for verifying the correctness of a processor behavioral model | |
| US5438673A (en) | Automatic interface for CPU real machine and logic simulator diagnostics | |
| US7243059B2 (en) | Simulation of hardware based on smart buffer objects | |
| JPS61229134A (ja) | マイクロコンピユ−タ | |
| US6983454B2 (en) | Extended “run to” function | |
| JPH06301570A (ja) | 試験プログラムの正常性チェック機能付きエミュレータ | |
| US4995037A (en) | Adjustment method and apparatus of a computer | |
| JPH0561931A (ja) | シミユレーシヨン装置 | |
| CA2193466C (en) | Game apparatus and method for debugging game program | |
| JP2828590B2 (ja) | マイクロプログラム検証方法 | |
| JP2003271694A (ja) | プロセッサを含む論理回路の検証用シミュレーション方法及び装置並びに論理回路検証用エラー検出プログラム | |
| JP2525492B2 (ja) | プログラマブルコントロ―ラ | |
| JP4149047B2 (ja) | シミュレータ | |
| JP2001051864A (ja) | データ処理装置の試験実行方式 | |
| JP2001236247A (ja) | ソフトウェアシミュレータおよびシミュレーション処理方法 | |
| JP2575025B2 (ja) | インサ−キット・エミュレ−タ | |
| JP2990159B1 (ja) | デバッガにおけるイベントの管理装置および方法 | |
| JP3102568B2 (ja) | ソフトウエア開発装置 | |
| JP2967741B2 (ja) | Ｃｐｕ互換性テスト装置 | |
| JP2001022610A (ja) | データ処理装置の論理シミュレーション方式 | |
| JPH04358232A (ja) | 情報処理装置の機能試験方法 | |
| JPH04148274A (ja) | 情報処理装置の試験方式 | |
| JPH02244343A (ja) | プログラムのデバッグ方式 | |
| JPH05120069A (ja) | コンピユータプログラムのテスト検証方法 | |
| JPH02294849A (ja) | プログラム・デバグ方式 |