検証システム

開放特許情報番号
L2007005473
開放特許情報登録日
2007/9/14
最新更新日
2009/3/6

基本情報

出願番号 特願2007-170616
出願日 2007/6/28
出願人 独立行政法人産業技術総合研究所
公開番号 特開2009-009384
公開日 2009/1/15
発明の名称 検証システム
技術分野 情報・通信
機能 制御・ソフトウェア
適用製品 検証システム
目的 この技術は、処理手順データに含まれる各エビデンスが、処理手順データによって示される処理手順と整合的であるかを検証するための検証システムに関し、エビデンスが整合的であるか否かを効率的に判断することのできるシステムの提供を目的とする。
効果 部分グラフに分離して整合性チェックを行うことができ、迅速かつ正確な判断が可能となる。
技術概要
この技術の検証システムは、アクションとフローを備えた処理手順データにおいて、アクションによって処理される処理対象の状態変化が、処理手順データによって示される処理手順と整合的であるかを検証するためのものである。 検証システムは、記録部、部分グラフ抽出手段、部分グラフ判断手段、判断結果出力手段を備えている。 記録部は、処理手順データを記録する。 部分グラフ抽出手段は、処理手順データ中の判断アクションに基づいて、開始から終了までの流れを部分グラフデータとして複数抽出する。 部分グラフ判断手段は、抽出した各部分グラフデータ毎に、各アクションにおける処理対象の状態変化が、フローとの関係において整合的であるかを判断する。 判断結果出力手段は、部分グラフ判断手段の判断結果に基づいて、処理対象の状態変化が処理手順データによって示される処理手順と整合的であるか否かを出力する。
イメージ図
実施実績 【無】   
許諾実績 【無】   
特許権譲渡 【否】
特許権実施許諾 【可】

登録者情報

その他の情報

関連特許
国内 【無】
国外 【無】   
Copyright © 2018 INPIT