JPH10312314A - シミュレーション装置及び情報記録媒体 - Google Patents
シミュレーション装置及び情報記録媒体Info
- Publication number
- JPH10312314A JPH10312314A JP9123911A JP12391197A JPH10312314A JP H10312314 A JPH10312314 A JP H10312314A JP 9123911 A JP9123911 A JP 9123911A JP 12391197 A JP12391197 A JP 12391197A JP H10312314 A JPH10312314 A JP H10312314A
- Authority
- JP
- Japan
- Prior art keywords
- simulation
- external environment
- software
- verified
- environment model
- 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)
Abstract
(57)【要約】
【課題】 複写機等の実機のソフトウェアをハードウェ
アが無い状態で検証できるようにする。 【解決手段】 ハードウェアの他に、製造誤差による性
能格差、経年変化による性能劣化や故障発生等の実世界
の対象物を模擬した外部環境モデル27をソフトウエア
上で生成し、これに検証対象であるソフトウェア26を
結合させてシミュレーションを行いそのソフトウェア2
6を検証する。ソフトウェア上に生成した外部環境モデ
ル27は実世界の対象物を模擬しているため、外部環境
モデル27を実機のハードウェア及びその環境に近似さ
せることができる。これにより、実機のソフトウェア2
6をハードウェアが無い状態で検証することができる。
アが無い状態で検証できるようにする。 【解決手段】 ハードウェアの他に、製造誤差による性
能格差、経年変化による性能劣化や故障発生等の実世界
の対象物を模擬した外部環境モデル27をソフトウエア
上で生成し、これに検証対象であるソフトウェア26を
結合させてシミュレーションを行いそのソフトウェア2
6を検証する。ソフトウェア上に生成した外部環境モデ
ル27は実世界の対象物を模擬しているため、外部環境
モデル27を実機のハードウェア及びその環境に近似さ
せることができる。これにより、実機のソフトウェア2
6をハードウェアが無い状態で検証することができる。
Description
【0001】
【発明の属する技術分野】本発明は、例えば複写機等の
ハードウェアを含む実世界の対象物を模擬した外部環境
モデルをソフトウェア上で生成して制御プログラムとし
てのソフトウェアによってその外部環境モデルをシミュ
レートするシミュレーション装置及び情報記録媒体に関
する。
ハードウェアを含む実世界の対象物を模擬した外部環境
モデルをソフトウェア上で生成して制御プログラムとし
てのソフトウェアによってその外部環境モデルをシミュ
レートするシミュレーション装置及び情報記録媒体に関
する。
【0002】
【従来の技術】現在、多機能複写機のように、ハードウ
ェアとその制御プログラムからなるソフトウェアとを有
する機器(以下、実機という)を開発する場合、ハード
ウェアとソフトウェアとを並行して開発することが多
い。この際、必然的にハードウェアが存在しない状態で
ソフトウェアを開発することになるので、そのソフトウ
ェアの動作を実際のハードウェアで検証することはでき
ない。
ェアとその制御プログラムからなるソフトウェアとを有
する機器(以下、実機という)を開発する場合、ハード
ウェアとソフトウェアとを並行して開発することが多
い。この際、必然的にハードウェアが存在しない状態で
ソフトウェアを開発することになるので、そのソフトウ
ェアの動作を実際のハードウェアで検証することはでき
ない。
【0003】そこで、ソフトウェアを開発する場合に
は、ハードウェアを制御するソフトウェアをオブジェク
ト指向分析してシステム分析モデルを生成し、このシス
テム分析モデルをシミュレートすることによりソフトウ
ェアをテストするようなことが行われている。このよう
にオブジェクト指向分析によりシミュレーションを行な
うことは、例えば、特開平6−52143号公報や特開平7−8
4832号公報に開示されており、CASE(Computer Aide
d Software Engineering)ツールなるソフトウェアとし
て商品化もされている。したがって、ソフトウェアから
システム分析モデルを生成すれば、ハードウェアが存在
しなくともソフトウェアの動作を検証することができ
る。
は、ハードウェアを制御するソフトウェアをオブジェク
ト指向分析してシステム分析モデルを生成し、このシス
テム分析モデルをシミュレートすることによりソフトウ
ェアをテストするようなことが行われている。このよう
にオブジェクト指向分析によりシミュレーションを行な
うことは、例えば、特開平6−52143号公報や特開平7−8
4832号公報に開示されており、CASE(Computer Aide
d Software Engineering)ツールなるソフトウェアとし
て商品化もされている。したがって、ソフトウェアから
システム分析モデルを生成すれば、ハードウェアが存在
しなくともソフトウェアの動作を検証することができ
る。
【0004】
【発明が解決しようとする課題】しかし、ハードウェア
に発生する様々な事象をシステム分析モデルで的確にテ
ストすることは困難であり、最終的にソフトウェアをハ
ードウェアに実装してテストすることが必要となってい
る。これは、ハードウェアには製造誤差による性能格
差、経年変化による性能劣化や故障発生、一般ユーザに
よる誤操作のような統計的事象等の不具合が不可避的に
発生するのに対し、従来のシステム分析モデルでは、そ
のような不具合が発生した状態までをも的確に再現する
ようなものはないからである。
に発生する様々な事象をシステム分析モデルで的確にテ
ストすることは困難であり、最終的にソフトウェアをハ
ードウェアに実装してテストすることが必要となってい
る。これは、ハードウェアには製造誤差による性能格
差、経年変化による性能劣化や故障発生、一般ユーザに
よる誤操作のような統計的事象等の不具合が不可避的に
発生するのに対し、従来のシステム分析モデルでは、そ
のような不具合が発生した状態までをも的確に再現する
ようなものはないからである。
【0005】また、現在では上述のような不具合をソフ
トウェアにより補償することが要望されているが、この
ようなソフトウェアを、システム分析モデルのシミュレ
ートだけで開発しようとする着想は今までになされてい
ない。このため、ハードウェアを作成してからソフトウ
ェアを実装し、エラー&テストの長期テストを繰り返し
てソフトウェアを徐々に完成するようにしているのが現
状である。
トウェアにより補償することが要望されているが、この
ようなソフトウェアを、システム分析モデルのシミュレ
ートだけで開発しようとする着想は今までになされてい
ない。このため、ハードウェアを作成してからソフトウ
ェアを実装し、エラー&テストの長期テストを繰り返し
てソフトウェアを徐々に完成するようにしているのが現
状である。
【0006】したがって、ソフトウェアの開発の負担が
大きくそのために長時間を要しており、ハードウェアが
作成されてからソフトウェアの長期テストを実行するの
で、実機の開発期間を短縮することができないという問
題がある。
大きくそのために長時間を要しており、ハードウェアが
作成されてからソフトウェアの長期テストを実行するの
で、実機の開発期間を短縮することができないという問
題がある。
【0007】また、別の問題として、システム分析モデ
ル及びその制御プログラムを実行させてシミュレートを
する場合、シミュレート結果が可視的に判別しやすい形
態で出力されないため、シミュレート結果の認識が煩雑
であるという問題もある。
ル及びその制御プログラムを実行させてシミュレートを
する場合、シミュレート結果が可視的に判別しやすい形
態で出力されないため、シミュレート結果の認識が煩雑
であるという問題もある。
【0008】
【課題を解決するための手段】請求項1記載のシミュレ
ーション装置の発明は、実世界の対象物を模擬した外部
環境モデルをソフトウェア上で生成する外部環境モデル
作成手段と、外部環境モデルのシミュレーション実行時
の環境を設定するシミュレーション設定手段と、このシ
ミュレーション設定手段によって設定されたシミュレー
ション環境に検証対象のソフトウェアを取り込むソフト
ウェア結合手段と、このソフトウェア結合手段によって
シミュレーション環境に取り込まれた検証対象のソフト
ウェア及び外部環境モデルを実行させてシミュレート
し、検証対象のソフトウェアを検証するシミュレーショ
ン実行管理手段と、このシミュレーション実行管理手段
による外部環境モデルのシミュレートに際して、シミュ
レーション設定手段によって設定されたシミュレーショ
ン環境に応じた表示をモニタ上に行うシミュレーション
モニタ手段とを備える。
ーション装置の発明は、実世界の対象物を模擬した外部
環境モデルをソフトウェア上で生成する外部環境モデル
作成手段と、外部環境モデルのシミュレーション実行時
の環境を設定するシミュレーション設定手段と、このシ
ミュレーション設定手段によって設定されたシミュレー
ション環境に検証対象のソフトウェアを取り込むソフト
ウェア結合手段と、このソフトウェア結合手段によって
シミュレーション環境に取り込まれた検証対象のソフト
ウェア及び外部環境モデルを実行させてシミュレート
し、検証対象のソフトウェアを検証するシミュレーショ
ン実行管理手段と、このシミュレーション実行管理手段
による外部環境モデルのシミュレートに際して、シミュ
レーション設定手段によって設定されたシミュレーショ
ン環境に応じた表示をモニタ上に行うシミュレーション
モニタ手段とを備える。
【0009】したがって、外部環境モデル(外部環境モ
デル作成手段により生成)のシミュレーション環境(シ
ミュレーション設定手段により設定)に検証対象のソフ
トウェアを取り込んだ(ソフトウェア結合手段による)
後、シミュレーション実行管理手段によってシミュレー
ション環境に取り込まれたソフトウェア及び外部環境モ
デルを実行させてシミュレートすると、設定されたシミ
ュレーション環境に応じた表示がモニタ上に行われる
(シミュレーションモニタ手段による)。この際、外部
環境モデルは、制御対象であるハードウェアを含む実世
界の対象物を模擬したモデルであり、このため、製造誤
差による性能格差、経年変化による性能劣化や故障発
生、一般ユーザによる誤操作のような統計的事象等の不
具合も実世界の対象物として模擬しうる。よって、ハー
ドウェアの開発と並行してのソフトウェアの開発が実行
可能となる。また、シミュレーション設定手段によって
シミュレーション環境を整えておき、このシミュレーシ
ョン環境に検証対象のソフトウェアを取り込み、シミュ
レーション環境に取り込まれたソフトウェアを実行して
モニタするようにしたので、所望のシミュレーション結
果表示が自由に設定可能となり、その結果、シミュレー
ション内容を視覚的に認識しやすくなり、したがって、
ソフトウェアの検証作業の容易化が図られる。
デル作成手段により生成)のシミュレーション環境(シ
ミュレーション設定手段により設定)に検証対象のソフ
トウェアを取り込んだ(ソフトウェア結合手段による)
後、シミュレーション実行管理手段によってシミュレー
ション環境に取り込まれたソフトウェア及び外部環境モ
デルを実行させてシミュレートすると、設定されたシミ
ュレーション環境に応じた表示がモニタ上に行われる
(シミュレーションモニタ手段による)。この際、外部
環境モデルは、制御対象であるハードウェアを含む実世
界の対象物を模擬したモデルであり、このため、製造誤
差による性能格差、経年変化による性能劣化や故障発
生、一般ユーザによる誤操作のような統計的事象等の不
具合も実世界の対象物として模擬しうる。よって、ハー
ドウェアの開発と並行してのソフトウェアの開発が実行
可能となる。また、シミュレーション設定手段によって
シミュレーション環境を整えておき、このシミュレーシ
ョン環境に検証対象のソフトウェアを取り込み、シミュ
レーション環境に取り込まれたソフトウェアを実行して
モニタするようにしたので、所望のシミュレーション結
果表示が自由に設定可能となり、その結果、シミュレー
ション内容を視覚的に認識しやすくなり、したがって、
ソフトウェアの検証作業の容易化が図られる。
【0010】このような請求項1記載のシミュレーショ
ン装置の発明は、請求項11記載の記録媒体に記録され
たプログラムをコンピュータに読み取らせることによっ
ても実行される。つまり、請求項11記載の記録媒体
は、オブジェクト指向アプローチによってハードウェア
を模擬した外部環境モデルをソフトウェア上で生成する
外部環境モデル作成機能と、外部環境モデルのシミュレ
ーション実行時の環境を設定するシミュレーション設定
機能と、このシミュレーション設定機能によって設定さ
れたシミュレーション環境に検証対象のソフトウェアを
取り込むソフトウェア結合機能と、このソフトウェア結
合機能によってシミュレーション環境に取り込まれた検
証対象のソフトウェアを実行させて外部環境モデルをシ
ミュレートし、検証対象のソフトウェアを検証するシミ
ュレーション実行管理機能と、このシミュレーション実
行管理機能による外部環境モデルのシミュレートに際し
て、シミュレーション設定機能によって設定されたシミ
ュレーション環境に応じた表示をモニタ上に行うシミュ
レーションモニタ機能とをコンピュータに実現させるた
めのプログラムが記録されている。
ン装置の発明は、請求項11記載の記録媒体に記録され
たプログラムをコンピュータに読み取らせることによっ
ても実行される。つまり、請求項11記載の記録媒体
は、オブジェクト指向アプローチによってハードウェア
を模擬した外部環境モデルをソフトウェア上で生成する
外部環境モデル作成機能と、外部環境モデルのシミュレ
ーション実行時の環境を設定するシミュレーション設定
機能と、このシミュレーション設定機能によって設定さ
れたシミュレーション環境に検証対象のソフトウェアを
取り込むソフトウェア結合機能と、このソフトウェア結
合機能によってシミュレーション環境に取り込まれた検
証対象のソフトウェアを実行させて外部環境モデルをシ
ミュレートし、検証対象のソフトウェアを検証するシミ
ュレーション実行管理機能と、このシミュレーション実
行管理機能による外部環境モデルのシミュレートに際し
て、シミュレーション設定機能によって設定されたシミ
ュレーション環境に応じた表示をモニタ上に行うシミュ
レーションモニタ機能とをコンピュータに実現させるた
めのプログラムが記録されている。
【0011】ここで、外部環境モデルの生成は、例え
ば、実世界の対象物をオブジェクトとして捉えた外部環
境コンポーネントを基本構成単位とし、各外部環境コン
ポーネント間の関係をネットワークにより定義するオブ
ジェクト指向アプローチによって行う(請求項2)。つ
まり、外部環境コンポーネントは属性とメソッドとを持
ち、このような外部環境コンポーネントが相互にメッセ
ージを送ることにより協調的に作業が行われることにな
る。そして、このような外部環境コンポーネント間の関
係、つまり、相互作用の依存関係をネットワークにより
定義するため、外部環境モデルが人間の実世界の理解に
近い表現形態で表現され、したがって、外部環境モデル
の生成が容易となる。
ば、実世界の対象物をオブジェクトとして捉えた外部環
境コンポーネントを基本構成単位とし、各外部環境コン
ポーネント間の関係をネットワークにより定義するオブ
ジェクト指向アプローチによって行う(請求項2)。つ
まり、外部環境コンポーネントは属性とメソッドとを持
ち、このような外部環境コンポーネントが相互にメッセ
ージを送ることにより協調的に作業が行われることにな
る。そして、このような外部環境コンポーネント間の関
係、つまり、相互作用の依存関係をネットワークにより
定義するため、外部環境モデルが人間の実世界の理解に
近い表現形態で表現され、したがって、外部環境モデル
の生成が容易となる。
【0012】このような請求項2記載のシミュレーショ
ン装置において、実世界の対象物の属性及び各対象物相
互の関係を含む抽象外部環境コンポーネントを予め複数
用意した外部環境コンポーネントデータベースを備え、
外部環境モデル作成手段は、検証対象のソフトウェアか
ら見て実世界の対象物と対応付けられたメソッドとこの
メソッドに対応付けられた抽象外部環境コンポーネント
とから外部環境コンポーネントを生成するようにしても
良い(請求項3)。この場合には、外部環境コンポーネ
ントデータベースから抽象外部環境コンポーネントを選
択することにより、容易に外部環境コンポーネントが生
成される。
ン装置において、実世界の対象物の属性及び各対象物相
互の関係を含む抽象外部環境コンポーネントを予め複数
用意した外部環境コンポーネントデータベースを備え、
外部環境モデル作成手段は、検証対象のソフトウェアか
ら見て実世界の対象物と対応付けられたメソッドとこの
メソッドに対応付けられた抽象外部環境コンポーネント
とから外部環境コンポーネントを生成するようにしても
良い(請求項3)。この場合には、外部環境コンポーネ
ントデータベースから抽象外部環境コンポーネントを選
択することにより、容易に外部環境コンポーネントが生
成される。
【0013】このような請求項3記載のシミュレーショ
ン装置において、抽象外部環境コンポーネントが含む実
世界の対象物相互の関係定義から見て不足している抽象
外部環境コンポーネントを検出して示唆する不足抽象外
部環境コンポーネント示唆手段を更に備える場合には
(請求項4)、不足している抽象外部環境コンポーネン
トが示唆され、外部環境コンポーネントの生成がより容
易になる。
ン装置において、抽象外部環境コンポーネントが含む実
世界の対象物相互の関係定義から見て不足している抽象
外部環境コンポーネントを検出して示唆する不足抽象外
部環境コンポーネント示唆手段を更に備える場合には
(請求項4)、不足している抽象外部環境コンポーネン
トが示唆され、外部環境コンポーネントの生成がより容
易になる。
【0014】請求項5記載の発明は、請求項2又は3記
載のシミュレーション装置において、外部環境コンポー
ネント相互の関係を定義するネットワーク上で外部環境
コンポーネント相互の関係をトレースして外部環境モデ
ルの正当性を検証する外部環境モデル検証手段を更に備
える。ここで、抽象外部環境コンポーネントには実世界
の対象物相互の関係が含まれているため、ネットワーク
上で外部環境コンポーネント相互の関係をトレースする
ことにより、外部環境モデルの誤りや不完全さが事前に
判定される。
載のシミュレーション装置において、外部環境コンポー
ネント相互の関係を定義するネットワーク上で外部環境
コンポーネント相互の関係をトレースして外部環境モデ
ルの正当性を検証する外部環境モデル検証手段を更に備
える。ここで、抽象外部環境コンポーネントには実世界
の対象物相互の関係が含まれているため、ネットワーク
上で外部環境コンポーネント相互の関係をトレースする
ことにより、外部環境モデルの誤りや不完全さが事前に
判定される。
【0015】請求項6記載の発明は、請求項2記載のシ
ミュレーション装置において、検証対象のソフトウェア
を生成するソフトウェア開発手段を更に備え、このソフ
トウェア開発手段は検証対象のソフトウェアに付加情報
の付与を許容する。付加情報というのは、外部環境モデ
ルの作成、外部環境モデルと検証対象のソフトウェアと
の結合、シミュレーション実行制御のために必要な情報
等である。例えば、請求項7記載のシミュレーション装
置のように、付加情報は、検証対象のソフトウェアが実
世界の対象物にアクセスする部分を予め指定する情報で
あり、この場合、外部環境モデル作成手段は、付加情報
に基づいて実世界の対象物に対応付けられたメソッド
(請求項3)を自動生成する。したがって、こうして自
動生成されたメソッドに抽象外部環境コンポーネントを
組み合わせることで外部環境コンポーネントが容易に生
成される。また、請求項8記載のシミュレーション装置
のように、付加情報は、検証対象のソフトウェアのシミ
ュレーション動作開始ポイントを指定する情報であり、
この場合、シミュレーション実行管理手段は、付加情報
に基づくシミュレーション実行処理の選択及び組合せを
許容する。したがって、付加情報に基づいてシミュレー
ション実行のシナリオが柔軟に設定される。
ミュレーション装置において、検証対象のソフトウェア
を生成するソフトウェア開発手段を更に備え、このソフ
トウェア開発手段は検証対象のソフトウェアに付加情報
の付与を許容する。付加情報というのは、外部環境モデ
ルの作成、外部環境モデルと検証対象のソフトウェアと
の結合、シミュレーション実行制御のために必要な情報
等である。例えば、請求項7記載のシミュレーション装
置のように、付加情報は、検証対象のソフトウェアが実
世界の対象物にアクセスする部分を予め指定する情報で
あり、この場合、外部環境モデル作成手段は、付加情報
に基づいて実世界の対象物に対応付けられたメソッド
(請求項3)を自動生成する。したがって、こうして自
動生成されたメソッドに抽象外部環境コンポーネントを
組み合わせることで外部環境コンポーネントが容易に生
成される。また、請求項8記載のシミュレーション装置
のように、付加情報は、検証対象のソフトウェアのシミ
ュレーション動作開始ポイントを指定する情報であり、
この場合、シミュレーション実行管理手段は、付加情報
に基づくシミュレーション実行処理の選択及び組合せを
許容する。したがって、付加情報に基づいてシミュレー
ション実行のシナリオが柔軟に設定される。
【0016】請求項9記載の発明は、請求項1記載のシ
ミュレーション装置において、ソフトウェア結合手段
は、検証対象のソフトウェア中の処理単位の直前に起動
される事前処理と処理単位の直後に起動される事後処理
として必要処理に関する記述を許容し、検証対象のソフ
トウェアを構文解析してそれらの必要処理の記述を埋め
込む必要がある処理単位を抽出し、抽出された処理単位
の先頭と最後とに必要処理の記述を挿入することで、シ
ミュレーション設定手段によって設定されたシミュレー
ション環境に検証対象のソフトウェアを取り込む。つま
り、検証対象のソフトウェアにおいて処理単位の直前と
直後とにシミュレーションに必要な処理の記述が埋め込
まれ、検証対象のソフトウェアがシミュレーション実行
可能なソフトウェアに自動変換される。
ミュレーション装置において、ソフトウェア結合手段
は、検証対象のソフトウェア中の処理単位の直前に起動
される事前処理と処理単位の直後に起動される事後処理
として必要処理に関する記述を許容し、検証対象のソフ
トウェアを構文解析してそれらの必要処理の記述を埋め
込む必要がある処理単位を抽出し、抽出された処理単位
の先頭と最後とに必要処理の記述を挿入することで、シ
ミュレーション設定手段によって設定されたシミュレー
ション環境に検証対象のソフトウェアを取り込む。つま
り、検証対象のソフトウェアにおいて処理単位の直前と
直後とにシミュレーションに必要な処理の記述が埋め込
まれ、検証対象のソフトウェアがシミュレーション実行
可能なソフトウェアに自動変換される。
【0017】請求項10記載の発明は、請求項9記載の
シミュレーション装置において、シミュレーション設定
部は、モニタへの表示に関する複数の表示アイテムが格
納された定型表示手続きデータベースを備え、モニタに
表示させたい表示アイテムの選択を許容することにより
シミュレーション実行時のモニタ環境を設定する。した
がって、定型表示手続きデータベースからモニタに表示
させたい表示アイテムを選択することにより、シミュレ
ーション実行時のモニタ環境が設定される。
シミュレーション装置において、シミュレーション設定
部は、モニタへの表示に関する複数の表示アイテムが格
納された定型表示手続きデータベースを備え、モニタに
表示させたい表示アイテムの選択を許容することにより
シミュレーション実行時のモニタ環境を設定する。した
がって、定型表示手続きデータベースからモニタに表示
させたい表示アイテムを選択することにより、シミュレ
ーション実行時のモニタ環境が設定される。
【0018】
【発明の実施の形態】本発明の実施の一形態を図面に基
づいて以下に説明する。まず、本実施の形態のシミュレ
ーション装置は、そのハードウェア構成として、一個の
コンピュータシステム1を利用している。
づいて以下に説明する。まず、本実施の形態のシミュレ
ーション装置は、そのハードウェア構成として、一個の
コンピュータシステム1を利用している。
【0019】図1及び図2に示すように、コンピュータ
の主体としてCPU(Central Processing Unit)2が設
けられ、このCPU2には、バスライン3により、RO
M(Read Only Memory)4、RAM(Random Access Memor
y)5、HDD(Hard Disc Drive)6、FD(Floppy Dis
c)7が装填されるFDD(FD Drive)8、CD(CompactD
isc)−ROM9が装填されるCD−ROMドライブ1
0、マウス11が接続されたキーボード12、モニタと
してディスプレイ13、通信I/F(Interface)14、
マイクロフォン15、スピーカ16等が接続されてい
る。
の主体としてCPU(Central Processing Unit)2が設
けられ、このCPU2には、バスライン3により、RO
M(Read Only Memory)4、RAM(Random Access Memor
y)5、HDD(Hard Disc Drive)6、FD(Floppy Dis
c)7が装填されるFDD(FD Drive)8、CD(CompactD
isc)−ROM9が装填されるCD−ROMドライブ1
0、マウス11が接続されたキーボード12、モニタと
してディスプレイ13、通信I/F(Interface)14、
マイクロフォン15、スピーカ16等が接続されてい
る。
【0020】コンピュータシステム1は、各種データの
外部入力を受け付けるデータ入力デバイスとして、FD
D8、CD−ROMドライブ10、マウス11及びキー
ボード12、通信I/F14、マイクロフォン15等を
有している。また、各種データの外部出力を実行するデ
ータ出力デバイスとしては、FDD8、ディスプレイ1
3、通信I/F14、スピーカ16等が設けられてい
る。さらに、各種データを一時記憶するデータ記憶デバ
イスとしては、RAM5、HDD6、FD7等が設けら
れており、予め記録されたソフトウェアをCPU2に提
供できる情報記録媒体としては、ROM4、RAM5、
HDD6、FD7、CD−ROM9等が設けられてい
る。なお、これらのディスク7,9は、コンピュータシ
ステム1に固定的に設けられておらず、単体で取り扱え
る交換自在な情報記録媒体としての形態を備える。そし
て、コンピュータの主体としてのCPU2は、交換自在
な情報記録媒体としての形態を備えたディスク6,7,
9等にソフトウェアとして予め設定された制御プログラ
ムによって各種の処理動作を実行する。このような制御
プログラムは、CD−ROMドライブ10に読み取られ
るCD−ROM9に格納されていたり、HDD6に予め
インストールされている。いずれにしても、コンピュー
タシステム1の起動時に、そのような制御プログラムが
RAM5に複写されてCPU2に読み取られ、これによ
って各種の処理動作が実行される。
外部入力を受け付けるデータ入力デバイスとして、FD
D8、CD−ROMドライブ10、マウス11及びキー
ボード12、通信I/F14、マイクロフォン15等を
有している。また、各種データの外部出力を実行するデ
ータ出力デバイスとしては、FDD8、ディスプレイ1
3、通信I/F14、スピーカ16等が設けられてい
る。さらに、各種データを一時記憶するデータ記憶デバ
イスとしては、RAM5、HDD6、FD7等が設けら
れており、予め記録されたソフトウェアをCPU2に提
供できる情報記録媒体としては、ROM4、RAM5、
HDD6、FD7、CD−ROM9等が設けられてい
る。なお、これらのディスク7,9は、コンピュータシ
ステム1に固定的に設けられておらず、単体で取り扱え
る交換自在な情報記録媒体としての形態を備える。そし
て、コンピュータの主体としてのCPU2は、交換自在
な情報記録媒体としての形態を備えたディスク6,7,
9等にソフトウェアとして予め設定された制御プログラ
ムによって各種の処理動作を実行する。このような制御
プログラムは、CD−ROMドライブ10に読み取られ
るCD−ROM9に格納されていたり、HDD6に予め
インストールされている。いずれにしても、コンピュー
タシステム1の起動時に、そのような制御プログラムが
RAM5に複写されてCPU2に読み取られ、これによ
って各種の処理動作が実行される。
【0021】ここで、コンピュータシステム1は、RA
M5に複写されてCPU2に読み取られる制御プログラ
ムによって、オブジェクト指向アプローチを利用したソ
フトウェアの開発支援動作、シミュレーション環境の生
成動作、シミュレーション動作を実行する。図3に示す
ように、これらの各動作は、ソフトウェア開発フェイ
ズ、シミュレーション環境作成フェイズ、シミュレーシ
ョンフェイズという各フェイズ(段階)において実行さ
れる。オブジェクト指向アプローチでは、実世界の対象
物(オブジェクト)と対象物相互の関係とをそのままソ
フトウェアで表現することにより、実世界の仕組みをコ
ンピュータ上に再現する。つまり、オブジェクト指向ア
プローチでは、ソフトウェアを実世界に即した理解しや
すい形式でモデル化することを目的としており、この目
的達成のために、実世界の対象における重要な概念実態
を抽出し、それらがお互いにどのように関連しあってい
るかを記述し表現する。この場合、実世界にある実態や
概念は対象、つまりオブジェクトとして認識され、ソフ
トウェアはそのようなオブジェクトを基本構成要素とし
て設計実装される。
M5に複写されてCPU2に読み取られる制御プログラ
ムによって、オブジェクト指向アプローチを利用したソ
フトウェアの開発支援動作、シミュレーション環境の生
成動作、シミュレーション動作を実行する。図3に示す
ように、これらの各動作は、ソフトウェア開発フェイ
ズ、シミュレーション環境作成フェイズ、シミュレーシ
ョンフェイズという各フェイズ(段階)において実行さ
れる。オブジェクト指向アプローチでは、実世界の対象
物(オブジェクト)と対象物相互の関係とをそのままソ
フトウェアで表現することにより、実世界の仕組みをコ
ンピュータ上に再現する。つまり、オブジェクト指向ア
プローチでは、ソフトウェアを実世界に即した理解しや
すい形式でモデル化することを目的としており、この目
的達成のために、実世界の対象における重要な概念実態
を抽出し、それらがお互いにどのように関連しあってい
るかを記述し表現する。この場合、実世界にある実態や
概念は対象、つまりオブジェクトとして認識され、ソフ
トウェアはそのようなオブジェクトを基本構成要素とし
て設計実装される。
【0022】オブジェクト指向アプローチを利用した各
種動作を実行するために、コンピュータシステム1は、
CPU2を主体とする各構成要素によって、各種の機能
を果たす概念的及び機能的な各部を構成する(図3)。
つまり、ソフトウェアの開発支援動作を実行するものと
してソフトウェア開発部21が設けられ、シミュレーシ
ョン環境の生成動作を実行するものとして外部環境モデ
ル作成部22、ソフトウェア結合部23及びシミュレー
ション設定部24が設けられ、シミュレーション動作を
実行するものとしてシミュレーション実行管理部25が
それぞれ設けられている。以下、これらの各部によって
実行される機能を各フェイズ毎に具体例を交えながら説
明する。
種動作を実行するために、コンピュータシステム1は、
CPU2を主体とする各構成要素によって、各種の機能
を果たす概念的及び機能的な各部を構成する(図3)。
つまり、ソフトウェアの開発支援動作を実行するものと
してソフトウェア開発部21が設けられ、シミュレーシ
ョン環境の生成動作を実行するものとして外部環境モデ
ル作成部22、ソフトウェア結合部23及びシミュレー
ション設定部24が設けられ、シミュレーション動作を
実行するものとしてシミュレーション実行管理部25が
それぞれ設けられている。以下、これらの各部によって
実行される機能を各フェイズ毎に具体例を交えながら説
明する。
【0023】1.ソフトウェア開発フェイズ ソフトウェア開発フェイズでは、ソフトウェア開発部2
1によって実機のソフトウェア26の部分を作成する。
つまり、実機が例えば複写機(図示せず)である場合、
複写機のハードウェア部分を制御するための制御プログ
ラムであるソフトウェア26の開発(プログラミング)
が行われる。このようなソフトウェアの開発は、ソフト
ウェア開発部21がソースコードエディタとして機能す
ることにより実現される。ソフトウェア開発部21が提
供するソースコードエディタは、ソフトウェア26に付
加情報を付与する機能をも備える。付加情報は、例え
ば、ソースコード中におけるI/Oポートの読み書きと
いうようなハードウェアをアクセスするメソッドM1
や、ソフトウェア26を実行する際の開始点となるメソ
ッドM2であり、ソフトウェア開発部21は、そのよう
なメソッドM1,M2をディスプレイ13上でマークす
ることによりそれらのメソッドM1,M2を付加情報と
してソフトウェア26に付与することを可能とする(図
4参照)。ここに、ソフトウェア開発手段の機能が実行
され、この機能の実行により作成されたソフトウェア2
6が本実施の形態のシミュレーション装置の検証対象と
なる。
1によって実機のソフトウェア26の部分を作成する。
つまり、実機が例えば複写機(図示せず)である場合、
複写機のハードウェア部分を制御するための制御プログ
ラムであるソフトウェア26の開発(プログラミング)
が行われる。このようなソフトウェアの開発は、ソフト
ウェア開発部21がソースコードエディタとして機能す
ることにより実現される。ソフトウェア開発部21が提
供するソースコードエディタは、ソフトウェア26に付
加情報を付与する機能をも備える。付加情報は、例え
ば、ソースコード中におけるI/Oポートの読み書きと
いうようなハードウェアをアクセスするメソッドM1
や、ソフトウェア26を実行する際の開始点となるメソ
ッドM2であり、ソフトウェア開発部21は、そのよう
なメソッドM1,M2をディスプレイ13上でマークす
ることによりそれらのメソッドM1,M2を付加情報と
してソフトウェア26に付与することを可能とする(図
4参照)。ここに、ソフトウェア開発手段の機能が実行
され、この機能の実行により作成されたソフトウェア2
6が本実施の形態のシミュレーション装置の検証対象と
なる。
【0024】付加情報として挙げたメソッドM1,M2
をより詳細に説明する。これらのメソッドM1,M2
は、オブジェクトが属性と共に備えるメソッドである。
メソッドM1は、アクセスすべきハードウェアが例えば
現像装置(図示せず)の現像スリーブの駆動源である場
合、この駆動源にアクセスするというメッセージに対応
する機能を実現するメソッドである。メソッドM2は、
ソフトウェア26においてどの処理単位からそのソフト
ウェア26を実行するかを決定するためのメッセージに
対応する機能を実現するメソッドである。
をより詳細に説明する。これらのメソッドM1,M2
は、オブジェクトが属性と共に備えるメソッドである。
メソッドM1は、アクセスすべきハードウェアが例えば
現像装置(図示せず)の現像スリーブの駆動源である場
合、この駆動源にアクセスするというメッセージに対応
する機能を実現するメソッドである。メソッドM2は、
ソフトウェア26においてどの処理単位からそのソフト
ウェア26を実行するかを決定するためのメッセージに
対応する機能を実現するメソッドである。
【0025】なお、ソフトウェア開発部21が提供する
ソースコードエディタは、オブジェクト指向分析・設計
を支援するCASEツールに統合されていても良い。
ソースコードエディタは、オブジェクト指向分析・設計
を支援するCASEツールに統合されていても良い。
【0026】2.シミュレーション環境作成フェイズ シミュレーション環境作成フェイズは、外部環境モデル
27の作成、シミュレーションの環境設定、及び外部環
境モデル27とソフトウェア26との結合という3つの
フェイズからなる。
27の作成、シミュレーションの環境設定、及び外部環
境モデル27とソフトウェア26との結合という3つの
フェイズからなる。
【0027】A.外部環境モデル作成フェイズ 外部環境モデル作成フェイズでは、外部環境モデル作成
部22による外部環境モデル27の生成が行われる(外
部環境モデル作成手段)。外部環境モデル27は、実世
界の対象物をオブジェクトとして捉えた外部環境コンポ
ーネント28の作成と作成された外部環境コンポーネン
ト28間の関係をネットワークで定義するリンク29と
によって生成される(図7参照)。つまり、外部環境モ
デル27は、複写機(図示せず)を例に挙げると、複写
機という実機のハードウェア及びこのハードウェアの環
境をソフトウェア上で生成したモデルである。したがっ
て、外部環境コンポーネント28は、実世界の対象物、
例えば現像装置をオブジェクトとして捉えたものであ
り、したがって、現像装置がオブジェクトであるとする
と、現像装置がその役割を果たすために必要な属性とメ
ソッドとが外部環境コンポーネント28の内容となる。
この場合、外部環境コンポーネント28は、オブジェク
ト指向言語のクラスとして実現される。
部22による外部環境モデル27の生成が行われる(外
部環境モデル作成手段)。外部環境モデル27は、実世
界の対象物をオブジェクトとして捉えた外部環境コンポ
ーネント28の作成と作成された外部環境コンポーネン
ト28間の関係をネットワークで定義するリンク29と
によって生成される(図7参照)。つまり、外部環境モ
デル27は、複写機(図示せず)を例に挙げると、複写
機という実機のハードウェア及びこのハードウェアの環
境をソフトウェア上で生成したモデルである。したがっ
て、外部環境コンポーネント28は、実世界の対象物、
例えば現像装置をオブジェクトとして捉えたものであ
り、したがって、現像装置がオブジェクトであるとする
と、現像装置がその役割を果たすために必要な属性とメ
ソッドとが外部環境コンポーネント28の内容となる。
この場合、外部環境コンポーネント28は、オブジェク
ト指向言語のクラスとして実現される。
【0028】外部環境コンポーネント28の作成は、外
部環境コンポーネント28のメソッド自動生成又は外部
環境コンポーネント28のメソッド作成と抽象外部環境
コンポーネントの選択との2つの段階からなされる。
部環境コンポーネント28のメソッド自動生成又は外部
環境コンポーネント28のメソッド作成と抽象外部環境
コンポーネントの選択との2つの段階からなされる。
【0029】(1)外部環境コンポーネントのメソッド
自動生成 ここでは、検証対象のソフトウェア26のコード中か
ら、ハードウェアのアクセスポイントとしてマークされ
たメソッドM1が自動検索される。そして、このメソッ
ドM1を含むクラスに対応するクラスを外部環境コンポ
ーネント28のメソッドM3として生成する(図5参
照)。このメソッドM3は、インターフェースとして生
成される。
自動生成 ここでは、検証対象のソフトウェア26のコード中か
ら、ハードウェアのアクセスポイントとしてマークされ
たメソッドM1が自動検索される。そして、このメソッ
ドM1を含むクラスに対応するクラスを外部環境コンポ
ーネント28のメソッドM3として生成する(図5参
照)。このメソッドM3は、インターフェースとして生
成される。
【0030】(2)外部環境コンポーネントのメソッド
作成 その他の外部環境コンポーネント28のメソッドM4に
ついては、コンピュータシステム1が備えるエディタ機
能によって生成される(図6参照)。
作成 その他の外部環境コンポーネント28のメソッドM4に
ついては、コンピュータシステム1が備えるエディタ機
能によって生成される(図6参照)。
【0031】(3)抽象外部環境コンポーネントの選択 外部環境コンポーネント28のメソッドM3が自動生成
されてメソッドM4が作成されると、図6に示すよう
に、これらのメソッドM3,M4に抽象外部環境コンポ
ーネント30が対応付けられる。抽象外部環境コンポー
ネント30は、外部環境コンポーネント28の抽象化さ
れた振る舞い、各抽象外部環境コンポーネント30相互
の関係を記述した抽象クラスとして実現されている。つ
まり、実世界の対象物の属性及び各対象物相互の関係を
定義した抽象クラスが各抽象外部環境コンポーネント3
0である。したがって、外部環境コンポーネント28
は、抽象外部コンポーネント30のサブクラスというこ
とになる。
されてメソッドM4が作成されると、図6に示すよう
に、これらのメソッドM3,M4に抽象外部環境コンポ
ーネント30が対応付けられる。抽象外部環境コンポー
ネント30は、外部環境コンポーネント28の抽象化さ
れた振る舞い、各抽象外部環境コンポーネント30相互
の関係を記述した抽象クラスとして実現されている。つ
まり、実世界の対象物の属性及び各対象物相互の関係を
定義した抽象クラスが各抽象外部環境コンポーネント3
0である。したがって、外部環境コンポーネント28
は、抽象外部コンポーネント30のサブクラスというこ
とになる。
【0032】抽象外部環境コンポーネント30は、クラ
スライブラリの形態で図3に示す外部環境コンポーネン
トデータベース31に格納されてデータベース化されて
いる。外部環境コンポーネントデータベース31には、
例えば次のような抽象外部環境コンポーネント30が用
意されている。
スライブラリの形態で図3に示す外部環境コンポーネン
トデータベース31に格納されてデータベース化されて
いる。外部環境コンポーネントデータベース31には、
例えば次のような抽象外部環境コンポーネント30が用
意されている。
【0033】シンク:入口と出口とを持ち、流動体を溜
める ポンプ:シンクからシンクへと流動体を移動させる センサ:値を測定してその測定値をソフトウェアに送る
終端子 外部環境コンポーネント28のメソッドM3,M4に対
する抽象外部環境コンポーネント30の対応付けは、図
6に示すようにGUI上のマウス11による操作で行
う。つまり、各メソッドM3,M4に対し、外部環境コ
ンポーネントデータベース31に格納された任意の抽象
外部環境コンポーネント30をドラッグして重ね合わせ
る。これにより、両者の対応付けがなされるように外部
環境モデル作成部22による外部環境モデル作成機能が
設定されている。
める ポンプ:シンクからシンクへと流動体を移動させる センサ:値を測定してその測定値をソフトウェアに送る
終端子 外部環境コンポーネント28のメソッドM3,M4に対
する抽象外部環境コンポーネント30の対応付けは、図
6に示すようにGUI上のマウス11による操作で行
う。つまり、各メソッドM3,M4に対し、外部環境コ
ンポーネントデータベース31に格納された任意の抽象
外部環境コンポーネント30をドラッグして重ね合わせ
る。これにより、両者の対応付けがなされるように外部
環境モデル作成部22による外部環境モデル作成機能が
設定されている。
【0034】こうして、外部環境コンポーネント28の
メソッドM3,M4に抽象外部環境コンポーネント30
が対応付けられることで、外部環境コンポーネント28
が作成される。
メソッドM3,M4に抽象外部環境コンポーネント30
が対応付けられることで、外部環境コンポーネント28
が作成される。
【0035】そして、図7に示すように、外部環境コン
ポーネント28が作成された後、GUI上のマウス11
による操作で、作成された外部環境コンポーネント28
相互間をリンク29で結ぶことにより、外部環境コンポ
ーネント28相互間の関係がネットワークで定義され、
外部環境モデル27が生成される。この際、抽象外部環
境コンポーネント30が備える実世界の対象物相互の関
係に基づくリンクの制約が参照され、不足している抽象
外部環境コンポーネント30相互の結合や抽象外部環境
コンポーネント30の生成がユーザに促される。例え
ば、図7中、ポンプという抽象外部環境コンポーネント
30にはシンクが接続されるべき出口が存在するにも拘
らず、この出口にシンクが接続されていなければ、警告
表示がなされ、ユーザに不足している抽象外部環境コン
ポーネント30の結合が促される。ここに、不足外部環
境コンポーネント示唆手段の機能が実行される。
ポーネント28が作成された後、GUI上のマウス11
による操作で、作成された外部環境コンポーネント28
相互間をリンク29で結ぶことにより、外部環境コンポ
ーネント28相互間の関係がネットワークで定義され、
外部環境モデル27が生成される。この際、抽象外部環
境コンポーネント30が備える実世界の対象物相互の関
係に基づくリンクの制約が参照され、不足している抽象
外部環境コンポーネント30相互の結合や抽象外部環境
コンポーネント30の生成がユーザに促される。例え
ば、図7中、ポンプという抽象外部環境コンポーネント
30にはシンクが接続されるべき出口が存在するにも拘
らず、この出口にシンクが接続されていなければ、警告
表示がなされ、ユーザに不足している抽象外部環境コン
ポーネント30の結合が促される。ここに、不足外部環
境コンポーネント示唆手段の機能が実行される。
【0036】外部環境モデル27が生成された場合、図
3に示すシミュレーション実行管理部25によって外部
環境モデル27のシミュレーションがなされ、シミュレ
ーションモニタ手段として機能するシミュレーションモ
ニタ部32によってディスプレイ13に所定の表示がな
される。例えば、アクチュエータ(例えば、現像スリー
ブ駆動モータ)に対応する外部環境コンポーネント28
からどのセンサに対応する外部環境コンポーネント28
にも経路が存在しない場合、ディスプレイ13には外部
環境モデル27が正当でない旨の表示がなされる。ここ
に、外部環境モデル検証手段の機能が実行される。
3に示すシミュレーション実行管理部25によって外部
環境モデル27のシミュレーションがなされ、シミュレ
ーションモニタ手段として機能するシミュレーションモ
ニタ部32によってディスプレイ13に所定の表示がな
される。例えば、アクチュエータ(例えば、現像スリー
ブ駆動モータ)に対応する外部環境コンポーネント28
からどのセンサに対応する外部環境コンポーネント28
にも経路が存在しない場合、ディスプレイ13には外部
環境モデル27が正当でない旨の表示がなされる。ここ
に、外部環境モデル検証手段の機能が実行される。
【0037】B.シミュレーション環境設定フェイズ シミュレーション環境設定フェイズは、シミュレーショ
ン実行時の環境を設定するフェイズである。つまり、シ
ミュレーション設定部24では、ソフトウェア開発部2
1のソースコードエディタ及び外部環境モデル作成部2
2のエディタによって、後述するシミュレーションフェ
イズでシミュレーション中にモニタする対象の選択を許
容する(シミュレーション設定手段)。この場合、ディ
スプレイ13への表示に関する複数の表示アイテム3
3、例えば棒グラフやメータ等を格納する定型表示手続
きデータベース34から表示アイテム33を選択するこ
とにより、モニタの方法が選択される。具体的には、図
8に示すように、シミュレーションモニタ中において、
GUI上のマウス11の操作によって定型表示手続きデ
ータベース34から所望の表示アイテム33をドラッグ
&ドロップにより選択し、選択した表示アイテム33を
検証対象であるソフトウェア26の所望記述部分にドラ
ッグしてシミュレーション中にモニタする対象を選択す
る。
ン実行時の環境を設定するフェイズである。つまり、シ
ミュレーション設定部24では、ソフトウェア開発部2
1のソースコードエディタ及び外部環境モデル作成部2
2のエディタによって、後述するシミュレーションフェ
イズでシミュレーション中にモニタする対象の選択を許
容する(シミュレーション設定手段)。この場合、ディ
スプレイ13への表示に関する複数の表示アイテム3
3、例えば棒グラフやメータ等を格納する定型表示手続
きデータベース34から表示アイテム33を選択するこ
とにより、モニタの方法が選択される。具体的には、図
8に示すように、シミュレーションモニタ中において、
GUI上のマウス11の操作によって定型表示手続きデ
ータベース34から所望の表示アイテム33をドラッグ
&ドロップにより選択し、選択した表示アイテム33を
検証対象であるソフトウェア26の所望記述部分にドラ
ッグしてシミュレーション中にモニタする対象を選択す
る。
【0038】C.ソフトウェア結合フェイズ ソフトウェア結合フェイズでは、検証対象のソフトウェ
ア26にシミュレーション設定部24によってシミュレ
ーション環境を埋め込み、ソフトウェア26をシミュレ
ーション実行可能なソフトウェア35に変換する(図3
参照)。ここに、ソフトウェア結合手段の機能が実行さ
れる。
ア26にシミュレーション設定部24によってシミュレ
ーション環境を埋め込み、ソフトウェア26をシミュレ
ーション実行可能なソフトウェア35に変換する(図3
参照)。ここに、ソフトウェア結合手段の機能が実行さ
れる。
【0039】図9は、ソフトウェア26をシミュレーシ
ョン実行可能なソフトウェア35に変換する方法を示
す。図9では、左側が元のソフトウェア26、右側が変
換後のソフトウェア35であり、この例は、クラスAか
らクラスBのメソッドmethod1を呼び出す場合を
示している。まず最初に、クラスBを別名(B_ori
g)にリネームする。次に、新たにクラスBを生成し、
そのメソッドとしてmethod1を生成する。met
hod1には、シミュレーションに必要な前処理、元々
の処理(B_origクラスのメソッドmethod
1)、シミュレーションに必要な後処理の順に、実行す
る記述を生成する。これにより、クラスAからmeth
od1を呼び出すときには、シミュレーションに必要な
前処理及び後処理を含んだ形で処理が行われることにな
る。
ョン実行可能なソフトウェア35に変換する方法を示
す。図9では、左側が元のソフトウェア26、右側が変
換後のソフトウェア35であり、この例は、クラスAか
らクラスBのメソッドmethod1を呼び出す場合を
示している。まず最初に、クラスBを別名(B_ori
g)にリネームする。次に、新たにクラスBを生成し、
そのメソッドとしてmethod1を生成する。met
hod1には、シミュレーションに必要な前処理、元々
の処理(B_origクラスのメソッドmethod
1)、シミュレーションに必要な後処理の順に、実行す
る記述を生成する。これにより、クラスAからmeth
od1を呼び出すときには、シミュレーションに必要な
前処理及び後処理を含んだ形で処理が行われることにな
る。
【0040】3.シミュレーションフェイズ シミュレーションフェイズでは、シミュレーション実行
管理部25によって、オブジェクト指向言語で記述され
たシミュレーション実行可能なソフトウェア35及び外
部環境モデル27をコンパイルして実行する。これによ
り、シミュレーション実行管理手段の機能が実行され
る。
管理部25によって、オブジェクト指向言語で記述され
たシミュレーション実行可能なソフトウェア35及び外
部環境モデル27をコンパイルして実行する。これによ
り、シミュレーション実行管理手段の機能が実行され
る。
【0041】ここで、シミュレーション実行可能なソフ
トウェア35及び外部環境モデル27の実行は、例え
ば、ソフトウェア開発部21でソフトウェア26に付与
した付加情報中のソフトウェア26を実行する際の開始
点となるメソッドM2を検索し、これに対応する図示し
ない開始ボタンをGUI上に生成し、これをマウス11
でクリックすることによって開始される。このようなG
UI表示は、シミュレーション実行可能なソフトウェア
35、つまり、シミュレーション設定部24によって設
定されたシミュレーション環境が埋め込まれたソフトウ
エア26に基づいて実行される。そして、シミュレーシ
ョン実行可能なソフトウェア35が実行されることで、
シミュレーション動作中、シミュレーション設定部24
によって設定されたシミュレーション環境に従った表
示、例えば棒グラフがディスプレイ13に表示されるこ
とになる(図10参照)。
トウェア35及び外部環境モデル27の実行は、例え
ば、ソフトウェア開発部21でソフトウェア26に付与
した付加情報中のソフトウェア26を実行する際の開始
点となるメソッドM2を検索し、これに対応する図示し
ない開始ボタンをGUI上に生成し、これをマウス11
でクリックすることによって開始される。このようなG
UI表示は、シミュレーション実行可能なソフトウェア
35、つまり、シミュレーション設定部24によって設
定されたシミュレーション環境が埋め込まれたソフトウ
エア26に基づいて実行される。そして、シミュレーシ
ョン実行可能なソフトウェア35が実行されることで、
シミュレーション動作中、シミュレーション設定部24
によって設定されたシミュレーション環境に従った表
示、例えば棒グラフがディスプレイ13に表示されるこ
とになる(図10参照)。
【0042】さらに、ソフトウェア26を実行する際の
開始点となるメソッドM2の選択や組合せを自由に設定
することにより、シミュレーション実行のシナリオが柔
軟に設定・実行される。
開始点となるメソッドM2の選択や組合せを自由に設定
することにより、シミュレーション実行のシナリオが柔
軟に設定・実行される。
【0043】
【発明の効果】請求項1記載のシミュレーション装置の
発明及び請求項11記載の記録媒体の発明は、制御対象
であるハードウェアばかりか、製造誤差による性能格
差、経年変化による性能劣化や故障発生、一般ユーザに
よる誤操作のような統計的事象等の不具合等をも含む実
世界の対象物を模擬した外部環境モデルをソフトウェア
上で生成し、この外部環境モデルとその制御プログラム
であるソフトウェアとをシミュレートすることでそのソ
フトウェアを検証するようにしたので、シミュレートす
る外部環境モデルを実機のハードウェア及びその環境に
近似させることができ、したがって、ハードウェアの開
発と並行してのソフトウェアの開発を可能とすることが
できる。また、シミュレーション環境を整えておき、こ
のシミュレーション環境に検証対象のソフトウェアを取
り込み、シミュレーション環境に取り込まれたソフトウ
ェアを実行してモニタするようにしたので、シミュレー
ション結果表示の自由度を高めてシミュレーション内容
を視覚的に認識しやすくすることができ、したがって、
ソフトウェアの検証作業の容易化を図ることができる。
発明及び請求項11記載の記録媒体の発明は、制御対象
であるハードウェアばかりか、製造誤差による性能格
差、経年変化による性能劣化や故障発生、一般ユーザに
よる誤操作のような統計的事象等の不具合等をも含む実
世界の対象物を模擬した外部環境モデルをソフトウェア
上で生成し、この外部環境モデルとその制御プログラム
であるソフトウェアとをシミュレートすることでそのソ
フトウェアを検証するようにしたので、シミュレートす
る外部環境モデルを実機のハードウェア及びその環境に
近似させることができ、したがって、ハードウェアの開
発と並行してのソフトウェアの開発を可能とすることが
できる。また、シミュレーション環境を整えておき、こ
のシミュレーション環境に検証対象のソフトウェアを取
り込み、シミュレーション環境に取り込まれたソフトウ
ェアを実行してモニタするようにしたので、シミュレー
ション結果表示の自由度を高めてシミュレーション内容
を視覚的に認識しやすくすることができ、したがって、
ソフトウェアの検証作業の容易化を図ることができる。
【0044】請求項2記載の発明は、請求項1記載のシ
ミュレーション装置において、実世界の対象物をオブジ
ェクトとして捉えた外部環境コンポーネントを基本構成
単位とし、各外部環境コンポーネント間の関係をネット
ワークにより定義するオブジェクト指向アプローチによ
って外部環境モデルを生成するようにしたので、人間の
実世界の理解に近い表現形態で外部環境モデルを表現す
ることができ、したがって、外部環境モデルの生成作業
を容易にすることができる。
ミュレーション装置において、実世界の対象物をオブジ
ェクトとして捉えた外部環境コンポーネントを基本構成
単位とし、各外部環境コンポーネント間の関係をネット
ワークにより定義するオブジェクト指向アプローチによ
って外部環境モデルを生成するようにしたので、人間の
実世界の理解に近い表現形態で外部環境モデルを表現す
ることができ、したがって、外部環境モデルの生成作業
を容易にすることができる。
【0045】請求項3記載の発明は、請求項2記載のシ
ミュレーション装置において、実世界の対象物の属性及
び各対象物相互の関係を含む抽象外部環境コンポーネン
トを予め複数用意した外部環境コンポーネントデータベ
ースを備え、外部環境モデル作成手段は、検証対象のソ
フトウェアから見て実世界の対象物と対応付けられたメ
ソッドとこのメソッドに対応付けられた抽象外部環境コ
ンポーネントとから外部環境コンポーネントを生成する
ようにしたので、外部環境コンポーネントデータベース
から抽象外部環境コンポーネントを選択するだけで容易
に外部環境コンポーネントを生成することができ、その
生成作業を容易にすることができる。
ミュレーション装置において、実世界の対象物の属性及
び各対象物相互の関係を含む抽象外部環境コンポーネン
トを予め複数用意した外部環境コンポーネントデータベ
ースを備え、外部環境モデル作成手段は、検証対象のソ
フトウェアから見て実世界の対象物と対応付けられたメ
ソッドとこのメソッドに対応付けられた抽象外部環境コ
ンポーネントとから外部環境コンポーネントを生成する
ようにしたので、外部環境コンポーネントデータベース
から抽象外部環境コンポーネントを選択するだけで容易
に外部環境コンポーネントを生成することができ、その
生成作業を容易にすることができる。
【0046】請求項4記載の発明は、請求項3記載のシ
ミュレーション装置において、抽象外部環境コンポーネ
ントが含む実世界の対象物相互の関係定義から見て不足
している抽象外部環境コンポーネントを検出して示唆す
る不足抽象外部環境コンポーネント示唆手段を更に備え
るので、不足している抽象外部環境コンポーネントの示
唆により、外部環境コンポーネントの生成作業をより一
層容易にすることができる。
ミュレーション装置において、抽象外部環境コンポーネ
ントが含む実世界の対象物相互の関係定義から見て不足
している抽象外部環境コンポーネントを検出して示唆す
る不足抽象外部環境コンポーネント示唆手段を更に備え
るので、不足している抽象外部環境コンポーネントの示
唆により、外部環境コンポーネントの生成作業をより一
層容易にすることができる。
【0047】請求項5記載の発明は、請求項2又は3記
載のシミュレーション装置において、外部環境コンポー
ネント相互の関係を定義するネットワーク上で外部環境
コンポーネント相互の関係をトレースして外部環境モデ
ルの正当性を検証する外部環境モデル検証手段を更に備
えるので、外部環境モデルの誤りや不完全さを事前に判
定することができ、したがって、正常なシミュレーショ
ンの実行を支援することができる。
載のシミュレーション装置において、外部環境コンポー
ネント相互の関係を定義するネットワーク上で外部環境
コンポーネント相互の関係をトレースして外部環境モデ
ルの正当性を検証する外部環境モデル検証手段を更に備
えるので、外部環境モデルの誤りや不完全さを事前に判
定することができ、したがって、正常なシミュレーショ
ンの実行を支援することができる。
【0048】請求項6記載の発明は、請求項2記載のシ
ミュレーション装置において、検証対象のソフトウェア
を生成するソフトウェア開発手段を更に備え、このソフ
トウェア開発手段は検証対象のソフトウェアに付加情報
の付与を許容するので、外部環境モデルの作成、この外
部環境モデルに対する検証対象であるソフトウェアの結
合、シミュレーション実行制御に必要な情報等を付加情
報としてソフトウェアに付与することにより、各種作業
の容易化や各種処理効率の向上を図ることができる。
ミュレーション装置において、検証対象のソフトウェア
を生成するソフトウェア開発手段を更に備え、このソフ
トウェア開発手段は検証対象のソフトウェアに付加情報
の付与を許容するので、外部環境モデルの作成、この外
部環境モデルに対する検証対象であるソフトウェアの結
合、シミュレーション実行制御に必要な情報等を付加情
報としてソフトウェアに付与することにより、各種作業
の容易化や各種処理効率の向上を図ることができる。
【0049】請求項7記載の発明は、請求項3及び6記
載のシミュレーション装置において、付加情報を検証対
象のソフトウェアが実世界の対象物にアクセスする部分
を予め指定する情報とし、外部環境モデル作成手段が付
加情報に基づいて実世界の対象物に対応付けられたメソ
ッドを自動生成するようにしたので、外部環境モデルを
部分的に自動生成することができ、したがって、外部環
境モデルの作成効率を向上させることができる。
載のシミュレーション装置において、付加情報を検証対
象のソフトウェアが実世界の対象物にアクセスする部分
を予め指定する情報とし、外部環境モデル作成手段が付
加情報に基づいて実世界の対象物に対応付けられたメソ
ッドを自動生成するようにしたので、外部環境モデルを
部分的に自動生成することができ、したがって、外部環
境モデルの作成効率を向上させることができる。
【0050】請求項8記載の発明は、請求項6記載のシ
ミュレーション装置において、付加情報を検証対象であ
るソフトウェアのシミュレーション動作開始ポイントを
指定する情報とし、シミュレーション実行管理手段が付
加情報に基づくシミュレーション実行処理の選択及び組
合せを許容するようにしたので、付加情報に基づいてシ
ミュレーション実行のシナリオを柔軟に設定することが
でき、したがって、検証対象であるソフトウェアの検証
の効率を向上させることができる。
ミュレーション装置において、付加情報を検証対象であ
るソフトウェアのシミュレーション動作開始ポイントを
指定する情報とし、シミュレーション実行管理手段が付
加情報に基づくシミュレーション実行処理の選択及び組
合せを許容するようにしたので、付加情報に基づいてシ
ミュレーション実行のシナリオを柔軟に設定することが
でき、したがって、検証対象であるソフトウェアの検証
の効率を向上させることができる。
【0051】請求項9記載の発明は、請求項1記載のシ
ミュレーション装置において、ソフトウェア結合手段
は、検証対象のソフトウェア中の処理単位の直前に起動
される事前処理と処理単位の直後に起動される事後処理
として必要処理に関する記述を許容し、検証対象のソフ
トウェアを構文解析してそれらの必要処理の記述を埋め
込む必要がある処理単位を抽出し、抽出された処理単位
の先頭と最後とに必要処理の記述を挿入することで、シ
ミュレーション設定手段によって設定されたシミュレー
ション環境に検証対象のソフトウェアを取り込むように
したので、検証対象のソフトウェアをシミュレーション
実行可能なソフトウェアに自動変換することができる。
ミュレーション装置において、ソフトウェア結合手段
は、検証対象のソフトウェア中の処理単位の直前に起動
される事前処理と処理単位の直後に起動される事後処理
として必要処理に関する記述を許容し、検証対象のソフ
トウェアを構文解析してそれらの必要処理の記述を埋め
込む必要がある処理単位を抽出し、抽出された処理単位
の先頭と最後とに必要処理の記述を挿入することで、シ
ミュレーション設定手段によって設定されたシミュレー
ション環境に検証対象のソフトウェアを取り込むように
したので、検証対象のソフトウェアをシミュレーション
実行可能なソフトウェアに自動変換することができる。
【0052】請求項10記載の発明は、請求項9記載の
シミュレーション装置において、シミュレーション設定
部は、モニタへの表示に関する複数の表示アイテムが格
納された定型表示手続きデータベースを備え、モニタに
表示させたい表示アイテムの選択を許容することにより
シミュレーション実行時のモニタ環境を設定するように
したので、したがって、定型表示手続きデータベースか
らモニタに表示させたい表示アイテムを選択するだけと
いう簡単な作業により、シミュレーション実行時のモニ
タ環境を設定することができる。
シミュレーション装置において、シミュレーション設定
部は、モニタへの表示に関する複数の表示アイテムが格
納された定型表示手続きデータベースを備え、モニタに
表示させたい表示アイテムの選択を許容することにより
シミュレーション実行時のモニタ環境を設定するように
したので、したがって、定型表示手続きデータベースか
らモニタに表示させたい表示アイテムを選択するだけと
いう簡単な作業により、シミュレーション実行時のモニ
タ環境を設定することができる。
【図1】本発明の実施の一形態として、シミュレーショ
ン装置を実現するコンピュータシステムの外観を示す斜
視図である。
ン装置を実現するコンピュータシステムの外観を示す斜
視図である。
【図2】コンピュータシステムにおける各部の電気的接
続を示すブロック図である。
続を示すブロック図である。
【図3】ソフトウェア開発フェイズ、シミュレーション
環境作成フェイズ、及びシミュレーションフェイズの各
フェイズ別に、シミュレーション装置の論理的構造を示
す模式図である。
環境作成フェイズ、及びシミュレーションフェイズの各
フェイズ別に、シミュレーション装置の論理的構造を示
す模式図である。
【図4】ソフトウェア開発フェイズにおいて、検証対象
のソフトウェアの制御プログラム中でハードウェアにア
クセスするメソッドの指定手順と、ソフトウェアの実行
開始点となるメソッドの指定手順とを示す模式図であ
る。
のソフトウェアの制御プログラム中でハードウェアにア
クセスするメソッドの指定手順と、ソフトウェアの実行
開始点となるメソッドの指定手順とを示す模式図であ
る。
【図5】外部環境コンポーネントの自動生成手順とし
て、ハードウェアへのアクセスポイントとして指定され
たメソッドの自動検索手順を示す模式図である。
て、ハードウェアへのアクセスポイントとして指定され
たメソッドの自動検索手順を示す模式図である。
【図6】外部環境コンポーネントの自動生成手順とし
て、外部環境コンポーネントデータベースから抽象外部
環境コンポーネントを呼び出す手順を示す模式図であ
る。
て、外部環境コンポーネントデータベースから抽象外部
環境コンポーネントを呼び出す手順を示す模式図であ
る。
【図7】外部環境コンポーネントの自動生成手順とし
て、外部環境コンポーネント相互のネットワークを生成
するためのリンク手順を示す模式図である。
て、外部環境コンポーネント相互のネットワークを生成
するためのリンク手順を示す模式図である。
【図8】シミュレーション設定手順を示す模式図であ
る。
る。
【図9】ソフトウェア結合手順を示す模式図である。
【図10】モニタの表示例を示す模式図である。
13 モニタ 21 ソフトウェア開発手段 22 外部環境モデル作成手段 23 ソフトウェア結合手段 24 シミュレーション設定手段 25 シミュレーション実行管理手段 26 検証対象のソフトウェア 27 外部環境モデル 28 外部環境コンポーネント 30 抽象外部環境コンポーネント 31 外部環境コンポーネントデータベース 32 シミュレーションモニタ手段 33 アイテム 34 定型表示手続きデータベース M1,M2 付加情報
Claims (11)
- 【請求項1】 実世界の対象物を模擬した外部環境モデ
ルをソフトウェア上で生成する外部環境モデル作成手段
と、 外部環境モデルのシミュレーション実行時の環境を設定
するシミュレーション設定手段と、 このシミュレーション設定手段によって設定されたシミ
ュレーション環境に検証対象のソフトウェアを取り込む
ソフトウェア結合手段と、 このソフトウェア結合手段によってシミュレーション環
境に取り込まれた検証対象のソフトウェア及び外部環境
モデルを実行させてシミュレートし、検証対象のソフト
ウェアを検証するシミュレーション実行管理手段と、 このシミュレーション実行管理手段による外部環境モデ
ルのシミュレートに際して、シミュレーション設定手段
によって設定されたシミュレーション環境に応じた表示
をモニタ上に行うシミュレーションモニタ手段と、を備
えることを特徴とするシミュレーション装置。 - 【請求項2】 外部環境モデル作成手段は、実世界の対
象物をオブジェクトとして捉えた外部環境コンポーネン
トを基本構成単位とし、各外部環境コンポーネント間の
関係をネットワークにより定義するオブジェクト指向ア
プローチによって外部環境モデルを生成することを特徴
とする請求項1記載のシミュレーション装置。 - 【請求項3】 実世界の対象物の属性及び各対象物相互
の関係を含む抽象外部環境コンポーネントを予め複数用
意した外部環境コンポーネントデータベースを備え、外
部環境モデル作成手段は、検証対象のソフトウェアから
見て実世界の対象物と対応付けられたメソッドとこのメ
ソッドに対応付けられた抽象外部環境コンポーネントと
から外部環境コンポーネントを生成することを特徴とす
る請求項2記載のシミュレーション装置。 - 【請求項4】 抽象外部環境コンポーネントが含む実世
界の対象物相互の関係定義から見て不足している抽象外
部環境コンポーネントを検出して示唆する不足抽象外部
環境コンポーネント示唆手段を更に備えることを特徴と
する請求項3記載のシミュレーション装置。 - 【請求項5】 外部環境コンポーネント相互の関係を定
義するネットワーク上で外部環境コンポーネント相互の
関係をトレースして外部環境モデルの正当性を検証する
外部環境モデル検証手段を更に備えることを特徴とする
請求項2又は3記載のシミュレーション装置。 - 【請求項6】 検証対象のソフトウェアを生成するソフ
トウェア開発手段を更に備え、このソフトウェア開発手
段は検証対象のソフトウェアに付加情報の付与を許容す
ることを特徴とする請求項2記載のシミュレーション装
置。 - 【請求項7】 付加情報は、検証対象のソフトウェアが
実世界の対象物にアクセスする部分を予め指定する情報
であり、外部環境モデル作成手段は、付加情報に基づい
て実世界の対象物に対応付けられたメソッドを自動生成
することを特徴とする請求項3及び6記載のシミュレー
ション装置。 - 【請求項8】 付加情報は、検証対象のソフトウェアの
シミュレーション動作開始ポイントを指定する情報であ
り、シミュレーション実行管理手段は、付加情報に基づ
くシミュレーション実行処理の選択及び組合せを許容す
ることを特徴とする請求項6記載のシミュレーション装
置。 - 【請求項9】 ソフトウェア結合手段は、検証対象のソ
フトウェア中の処理単位の直前に起動される事前処理と
処理単位の直後に起動される事後処理として必要処理に
関する記述を許容し、検証対象のソフトウェアを構文解
析してそれらの必要処理の記述を埋め込む必要がある処
理単位を抽出し、抽出された処理単位の先頭と最後とに
必要処理の記述を挿入することで、シミュレーション設
定手段によって設定されたシミュレーション環境に検証
対象のソフトウェアを取り込むことを特徴とする請求項
1記載のシミュレーション装置。 - 【請求項10】 シミュレーション設定部は、モニタへ
の表示に関する複数の表示アイテムが格納された定型表
示手続きデータベースを備え、モニタに表示させたい表
示アイテムの選択を許容することによりシミュレーショ
ン実行時のモニタ環境を設定することを特徴とする請求
項9記載のシミュレーション装置。 - 【請求項11】 オブジェクト指向アプローチによって
ハードウェアを模擬した外部環境モデルをソフトウェア
上で生成する外部環境モデル作成機能と、 外部環境モデルのシミュレーション実行時の環境を設定
するシミュレーション設定機能と、 このシミュレーション設定機能によって設定されたシミ
ュレーション環境に検証対象のソフトウェアを取り込む
ソフトウェア結合機能と、 このソフトウェア結合機能によってシミュレーション環
境に取り込まれた検証対象のソフトウェアを実行させて
外部環境モデルをシミュレートし、検証対象のソフトウ
ェアを検証するシミュレーション実行管理機能と、 このシミュレーション実行管理機能による外部環境モデ
ルのシミュレートに際して、シミュレーション設定機能
によって設定されたシミュレーション環境に応じた表示
をモニタ上に行うシミュレーションモニタ機能と、 をコンピュータに実現させるためのプログラムが記録さ
れていることを特徴とするコンピュータで読み取り可能
な記録媒体。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP9123911A JPH10312314A (ja) | 1997-05-14 | 1997-05-14 | シミュレーション装置及び情報記録媒体 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP9123911A JPH10312314A (ja) | 1997-05-14 | 1997-05-14 | シミュレーション装置及び情報記録媒体 |
Publications (1)
Publication Number | Publication Date |
---|---|
JPH10312314A true JPH10312314A (ja) | 1998-11-24 |
Family
ID=14872402
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP9123911A Pending JPH10312314A (ja) | 1997-05-14 | 1997-05-14 | シミュレーション装置及び情報記録媒体 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPH10312314A (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2005339029A (ja) * | 2004-05-25 | 2005-12-08 | Canon Inc | プログラム連携システム |
JP2007086992A (ja) * | 2005-09-21 | 2007-04-05 | Canon Inc | 設計支援プログラム及び設計支援方法 |
JP2007213256A (ja) * | 2006-02-08 | 2007-08-23 | Fujitsu Ltd | シミュレーション方法及び装置並びにプログラム |
-
1997
- 1997-05-14 JP JP9123911A patent/JPH10312314A/ja active Pending
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2005339029A (ja) * | 2004-05-25 | 2005-12-08 | Canon Inc | プログラム連携システム |
JP2007086992A (ja) * | 2005-09-21 | 2007-04-05 | Canon Inc | 設計支援プログラム及び設計支援方法 |
JP4621100B2 (ja) * | 2005-09-21 | 2011-01-26 | キヤノン株式会社 | 設計支援プログラム |
JP2007213256A (ja) * | 2006-02-08 | 2007-08-23 | Fujitsu Ltd | シミュレーション方法及び装置並びにプログラム |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5295269B2 (ja) | コンポーネント・モデル基盤の仮想ソフトウェア・プラットホームを生成する方法、これを利用してソフトウェア・プラットホーム・アーキテクチャを検証する方法及びその装置 | |
US6385765B1 (en) | Specification and verification for concurrent systems with graphical and textual editors | |
US8839201B2 (en) | Capturing test data associated with error conditions in software item testing | |
US7398514B2 (en) | Test automation stack layering | |
US8001532B1 (en) | System and method for generating source code-based test cases | |
US10067858B2 (en) | Cloud-based software testing | |
US10146672B2 (en) | Method and system for automated user interface (UI) testing through model driven techniques | |
US8839202B2 (en) | Test environment managed within tests | |
US9684587B2 (en) | Test creation with execution | |
US20040123272A1 (en) | Method and system for analysis of software requirements | |
US10860298B2 (en) | Method and system for editing a block diagram model | |
US8949794B2 (en) | Binding a software item to a plain english control name | |
US20140214396A1 (en) | Specification properties creation for a visual model of a system | |
JP2014203314A (ja) | Ecuシミュレーション装置 | |
US10387294B2 (en) | Altering a test | |
JP4140917B2 (ja) | 検証作業支援システム及びその方法 | |
US9292422B2 (en) | Scheduled software item testing | |
Arts et al. | Trace analysis of Erlang programs | |
JP2008293382A (ja) | テスト仕様自動生成方式 | |
JP2008305079A (ja) | 要求仕様自動検証方式 | |
JPH10312314A (ja) | シミュレーション装置及び情報記録媒体 | |
JP2007140954A (ja) | オペレータ擬似システムおよびオペレータ擬似方法 | |
Thompson et al. | An integrated development environment for prototyping safety critical systems | |
GB2397905A (en) | Method for automatically generating and ordering test scripts | |
Wiesmayr et al. | Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications |