JP2003208334A5 - - Google Patents

Claims (4)

1. 工学的システム開発手法に基づいて作成されたプログラム構造を表すモデルを記憶するモデル記憶手段と、
   該モデル記憶手段に記憶されたモデルに従ってプログラムを実行するプログラム実行手段と、
   該プログラム実行手段によるプログラム実行状態を逐次記録していくプログラム実行状態記録手段と、
   該プログラム実行状態記録手段に記録された情報を表示するプログラム実行状態表示手段と、
   該プログラム実行状態表示手段により表示されたプログラム実行状態の中から任意に選択された状態に関わるモデルについての情報を特定し表示するモデル特定表示手段と、
   該モデル特定表示手段において表示されるモデルの中で選択された前記プログラム実行状態に関わる箇所を識別表示するモデル識別表示手段とを備えることを特徴とするソフトウェアシステム動作確認装置。
2. 前記モデル記憶手段はオブジェクトの相互関係を定義した情報モデルを記憶しており、前記モデル特定表示手段は、選択された前記プログラム実行状態に関わるオブジェクトに関する情報モデルを表示し、前記モデル識別表示手段は当該オブジェクトを識別表示することを特徴とする請求項１記載のソフトウェアシステム動作確認装置。
3. 前記モデル記憶手段はオブジェクトの状態遷移を定義した状態モデルを記憶しており、前記モデル特定表示手段は、選択された前記プログラム実行状態に関わる状態に関する状態モデルを表示し、前記モデル識別表示手段は当該状態を識別表示することを特徴とする請求項１記載のソフトウェアシステム動作確認装置。
4. 前記モデル特定表示手段は、選択された前記プログラム実行状態に関わるモデルを該モデルの階層構造に基づいて段階的に表示することを特徴とする請求項１記載のソフトウェアシステム動作確認装置。