ソフトウェア動作仕様のモデル検査支援装置およびこれを備えたモデル検査システム並びにモデル検査支援プログラム

発明者： , , ,
出願人/特許権者： ,
代理人 (1件)：特許業務法人池内・佐藤アンドパートナーズ
公報種別：公開公報
出願番号（国際出願番号）：特願2005-190293
公開番号（公開出願番号）：特開2007-011605
出願日： 2005年06月29日
公開日（公表日）： 2007年01月18日
要約：

【課題】モデル記述言語の習得を必要とせずに、動作仕様からモデル検査プログラムを生成でき、より好ましくは、検証済みの動作仕様に応じたソフトウェアを自動的に生成することも可能なモデル検査支援装置を提供する。【解決手段】モデル検査支援装置は、ソフトウェアの動作仕様を、変数の状態遷移関係で表した論理記述として入力する仕様入力部3と、モデル検査プログラムの雛型を格納したモデル記述言語辞書6と、仕様入力部3へ入力された論理記述から前記動作仕様の論理構造を抽出し、抽出された論理構造とモデル記述言語辞書6の雛型とを用いて、モデル検査プログラムを作成する翻訳部4とを備え、翻訳部4で作成されたモデル検査プログラムをモデル検査器10へ出力する。【選択図】図1

請求項（抜粋）：

ソフトウェアの動作仕様を、変数の状態遷移関係で表した論理記述として入力する仕様入力部と、モデル検査プログラムの雛型を格納したモデル記述言語辞書記憶部と、前記仕様入力部へ入力された論理記述から前記動作仕様の論理構造を抽出し、抽出された論理構造と前記モデル記述言語辞書記憶部の前記雛型とを用いて、モデル検査プログラムを作成する翻訳部とを備えたことを特徴とする、ソフトウェア動作仕様のモデル検査支援装置。

IPC (1件)：

G06F 11/36

FI (1件)：

G06F9/06 620M

Fターム (14件)：

5B076DA01 , 5B076DA08 , 5B076DB01 , 5B076DB04 , 5B076DD04 , 5B076DE01 , 5B076DE03 , 5B176DA01 , 5B176DA08 , 5B176DB01 , 5B176DB04 , 5B176DD04 , 5B176DE01 , 5B176DE03

引用特許：

出願人引用 (1件)

論理装置の検証方法、論理装置の検証装置、及び記録媒体
公報種別：公開公報出願番号：特願平10-001364 出願人：富士通株式会社

審査官引用 (6件)

テスト支援装置
公報種別：公開公報出願番号：特願平8-154231 出願人：三菱電機株式会社
ソフトウエア開発用のプログラム実行装置とプログラム実行方法
公報種別：公開公報出願番号：特願平8-245040 出願人：株式会社東芝
システム設計仕様を規定する装置
公報種別：公開公報出願番号：特願平9-213791 出願人：ルーセントテクノロジーズインコーポレイテッド

全件表示

前のページに戻る