JPH04352245A - シュミレ−ション方式 - Google Patents
シュミレ−ション方式Info
- Publication number
- JPH04352245A JPH04352245A JP3127668A JP12766891A JPH04352245A JP H04352245 A JPH04352245 A JP H04352245A JP 3127668 A JP3127668 A JP 3127668A JP 12766891 A JP12766891 A JP 12766891A JP H04352245 A JPH04352245 A JP H04352245A
- Authority
- JP
- Japan
- Prior art keywords
- simulation
- history
- execution
- internal state
- software
- 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.)
- Withdrawn
Links
- 238000004088 simulation Methods 0.000 title claims abstract description 100
- 238000000034 method Methods 0.000 claims description 19
- 230000007547 defect Effects 0.000 abstract description 3
- 238000010586 diagram Methods 0.000 description 5
- 230000008030 elimination Effects 0.000 description 2
- 238000003379 elimination reaction Methods 0.000 description 2
- 230000005856 abnormality Effects 0.000 description 1
- 238000007689 inspection Methods 0.000 description 1
- 230000005055 memory storage Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【０００１】
【産業上の利用分野】本発明はシュミレ−ション方式に
係わり、特にシュミレ−トされるＣＰＵシステムが現実
に動作していると同様に模擬し、いわゆるシュミレ−シ
ョンをコンピュ−タシステムにより行わせ、シュミレ−
トされるＣＰＵに搭載するために作成されたソフトウェ
アの欠陥排除（デバッグ）を支援するシュミレ−ション
方式に関する。
係わり、特にシュミレ−トされるＣＰＵシステムが現実
に動作していると同様に模擬し、いわゆるシュミレ−シ
ョンをコンピュ−タシステムにより行わせ、シュミレ−
トされるＣＰＵに搭載するために作成されたソフトウェ
アの欠陥排除（デバッグ）を支援するシュミレ−ション
方式に関する。
【０００２】
【従来の技術】従来、シュミレ−ションは、実機に搭載
されるために作成されたソフトウェアをシュミレ−ショ
ンモデルとしてコンピュ−タシステム（シュミレ−ショ
ン実行計算機）の主記憶装置に記憶し、順次シュミレ−
ションプログラムによりソフトウェアの実行順序に従っ
て該主記憶装置から１ステップづつＣＰＵ命令コ−ドを
取り出し、該ＣＰＵ命令コ−ドを解釈実行することによ
り行われる。
されるために作成されたソフトウェアをシュミレ−ショ
ンモデルとしてコンピュ−タシステム（シュミレ−ショ
ン実行計算機）の主記憶装置に記憶し、順次シュミレ−
ションプログラムによりソフトウェアの実行順序に従っ
て該主記憶装置から１ステップづつＣＰＵ命令コ−ドを
取り出し、該ＣＰＵ命令コ−ドを解釈実行することによ
り行われる。
【０００３】又、順次シュミレ−ションプログラム（順
次シュミレ−タ）は、シュミレ−トしたＣＰＵ命令コ−
ドの一部を実行履歴としてシュミレ−ション実行計算機
の主記憶装置もしくはファイル装置等に記録する。
次シュミレ−タ）は、シュミレ−トしたＣＰＵ命令コ−
ドの一部を実行履歴としてシュミレ−ション実行計算機
の主記憶装置もしくはファイル装置等に記録する。
【０００４】かかる順次シュミレ−タは、ハ−ドウェア
／ソフトウェア両方の動作実行の精密な観察に使用され
、主に実機性能の評価と仕様の検証に利用される。この
結果、従来のシュミレ−ション方式の実行順序はあくま
でも時間経過の方向に準じた順方向のシュミレ−ション
に限られている。
／ソフトウェア両方の動作実行の精密な観察に使用され
、主に実機性能の評価と仕様の検証に利用される。この
結果、従来のシュミレ−ション方式の実行順序はあくま
でも時間経過の方向に準じた順方向のシュミレ−ション
に限られている。
【０００５】
【発明が解決しようとする課題】このような従来のシュ
ミレ−ション方式においては、シュミレ−ションの実行
ステップ毎に異常を検査しているわけではないので、シ
ュミレ−ションがかなり進んだ後で障害を検出する場合
が殆どである。かかる場合に障害原因となるステップを
発見するためには、シュミレ−ションモデル（例えば、
ＣＰＵレジスタやメモリ記憶状態）を過去の正常状態に
戻してから再度シュミレ−ション（再開）を実行しなが
ら細かく検査する必要がある。
ミレ−ション方式においては、シュミレ−ションの実行
ステップ毎に異常を検査しているわけではないので、シ
ュミレ−ションがかなり進んだ後で障害を検出する場合
が殆どである。かかる場合に障害原因となるステップを
発見するためには、シュミレ−ションモデル（例えば、
ＣＰＵレジスタやメモリ記憶状態）を過去の正常状態に
戻してから再度シュミレ−ション（再開）を実行しなが
ら細かく検査する必要がある。
【０００６】しかし、このようなデバッグ方法では、オ
ペレ−タに再開点の選び方や再開の方法に多くの経験と
勘、多くの操作を必要とするものであり、複雑かつ手間
が掛るという問題があった。
ペレ−タに再開点の選び方や再開の方法に多くの経験と
勘、多くの操作を必要とするものであり、複雑かつ手間
が掛るという問題があった。
【０００７】又、実行履歴の記録は、シュミレ−ション
量の増加に伴ってファイル装置や主記憶装置の物理的な
記憶量の制約を受けやすく、十分な記録量を確保するの
が困難となる問題があった。
量の増加に伴ってファイル装置や主記憶装置の物理的な
記憶量の制約を受けやすく、十分な記録量を確保するの
が困難となる問題があった。
【０００８】以上から本発明の目的は、実機に搭載され
るために作成されたソフトウェアの欠陥排除（デバッグ
）をより簡単に効率的に支援することができるシュミレ
−ション方式を提供することである。
るために作成されたソフトウェアの欠陥排除（デバッグ
）をより簡単に効率的に支援することができるシュミレ
−ション方式を提供することである。
【０００９】
【課題を解決するための手段】図１は本発明の原理説明
図である。１１はシュミレ−ションモデルであり、１１
ａはシュミレ−トされるＣＰＵのソフトウェアを記憶す
る主記憶装置、１１ｂはＣＰＵである。
図である。１１はシュミレ−ションモデルであり、１１
ａはシュミレ−トされるＣＰＵのソフトウェアを記憶す
る主記憶装置、１１ｂはＣＰＵである。
【００１０】１２は前記ソフトウェアを１ステップづつ
ＣＰＵ１１ｂに実行させ、シュミレ−ションモデル１１
において変化した内部状態要素の要素名とその状態変化
前の値を実行履歴として監視する順次シュミレ−ション
実行手段、１３は実行履歴を１ステップ毎に記憶する実
行履歴記憶部、１４は記録された内部状態履歴を基に履
歴順序とは逆順に１ステップづつ過去の状態に内部状態
を戻す逆シュミレ−ション実行手段、１５はシュミレ−
ションの停止及びシュミレ−ション実行方向の制御等を
行う走行方向制御手段である。
ＣＰＵ１１ｂに実行させ、シュミレ−ションモデル１１
において変化した内部状態要素の要素名とその状態変化
前の値を実行履歴として監視する順次シュミレ−ション
実行手段、１３は実行履歴を１ステップ毎に記憶する実
行履歴記憶部、１４は記録された内部状態履歴を基に履
歴順序とは逆順に１ステップづつ過去の状態に内部状態
を戻す逆シュミレ−ション実行手段、１５はシュミレ−
ションの停止及びシュミレ−ション実行方向の制御等を
行う走行方向制御手段である。
【００１１】
【作用】順次シュミレ−ション実行手段１２はシュミレ
−トされるＣＰＵのソフトウェアを１ステップづつＣＰ
Ｕ１１ｂに実行させ、シュミレ−ションモデル１１にお
いて変化した内部状態要素の要素名と状態変化前の値を
実行履歴として監視して実行履歴記憶部１３に記憶し、
ソフトウェアの障害が検出されたとき、走行方向制御手
段１５は順次シュミレ−ションを停止すると共に、逆シ
ュミレ−ション実行手段１４を起動し、逆シュミレ−シ
ョン実行手段１４は記録された内部状態履歴を基に履歴
順序とは逆順に１ステップづつ過去の状態にシュミレ−
ションモデル１１の内部状態を回復しながら障害原因の
ステップに到達させる。
−トされるＣＰＵのソフトウェアを１ステップづつＣＰ
Ｕ１１ｂに実行させ、シュミレ−ションモデル１１にお
いて変化した内部状態要素の要素名と状態変化前の値を
実行履歴として監視して実行履歴記憶部１３に記憶し、
ソフトウェアの障害が検出されたとき、走行方向制御手
段１５は順次シュミレ−ションを停止すると共に、逆シ
ュミレ−ション実行手段１４を起動し、逆シュミレ−シ
ョン実行手段１４は記録された内部状態履歴を基に履歴
順序とは逆順に１ステップづつ過去の状態にシュミレ−
ションモデル１１の内部状態を回復しながら障害原因の
ステップに到達させる。
【００１２】このように、障害を検出した時点から遡っ
て段階的に実機システムのＣＰＵ内部状態を確認するた
め、すなわち原因・結果過程の自然な逆過程をたどって
デバッグすることになるため、確実に単純にデバッグを
進めることが可能となる。又、変化した要素のみその内
部状態履歴を実行履歴記憶部に記録するだけであるため
、ＣＰＵ命令コ−ドの記録が不要となり、その分シュミ
レ−ションステップの記録量を増加させることが可能と
なり、ソフトデバッグの単純化、効率化に寄与するとこ
ろが大きい。
て段階的に実機システムのＣＰＵ内部状態を確認するた
め、すなわち原因・結果過程の自然な逆過程をたどって
デバッグすることになるため、確実に単純にデバッグを
進めることが可能となる。又、変化した要素のみその内
部状態履歴を実行履歴記憶部に記録するだけであるため
、ＣＰＵ命令コ−ドの記録が不要となり、その分シュミ
レ−ションステップの記録量を増加させることが可能と
なり、ソフトデバッグの単純化、効率化に寄与するとこ
ろが大きい。
【００１３】
全体の構成
図２は本発明の実施例構成図であり、図１と同一部分に
は同一符号を付している。図中、１０はシュミレ−ショ
ン実行計算機（コンピュ−タシステム）、１１はシュミ
レ−ションモデルで、シュミレ−トされるＣＰＵのソフ
トウェアを記憶する主記憶装置１１ａと該ソフトウェア
を１ステップづつ実行するプロセッサ（ＣＰＵ）１１ｂ
を備えている。
は同一符号を付している。図中、１０はシュミレ−ショ
ン実行計算機（コンピュ−タシステム）、１１はシュミ
レ−ションモデルで、シュミレ−トされるＣＰＵのソフ
トウェアを記憶する主記憶装置１１ａと該ソフトウェア
を１ステップづつ実行するプロセッサ（ＣＰＵ）１１ｂ
を備えている。
【００１４】１２は前記ソフトウェアを１ステップづつ
ＣＰＵ１１ｂに実行させ、シュミレ−ションモデル１１
において変化した内部状態要素の要素名とその状態変化
前の値を内部状態実行履歴として監視する順次シュミレ
−ション実行手段（順次シュミレ−ションプログラム）
である。内部状態要素としては、ＣＰＵ１１ｂのプログ
ラムカウンタ、各種ＣＰＵレジスタ類及び主記憶装置１
１ａ等がある。
ＣＰＵ１１ｂに実行させ、シュミレ−ションモデル１１
において変化した内部状態要素の要素名とその状態変化
前の値を内部状態実行履歴として監視する順次シュミレ
−ション実行手段（順次シュミレ−ションプログラム）
である。内部状態要素としては、ＣＰＵ１１ｂのプログ
ラムカウンタ、各種ＣＰＵレジスタ類及び主記憶装置１
１ａ等がある。
【００１５】１３は順次シュミレ−ション実行手段１２
によるシュミレ−ション実行時における内部状態実行履
歴（内部履歴レコ−ド）をファイルとして記憶する実行
履歴記憶部であり、例えば大容量記憶装置（デイスク）
である。この実行履歴記憶部１３には、図３に示すよう
に、１つの命令をシュミレ−ションする毎に（１ステッ
プ毎に）、シュミレ−ションモデル１１において変化し
た内部状態要素の要素名とその状態変化前の値が内部履
歴レコ−ドＨＴＲとして順次記憶される。各内部履歴レ
コ−ドＨＴＲは、いくつかの状態履歴データＨＤｉ（ｉ
＝１，２，・・・）を有し、各状態履歴データＨＤｉは
、状態要素名Ｎｉと状態変化前の状態要素の値Ｖｉで構
成されている。尚、１ステップのシュミレ−ションの実
行により内部状態が変化しない場合には、例えばヌルデ
ータが内部履歴レコ−ドとして記憶される。
によるシュミレ−ション実行時における内部状態実行履
歴（内部履歴レコ−ド）をファイルとして記憶する実行
履歴記憶部であり、例えば大容量記憶装置（デイスク）
である。この実行履歴記憶部１３には、図３に示すよう
に、１つの命令をシュミレ−ションする毎に（１ステッ
プ毎に）、シュミレ−ションモデル１１において変化し
た内部状態要素の要素名とその状態変化前の値が内部履
歴レコ−ドＨＴＲとして順次記憶される。各内部履歴レ
コ−ドＨＴＲは、いくつかの状態履歴データＨＤｉ（ｉ
＝１，２，・・・）を有し、各状態履歴データＨＤｉは
、状態要素名Ｎｉと状態変化前の状態要素の値Ｖｉで構
成されている。尚、１ステップのシュミレ−ションの実
行により内部状態が変化しない場合には、例えばヌルデ
ータが内部履歴レコ−ドとして記憶される。
【００１６】１３′は内部履歴コ−ドＨＴＲの最終記録
位置を記憶する最終位置カウンタであり、例えばシュミ
レ−ションモデル１１内のＣＰＵレジスタあるいは主記
憶装置１１ａの１つのアドレスを割り当てる。尚、実行
履歴記憶部１３の所定記憶位置に設けることもできる。
位置を記憶する最終位置カウンタであり、例えばシュミ
レ−ションモデル１１内のＣＰＵレジスタあるいは主記
憶装置１１ａの１つのアドレスを割り当てる。尚、実行
履歴記憶部１３の所定記憶位置に設けることもできる。
【００１７】図２に戻って、１４は実行履歴記憶部１３
に記録された内部履歴レコ−ドＨＴＲを基に履歴順序と
は逆順に１ステップづつ過去の状態にシュミレ−ション
モデル１１の内部状態を戻す逆シュミレ−ション実行手
段（逆シュミレ−ションプログラム）、１５はシュミレ
−ションの停止及びシュミレ−ション実行方向等を制御
する走行方向制御手段（走行方向制御プログラム）、１
６は複数のプログラムを同時並行的に処理するオペレ−
ティングシステムであり、シュミレ−ション実行計算機
１０上の計算機資源の最適配分を行う。
に記録された内部履歴レコ−ドＨＴＲを基に履歴順序と
は逆順に１ステップづつ過去の状態にシュミレ−ション
モデル１１の内部状態を戻す逆シュミレ−ション実行手
段（逆シュミレ−ションプログラム）、１５はシュミレ
−ションの停止及びシュミレ−ション実行方向等を制御
する走行方向制御手段（走行方向制御プログラム）、１
６は複数のプログラムを同時並行的に処理するオペレ−
ティングシステムであり、シュミレ−ション実行計算機
１０上の計算機資源の最適配分を行う。
【００１８】全体の動作
以下、図４、図５の流れ図に従って順次シュミレ−ショ
ン、逆シュミレ−ション制御を説明する。
ン、逆シュミレ−ション制御を説明する。
【００１９】（ａ） 順次シュミレ−ション制御操作パ
ネル等からのコマンドにより、順次シュミレ−ションの
実行が指示されると、走行方向制御部１５は順次シュミ
レ−ション実行手段１２を起動する。
ネル等からのコマンドにより、順次シュミレ−ションの
実行が指示されると、走行方向制御部１５は順次シュミ
レ−ション実行手段１２を起動する。
【００２０】これにより、順次シュミレ−ション実行手
段１２は、主記憶装置１１ａに記憶されているシュミレ
−トされるＣＰＵのソフトウェアを１ステップづつ（１
ＣＰＵ命令づつ）、ＣＰＵ１１ｂに実行させる（ステッ
プ１０１）。
段１２は、主記憶装置１１ａに記憶されているシュミレ
−トされるＣＰＵのソフトウェアを１ステップづつ（１
ＣＰＵ命令づつ）、ＣＰＵ１１ｂに実行させる（ステッ
プ１０１）。
【００２１】シュミレ−ション実行手段１２は１ステッ
プのシュミレ−ションにより内部状態が変化した要素が
あるか監視し（ステップ１０２）、変化した要素が存在
すれば内部履歴レコ−ドＨＴＲを作成し（ステップ１０
３）、存在しなければヌルデ−タを内部履歴レコ−ドＨ
ＴＲとして作成する（ステップ１０４）。
プのシュミレ−ションにより内部状態が変化した要素が
あるか監視し（ステップ１０２）、変化した要素が存在
すれば内部履歴レコ−ドＨＴＲを作成し（ステップ１０
３）、存在しなければヌルデ−タを内部履歴レコ−ドＨ
ＴＲとして作成する（ステップ１０４）。
【００２２】ついで、作成した内部履歴レコ−ドＨＴＲ
を実行履歴記憶部（デイスク）１３上に記録すると共に
（ステップ１０５）、該記録位置を最終位置カウンタ１
３′に記憶し（ステップ１０５，１０６）、しかる後、
走行停止要求が発生したか調べ（ステップ１０７）、発
生してなければ次の１ＣＰＵ命令についてステップ１０
１以降のシュミレ−ション処理を実行する。尚、シュミ
レ−ション結果は適宜シュミレ−ション実行手段１２に
より図示しないＣＲＴに表示され、オペレ−タによりチ
ェックされる。
を実行履歴記憶部（デイスク）１３上に記録すると共に
（ステップ１０５）、該記録位置を最終位置カウンタ１
３′に記憶し（ステップ１０５，１０６）、しかる後、
走行停止要求が発生したか調べ（ステップ１０７）、発
生してなければ次の１ＣＰＵ命令についてステップ１０
１以降のシュミレ−ション処理を実行する。尚、シュミ
レ−ション結果は適宜シュミレ−ション実行手段１２に
より図示しないＣＲＴに表示され、オペレ−タによりチ
ェックされる。
【００２３】一方、ソフトウェアの障害が検出されて、
操作パネル等からシュミレ−ション停止のコマンドが発
生すると、走行方向制御手段１５は走行停止を指示し、
これによりステップ１０７で「ＹＥＳ」となり、順次シ
ュミレ−ション制御が終了する。
操作パネル等からシュミレ−ション停止のコマンドが発
生すると、走行方向制御手段１５は走行停止を指示し、
これによりステップ１０７で「ＹＥＳ」となり、順次シ
ュミレ−ション制御が終了する。
【００２４】（ｂ） 逆シュミレ−ション制御ソフトウ
ェアの障害が検出されて順次シュミレ−ションが停止し
た後、操作パネル等からのコマンドにより、逆シュミレ
−ションの実行が指示されると、走行方向制御手段１５
は逆シュミレ−ション実行手段１４を起動する。
ェアの障害が検出されて順次シュミレ−ションが停止し
た後、操作パネル等からのコマンドにより、逆シュミレ
−ションの実行が指示されると、走行方向制御手段１５
は逆シュミレ−ション実行手段１４を起動する。
【００２５】これにより、逆シュミレ−ション実行手段
１４は、最終位置カウンタ１３′の内容が示す実行履歴
記憶部１３の記録位置から最新の内部履歴レコ−ドＨＴ
Ｒを読み出す（ステップ２０１）。
１４は、最終位置カウンタ１３′の内容が示す実行履歴
記憶部１３の記録位置から最新の内部履歴レコ−ドＨＴ
Ｒを読み出す（ステップ２０１）。
【００２６】ついで、内部履歴レコ−ドＨＴＲ中の第ｉ
状態履歴データＨＤｉの状態要素名Ｎｉが示すシュミレ
−ションモデム１１中の状態要素の値をＶｉに設定する
（ステップ２０２）。
状態履歴データＨＤｉの状態要素名Ｎｉが示すシュミレ
−ションモデム１１中の状態要素の値をＶｉに設定する
（ステップ２０２）。
【００２７】しかる後、内部履歴レコ−ドＨＴＲ中の全
履歴データＨＤｉを処理したかチェックし（ステップ２
０３）、処理してなければステップ２０２以降の処理を
繰り返す。全履歴データＨＤｉの処理が終了すれば、走
行停止要求が発生したか調べ（ステップ２０４）、発生
してなければステップ２０１に戻り、以降の処理を繰り
返す。すなわち、前記ステップ２０２で最終位置カウン
タ１３′に回復された値が示す実行履歴記憶部１３の記
録位置から内部履歴レコ−ドＨＴＲを読み出し、ステッ
プ２０２以降の処理を繰り返す。尚、逆シュミレ−ショ
ン結果は適宜逆シュミレ−ション実行手段１２により図
示しないＣＲＴに表示され、オペレ−タによりチェック
される。
履歴データＨＤｉを処理したかチェックし（ステップ２
０３）、処理してなければステップ２０２以降の処理を
繰り返す。全履歴データＨＤｉの処理が終了すれば、走
行停止要求が発生したか調べ（ステップ２０４）、発生
してなければステップ２０１に戻り、以降の処理を繰り
返す。すなわち、前記ステップ２０２で最終位置カウン
タ１３′に回復された値が示す実行履歴記憶部１３の記
録位置から内部履歴レコ−ドＨＴＲを読み出し、ステッ
プ２０２以降の処理を繰り返す。尚、逆シュミレ−ショ
ン結果は適宜逆シュミレ−ション実行手段１２により図
示しないＣＲＴに表示され、オペレ−タによりチェック
される。
【００２８】逆シュミレ−ション実行手段１４による逆
シュミレ−ションが進行して障害原因のステップに到達
し、操作パネル等からシュミレ−ション停止のコマンド
が発生すると、走行方向制御手段１５は走行停止を指示
し、これによりステップ２０４で「ＹＥＳ」となり、逆
シュミレ−ション制御が終了する。
シュミレ−ションが進行して障害原因のステップに到達
し、操作パネル等からシュミレ−ション停止のコマンド
が発生すると、走行方向制御手段１５は走行停止を指示
し、これによりステップ２０４で「ＹＥＳ」となり、逆
シュミレ−ション制御が終了する。
【００２９】以上、本発明を実施例により説明したが、
本発明は請求の範囲に記載した本発明の主旨に従い種々
の変形が可能であり、本発明はこれらを排除するもので
はない。
本発明は請求の範囲に記載した本発明の主旨に従い種々
の変形が可能であり、本発明はこれらを排除するもので
はない。
【００３０】
【発明の効果】以上本発明によれば、シュミレ−トされ
るＣＰＵのソフトウェアを１ステップづつ実行し、変化
した内部状態要素の要素名とその状態変化前の値を実行
履歴として記録する順次シュミレ−ション実行手段と、
記録された内部状態履歴を基に履歴順序とは逆順に１ス
テップづつ過去の状態に内部状態を戻す逆シュミレ−シ
ョン実行手段と、シュミレ−ションの停止及びシュミレ
−ション実行方向等を制御する走行制御手段を設け、順
次シュミレ−ション実行手段によるシュミレ−ション実
行時にソフトウェアの障害が検出された場合、走行制御
手段により順次シュミレ−ション実行手段によるシュミ
レ−ションの実行を停止すると共に、逆シュミレ−ショ
ン実行手段によるシュミレ−ションを実行させて１ステ
ップづつ内部状態を回復しながら障害原因のステップに
到達させるように構成したから、障害を検出した時点か
ら遡って段階的に実機システムのＣＰＵ内部状態を確認
するため、すなわち原因・結果過程の自然な逆過程をた
どってデバッグすることになるため、確実に、かつ単純
にデバッグを進めることが可能となった。
るＣＰＵのソフトウェアを１ステップづつ実行し、変化
した内部状態要素の要素名とその状態変化前の値を実行
履歴として記録する順次シュミレ−ション実行手段と、
記録された内部状態履歴を基に履歴順序とは逆順に１ス
テップづつ過去の状態に内部状態を戻す逆シュミレ−シ
ョン実行手段と、シュミレ−ションの停止及びシュミレ
−ション実行方向等を制御する走行制御手段を設け、順
次シュミレ−ション実行手段によるシュミレ−ション実
行時にソフトウェアの障害が検出された場合、走行制御
手段により順次シュミレ−ション実行手段によるシュミ
レ−ションの実行を停止すると共に、逆シュミレ−ショ
ン実行手段によるシュミレ−ションを実行させて１ステ
ップづつ内部状態を回復しながら障害原因のステップに
到達させるように構成したから、障害を検出した時点か
ら遡って段階的に実機システムのＣＰＵ内部状態を確認
するため、すなわち原因・結果過程の自然な逆過程をた
どってデバッグすることになるため、確実に、かつ単純
にデバッグを進めることが可能となった。
【００３１】又、本発明によれば、変化した要素のみそ
の内部状態履歴を実行履歴記憶部に記録するだけである
ため、ＣＰＵ命令コ−ドの記録が不要となり、その分シ
ュミレ−ションステップの記録量を増加させることが可
能となり、ソフトデバッグの単純化、効率化に寄与する
ところが大きい。
の内部状態履歴を実行履歴記憶部に記録するだけである
ため、ＣＰＵ命令コ−ドの記録が不要となり、その分シ
ュミレ−ションステップの記録量を増加させることが可
能となり、ソフトデバッグの単純化、効率化に寄与する
ところが大きい。
【図１】本発明の原理説明図である。
【図２】本発明の実施例構成図である。
【図３】実行履歴記憶状態説明図である。
【図４】順次シュミレ−ション制御の流れ図である。
【図５】逆シュミレ−ション制御の流れ図である。
１１・・シュミレ−ションモデル
１１ａ・・主記憶装置
１１ｂ・・ＣＰＵ
１２・・順次シュミレ−ション実行手段１３・・実行履
歴記憶部 １４・・逆シュミレ−ション実行手段 １５・・走行方向制御手段
歴記憶部 １４・・逆シュミレ−ション実行手段 １５・・走行方向制御手段
Claims (1)
- 【請求項１】 少なくとも１つの中央演算処理装置と
、主記憶装置と、ファイルシステムと、複数のプログラ
ムを同時並行的に処理するオペレ−ティング・システム
を有するコンピュ−タシステムのシュミレ−ション方式
において、コンピュ−タシステムに、シュミレ−トされ
るＣＰＵのソフトウェアを１ステップづつ実行し、変化
した内部状態要素の要素名とその状態変化前の値を実行
履歴として記録する順次シュミレ−ション実行手段と、
記録された内部状態履歴を基に履歴順序とは逆順に１ス
テップづつ過去の状態に内部状態を戻す逆シュミレ−シ
ョン実行手段と、シュミレ−ションの停止及びシュミレ
−ション実行方向等を制御する走行制御手段を設け、順
次シュミレ−ション実行手段によるシュミレ−ション実
行時に前記ソフトウェアの障害が検出された場合、走行
制御手段により順次シュミレ−ションを停止すると共に
、逆シュミレ−ション実行手段によるシュミレ−ション
を実行させて１ステップづつ内部状態を回復しながら障
害原因のステップに到達させるシュミレ−ション方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3127668A JPH04352245A (ja) | 1991-05-30 | 1991-05-30 | シュミレ−ション方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3127668A JPH04352245A (ja) | 1991-05-30 | 1991-05-30 | シュミレ−ション方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04352245A true JPH04352245A (ja) | 1992-12-07 |
Family
ID=14965770
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3127668A Withdrawn JPH04352245A (ja) | 1991-05-30 | 1991-05-30 | シュミレ−ション方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04352245A (ja) |
Cited By (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH07191875A (ja) * | 1993-12-27 | 1995-07-28 | Nec Corp | デバッガー |
| JPH08320813A (ja) * | 1995-05-26 | 1996-12-03 | Nec Corp | プログラムシミュレータ装置及びプログラムデバッグ方法 |
| EP1336932A3 (en) * | 2002-02-15 | 2006-11-29 | Kabushiki Kaisha Toshiba | Reproduction test service apparatus for medical systems, maintenance support information management apparatus, X-ray ct system, and maintenance service centre apparatus |
| JP2007004400A (ja) * | 2005-06-22 | 2007-01-11 | Oki Data Corp | プログラム・デバッグ方法 |
| JP2010017597A (ja) * | 2009-10-28 | 2010-01-28 | Toshiba Corp | 医用システムの再現試験サービス装置 |
| JP6076576B1 (ja) * | 2016-06-07 | 2017-02-08 | 三菱電機株式会社 | シミュレーション装置およびシミュレーションプログラム |
-
1991
- 1991-05-30 JP JP3127668A patent/JPH04352245A/ja not_active Withdrawn
Cited By (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH07191875A (ja) * | 1993-12-27 | 1995-07-28 | Nec Corp | デバッガー |
| JPH08320813A (ja) * | 1995-05-26 | 1996-12-03 | Nec Corp | プログラムシミュレータ装置及びプログラムデバッグ方法 |
| EP1336932A3 (en) * | 2002-02-15 | 2006-11-29 | Kabushiki Kaisha Toshiba | Reproduction test service apparatus for medical systems, maintenance support information management apparatus, X-ray ct system, and maintenance service centre apparatus |
| US8015443B2 (en) | 2002-02-15 | 2011-09-06 | Kabushiki Kaisha Toshiba | Reproduction test service apparatus for medical systems, maintenance support information management apparatus, X-ray CT system, and maintenance service center apparatus |
| JP2007004400A (ja) * | 2005-06-22 | 2007-01-11 | Oki Data Corp | プログラム・デバッグ方法 |
| JP2010017597A (ja) * | 2009-10-28 | 2010-01-28 | Toshiba Corp | 医用システムの再現試験サービス装置 |
| JP6076576B1 (ja) * | 2016-06-07 | 2017-02-08 | 三菱電機株式会社 | シミュレーション装置およびシミュレーションプログラム |
| WO2017212549A1 (ja) * | 2016-06-07 | 2017-12-14 | 三菱電機株式会社 | シミュレーション装置およびシミュレーションプログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US4740969A (en) | Method and apparatus for recovering from hardware faults | |
| JP2814691B2 (ja) | 推論方法に基づく故障診断方法 | |
| RU2451990C2 (ru) | Способ обработки объема данных, используемого во время фазы отладки функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для его осуществления | |
| JPH04352245A (ja) | シュミレ−ション方式 | |
| JP4192380B2 (ja) | Ｐｌｃシミュレータ装置及びシミュレーションするためのプログラムとこれが記録された記録媒体 | |
| JPH08137717A (ja) | デバッグ方法及び装置 | |
| JPS58201152A (ja) | 情報自動収得方式 | |
| JPH06250889A (ja) | データ処理システムにおける障害処理方式 | |
| JP2001209412A (ja) | シーケンスプログラムのシミュレーション装置 | |
| JPS62194549A (ja) | Ｃｐｕ―ｉｏ並列動作シミュレーション方法 | |
| JPH07105045A (ja) | 情報処理装置機能試験プログラムのデバッグ方式 | |
| JP3073848B2 (ja) | データ処理装置の試験方法 | |
| JP2813252B2 (ja) | 情報処理装置の障害箇所診断方式 | |
| JP2697230B2 (ja) | デバッグ支援装置 | |
| JPH04217034A (ja) | プログラムトレースの表示方式 | |
| JP2849780B2 (ja) | 計算機システム | |
| JPH05143395A (ja) | 診断プログラム実行方式およびそれに使用されるログ情報表示方式 | |
| JPH0468446A (ja) | デバッグ支援装置 | |
| JPH05334118A (ja) | プログラム割込み原因となるプログラムステップの事前検出方式 | |
| JPH01205245A (ja) | 電子計算機の周辺系及び回線系装置の自動トレース方式 | |
| JPH0611039U (ja) | プログラム言語ディバック装置 | |
| JPS6292033A (ja) | プログラムデバツグ装置 | |
| JPH01177137A (ja) | 計算機実行診断装置 | |
| JPH02232744A (ja) | シミュレータの構成制御方式 | |
| JPH02197932A (ja) | コンピュータの異常現象再現装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 19980806 |