特許ウォッチ

公開番号2025086679
公報種別公開特許公報(A)
公開日2025-06-09
出願番号2023200849
出願日2023-11-28
発明の名称情報処理装置
出願人株式会社日立製作所
代理人弁理士法人一色国際特許事務所
主分類G06F 11/36 20060101AFI20250602BHJP(計算;計数)
要約【課題】プログラムが、満たすべき特性を満たしていない出力を出力し得る場合に、そのような出力に対応する入力を容易に特定することが可能な情報処理装置を提供する。
【解決手段】所定のプログラムが実行される際の入力と、データベースを介して得られる前記入力に対応する出力との関係を示す第1条件と、前記プログラムに含まれる複数の実行経路のうち前記入力及び前記出力を得るための実行経路に関する第2条件と、前記出力が満たすべき特性に関する第3条件と、を保持する記憶装置と、前記第1～第3条件に基づいて、前記特性を満たさない出力に対応する入力の有無の判定をする処理と、前記判定の結果が有である場合に、前記特性を満たさない出力に対応する入力の少なくとも一つを出力する処理と、を実行する演算装置と、を備える、情報処理装置。
【選択図】図5
特許請求の範囲【請求項１】
所定のプログラムが実行される際の入力と、データベースを介して得られる前記入力に対応する出力との関係を示す第１条件と、前記プログラムに含まれる複数の実行経路のうち前記入力及び前記出力を得るための実行経路に関する第２条件と、前記出力が満たすべき特性に関する第３条件と、を保持する記憶装置と、
前記第１～第３条件に基づいて、前記特性を満たさない出力に対応する入力の有無の判定をする処理と、
前記判定の結果が有である場合に、前記特性を満たさない出力に対応する入力の少なくとも一つを出力する処理と、
を実行する演算装置と、を備える、
情報処理装置。
続きを表示（約 1,000 文字）【請求項２】
請求項１に記載の情報処理装置であって、
前記第１条件は、
前記入力に基づいて前記データベースを更新した際の第１の過程と、更新された前記データベースから得られる前記入力に対応する前記出力を出力する際の第２の過程と、を含む条件であり、
前記演算装置は、
前記第１条件を、演算子及び被演算子を含む複数のノードと、前記複数のノードのうち２つのノード間を繋ぐエッジとによって表現され、前記第１の過程を示す第１計算グラフと、前記第２の過程を示す第２計算グラフとを、所定の表示部に表示させる処理を実行する、
情報処理装置。
【請求項３】
請求項２に記載の情報処理装置であって、
前記演算装置は、
前記第１計算グラフと、前記第２計算グラフとを結合した計算グラフを、前記表示部に表示させる処理を実行する、
情報処理装置。
【請求項４】
請求項２に記載の情報処理装置であって、
前記演算装置は、
前記プログラムのソースコードを静的解析し、前記複数のノードのそれぞれに対応する演算子又は被演算子を抽出することにより前記第１及び第２計算グラフを生成する処理と、
前記プログラムのソースコードを静的解析し、前記所定の実行経路の処理が実行される条件を抽出することにより前記第２条件を生成する処理と、を実行する、
情報処理装置。
【請求項５】
請求項４に記載の情報処理装置であって、
前記演算装置は、
前記プログラムのソースコードを静的解析し、
前記データベースを更新するための命令を抽出することにより、前記第１計算グラフの更新された前記データベースのデータに対応するノードを生成する処理と、
前記データベースからデータを読み取るための命令を抽出することにより、前記第２計算グラフの読み取られるデータベースのデータに対応するノードを生成する処理と、を実行する、
情報処理装置。
【請求項６】
請求項１～５のいずれか一に記載の情報処理装置であって、
前記演算装置は、
前記第１条件を真とする論理式と、前記第２条件を真とする論理式と、前記第３条件を偽とする論理式と、の論理積が真となり得るか否かを、充足可能性問題を解くことにより前記判定をする処理を実行する、
情報処理装置。

発明の詳細な説明【技術分野】
【０００１】
本発明は、情報処理装置に関する。
続きを表示（約 1,600 文字）【背景技術】
【０００２】
特許文献１には、プログラムの識別情報と、データの識別情報とを行列状に並べた表形式のアクセス一覧表を生成することにより、プログラムとデータとの間のアクセス関係を容易に特定することが可能な技術が開示されている。
【先行技術文献】
【特許文献】
【０００３】
特開第２０１９－２１５６８６号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
しかしながら、特許文献１に開示された技術では、プログラムとデータとの間のアクセス関係を特定することはできるが、プログラムが実行される際の入力と、データを介して得られるプログラムの出力との関係を特定することはできない。
【０００５】
このような場合、仮にプログラムが、満たすべき特性を満たしていない出力を出力し得る場合に、そのような出力に対応する入力を特定することできない。従って、プログラムにそのような入力が入力された際の対処を検討することができない場合がある。
【０００６】
本発明はこのような課題を鑑みてなされたものであり、プログラムが、満たすべき特性を満たしていない出力を出力し得る場合に、そのような出力に対応する入力を容易に特定することが可能な情報処理装置を提供することを目的とする。
【課題を解決するための手段】
【０００７】
上記目的を達成するための一の発明は、所定のプログラムが実行される際の入力と、データベースを介して得られる前記入力に対応する出力との関係を示す第１条件と、前記プログラムに含まれる複数の実行経路のうち前記入力及び前記出力を得るための実行経路に関する第２条件と、前記出力が満たすべき特性に関する第３条件と、を保持する記憶装置と、前記第１～第３条件に基づいて、前記特性を満たさない出力に対応する入力の有無の判定をする処理と、前記判定の結果が有である場合に、前記特性を満たさない出力に対応する入力の少なくとも一つを出力する処理と、を実行する演算装置と、を備える、情報処理装置である。本発明の他の特徴については、本明細書の記載により明らかにする。
【発明の効果】
【０００８】
本発明によれば、プログラムが、満たすべき特性を満たしていない出力を出力し得る場合に、そのような出力に対応する入力を容易に特定することが可能となる。
【図面の簡単な説明】
【０００９】
情報処理装置１０においてプロパティベーステストの対象となるプログラムＰの処理の概要について説明する図である。
画面Ａを説明する図である。
画面Ｂを説明する図である。
情報処理装置１０のハードウェア構成を説明する図である。
情報処理装置１０の機能ブロックと、出力装置１０４とを説明する図である。
計算グラフＧ１の一例を説明する図である。
計算グラフＧ２の一例を説明する図である。
プログラムＰ１のソースコードを示す図である。
プログラムＰ１が実行する処理をフローチャートで表現した図である。
プログラムＰ１のソースコードに対して静的解析を実行した結果を示す図である。
計算グラフの生成を説明するための図である。
計算グラフＧ３を説明する図である。
情報処理装置１０を用いたプロパティベーステストの際の操作画面を説明する図である。
【発明を実施するための形態】
【００１０】
＝＝実施形態＝＝
＜＜プロパティベーステスト＞＞
後述する本実施形態の情報処理装置１０は、プログラムに対して所謂プロパティベーステストを実行する装置である。プロパティベーステストは、テスト対象のプログラムが、満たすべき特性（プロパティ）を満たす出力を出力するか否かを検証するテストである。
（【００１１】以降は省略されています）

関連特許