| 摘要 |
本発明の目的は、モデル検査において、モデル応答時間などの性能を検証するときに、検証式として特定の値の制約を与えずに、とりうる性能の値の集合を効率よく求められる性能シミュレーションとして利用可能な方法を提供する。対象システムのモデル検査に基づく性能シミュレーションを行う性能モデル検査装置は、対象モデルの特定処理に応答時間計算式を追加したシミュレーション用モデルに変換するモデル変換処理部と、モデル変換処理部で変換されたシミュレーション用モデルと処理完了条件式を用いてモデル検査ツールを実行するモデル検査実行部と、シミュレーション用モデルのモデル検査実行時に出力される応答時間情報の統計処理を行い、出力する性能情報統計処理部を備える。 |
