特許
J-GLOBAL ID：200903039268287964
仕様検証装置
発明者：
出願人/特許権者：
代理人 (1件)：
鈴江 武彦
公報種別：公開公報
出願番号（国際出願番号）：特願平4-230096
公開番号（公開出願番号）：特開平6-075761
出願日： 1992年08月28日
公開日（公表日）： 1994年03月18日
要約：
【要約】【目的】本発明の目的は仕様検証を合理的に行えるようにすることにある。【構成】代数的記述言語処理系により記述された仕様の検証を行うための装置として、仕様検証を行う対象を記憶すると共に仕様検証処理の履歴及び結果等を記憶する記憶手段2と、仕様検証対象に対する検証項目及び仕様検証対象に対する検証手続きの途中で得られた要対からなる等式の集合Eから等式を一つ選択し、検証項目不成立又は検証失敗又は検証継続かを判定し、継続の場合には項書換え規則及び要対を生成してその要対を集合Eに追加する手続きを繰り返して集合Eが空集合になったなら検証項目の成立とする仕様検証処理を行う検証手段1と、検証手続きが発散するとき記憶手段の前記履歴及び結果等の情報をもとに仕様検証処理の経緯を遡り所望の経緯の時点から前記選択規則に適合する選択した別の条件に合せて検証手段の検証処理を再実行させる検証後戻り手段3とより構成した。
請求項（抜粋）：
代数的記述言語処理系により記述されたソフトウェア仕様の仕様検証を行うための検証装置として、等式論理に基づく仕様検証処理を実施する仕様検証手段と、仕様検証対象、仕様検証処理の際に使用する等式及び仕様検証処理の履歴情報を記憶する記憶手段と、仕様検証処理が終結しない場合に、仕様検証処理の経緯を遡り、条件を変えて途中段階から仕様検証処理をやり直すべく仕様検証手段を制御する検証後戻り手段と、を具備して構成したことを特徴とする仕様検証装置。
IPC (3件)：
G06F 9/06 430
, G06F 9/45
, G06F 11/28 340
