松尾昭彦 さんに関する公開一覧

一部、同姓同名の別人の方の出願情報が表示される場合がございます。ご了承くださいませ。

  1. 【課題】修正後のプログラムに対して業務ルールを適切に作成可能にすること。【解決手段】記憶部11は、第1のプログラムP1の修正後の第2のプログラムP2であって、第1のプログラムP1に対応する第1の業務ルール表T1との齟齬が発生している第2のプログラムP2と、業務用語の定義ルールR1を示す情報を記憶する。処理部12は、第2のプログラムP2における条件文に関する分岐条件と分...

    プログラム解析方法、プログラム解析装置およびプログラム解析プログラム

  2. 【課題】複数の業務によりアクセスされるデータを対象のシステムから適切に分離可能にすること。【解決手段】処理部1bは、対象のシステム2の第1のプログラムにアクセスされる第1のデータと、システム2の第2のプログラムにアクセスされる第2のデータとを特定する。処理部1bは、第1のプログラムおよび第2のプログラムの両方にアクセスされるデータを、複数の業務から参照される、または、...

    分離方法、分離装置および分離プログラム

  3. 【課題】シンボリック実行結果の解釈の向上を図る。【解決手段】情報処理装置1は、プログラムを、シンボリック実行を用いて分析する場合に、プログラムから順次命令文を抽出し、抽出された命令文が変数を更新する更新文である場合に、更新文に含まれる、変数の変数名及び変数を更新する値の意味を示す定数名の関係を定数管理表22に記録する。情報処理装置1は、命令文がパスを分岐する分岐文であ...

    情報処理装置、分析プログラムおよび分析方法

  4. 【課題】ソフトウェアの機能を実現する構成要素の集合を抽出可能にすること。【解決手段】分析装置100は、ソフトウェアSWの構成要素群の構成要素間の依存関係に基づいて、ソフトウェアSWの構成要素群を複数のクラスタに分割する。分析装置100は、分割した複数のクラスタのいずれかのクラスタの意味的凝集度が、予め設定された条件を満たさない場合、当該クラスタに含まれる構成要素群を複...

    分析方法、分析装置および分析プログラム

  5. 【課題】条件式を簡約化する際に長大化することを抑制できる。【解決手段】条件式簡約化装置20は、連言形式の対象条件式に基づいて、原子条件式を等式条件とする選言形式の条件式のリストを取得する。選言形式の条件式のリストに基づいて、選言形式の条件に含まれる各変数の代入値を取得し、代入値のリストを生成する。生成された代入値のリストに基づいて、代入値毎に、代入値を対象条件式に代入...

    条件式簡約化装置、プログラム、及び方法