特許6093663IP Force 特許公報全文掲載

ホーム > 特許ランキング > エヌ・ティ・ティ・コムウェア株式会社 > 特許6093663

技術分野

検証プログラム、検証装置および検証方法

発明が解決しようとする課題[発明の詳細な説明]から抜粋

しかしながら、従来技術でのシステム間連携の検証は、更新トランザクションにおける全てのルートを網羅して検証者が検証する必要があった。特に可換性に関しては、一つのシステム内の全ての更新トランザクションから任意の二つを取り出して検証するため、更新トランザクションの数の二乗に比例してレビューの作業量が増大するという問題があった。また、データセットや更新ロジックが複雑である場合には、レビューの作業量が膨大になり検証することができないという問題があった。
このように、システム間連携における検証において、更新トランザクションを検証できないという課題があった。 本発明は、の点に鑑みてなされたものであり、システム間連携における検証において更新トランザクションを確実に検証することができる検証プログラム、検証装置および検証方法を提供することを課題とする。

課題を解決するための手段[発明の詳細な説明]から抜粋

（１）本発明は、上述した課題を解決するためになされたもので、本発明の第１の態様は、第１システムと第２システムとのシステム間連携を検証する検証装置のコンピュータに、前記第１システムから前記第２システムへの手続的な複数のトランザクション記述を取得する取得ステップと、検証式と前記取得ステップが取得した前記複数のトランザクション記述とに基づいて冪等性に関する命題および可換性に関する命題を生成する命題・・・　続きを知財ポータルサイト IP Force にログインして見る
【発明の効果】
本発明の検証プログラム、検証装置および検証方法によれば、システム間連携における検証において更新トランザクションを確実に検証することができる。

この発明についての権利主張の範囲[特許請求の範囲]

知財ポータルサイト IP Force にログインして確認する (無料)

この特許公報に記載されている図面[図面の簡単な説明]から抜粋

【図1】本発明の一検証装置を用いて検証可能な検証システムの構成の一例を示す概略図である。

【図2】本発明の一検証装置の構成の一例を示す概略ブロック図である。

【図3】本発明の一変換部の変換処理の一例を示す概略図である。

【図4】本発明の一処理部の検証処理数の一例を示す概略図である。

【図5】本発明の一追加手続要求部が提示する条件分岐ロジックごとの可換性に関する部分命題および条件分岐ロジックごとの冪等性に関する部分命題の一例を示す概略図である。

【図6】本発明の一検証装置の可換性および冪等性の検証処理の一例を示すフローチャートである。

選択図 図1出願人が指定した本件の代表的な図

Ｓ１・・・検証システム、Ｓ２・・・第１システム、Ｓ３・・・第２システム、Ｓ４・・・第３システム、ＤＢ２・・・データベースＡ、ＤＢ３・・・データベースＢ、ＤＢ４・・・データベースＣ、１・・・検証装置、１１・・・取得部（取得ステップ）、１２・・・変換部（変換ステップ）、１３・・・命題生成部（命題生成ステップ）、１４・・・記憶部（記憶ステップ）、１４１・・・検証式記憶部（検証式記憶ステップ）、１４２・・・トランザクション記憶部（トランザクション記憶ステップ）、１４３・・・補題記憶部、１４４・・・制約条件記憶部、１５・・・処理部（処理ステップ）、１５１・・・検証部（検証ステップ、追加検証ステップ）、１５１１・・・簡約部（簡約ステップ）、１５１２・・・排除部（排除ステップ）、１５１３・・・分岐部（分岐ステップ）、１５２・・・解決部（解決ステップ）、１５２１・・・同値判定部（第１判定ステップ）、１５２２・・・矛盾判定部（第２判定ステップ）、１５３・・・追加手続要求部（追加手続要求ステップ）、１６・・・出力部（提示ステップ）、１７・・・入力部（入力ステップ）

全ての図面はログインすると無料で閲覧できます。ログイン・ユーザー登録

［広告欄］

ログインすれば広告は減ります

ログインすれば広告は減ります

Copyright © Science Impact Inc. All Rights Reserved.