特許
J-GLOBAL ID：201503011171989740
プログラム分析装置及び方法及びプログラム
発明者：
,
,
,
,
,
,
出願人/特許権者：
,
代理人 (3件)：
伊東 忠重
, 伊東 忠彦
, 石原 隆治
公報種別：公開公報
出願番号（国際出願番号）：特願2014-099558
公開番号（公開出願番号）：特開2015-215834
出願日： 2014年05月13日
公開日（公表日）： 2015年12月03日
要約：
【課題】 実際に動作させた機能の他に、実装されているが動作させていない機能に対応するソースコード上での実装箇所の指定を可能にする。【解決手段】 本発明は、プログラムをシナリオにより実行した実行トレース情報を取得し、実行トレース記憶手段に格納し、実行トレース情報を用いて第1形式文脈を作成し、形式概念分析処理により概念束を生成し、概念束に含まれる各概念から、実行トレース情報を参照して、実行されなかったが呼び出し依存関係が存在し実行される可能性のあった到達可能モジュール群を特定し、到達可能モジュール群を形式文脈記憶手段に追加することにより第1形式文脈を含む第2形式文脈を作成し、第2形式文脈を用いて、再度、形式概念分析を実行させ、概念束を得る。【選択図】 図1
請求項（抜粋）：
プログラムを起動するシナリオを実行し、該プログラムを分析するプログラム分析装置であって、
前記プログラムを前記シナリオにより実行した実行トレース情報を取得し、実行トレース記憶手段に格納する実行トレース取得手段と、
前記シナリオをオブジェクトとし、前記プログラムの機能で実施されるモジュールを属性として、前記実行トレース情報を用いて第1形式文脈を作成し、形式文脈記憶手段に格納する第1形式文脈作成手段と、
前記形式文脈記憶手段の前記第1形式文脈を読み出して、形式概念分析処理により第1概念束を生成して第1概念束記憶手段に格納する形式概念分析手段と、
前記第1概念束記憶手段から前記第1概念束を読み出し、該第1概念束に含まれる各概念から、前記実行トレース記憶手段の前記実行トレース情報を参照して、実行されなかったが呼び出し依存関係が存在し実行される可能性のあった到達可能モジュール群を特定し、可到達モジュール記憶手段に格納する可到達モジュール抽出手段と、
前記可到達モジュール記憶手段の前記到達可能モジュール群を前記形式文脈記憶手段に追加することにより前記第1形式文脈を含む第2形式文脈を作成する第2形式文脈作成手段と、
前記形式文脈記憶手段に格納された前記第2形式文脈を用いて、再度、前記形式概念分析手段に形式概念分析を実行させ、得られた第2概念束を第2概念束記憶手段に格納する手段と、
を有することを特徴とするプログラム分析装置。
IPC (3件)：
G06F 9/44
, G06F 11/36
, G06F 11/28
G06F9/06 620K
, G06F9/06 620P
, G06F11/28 310D
5B042HH30
, 5B376AA39
, 5B376BC38
, 5B376BC61
, 5B376DA22
