適用製品
プログラム解析・検証サービス提供システム
目的
複数のプログラム解析・検証ツールから用いるべきものを適切に選択して、プログラムの解析・検証を容易に実行できるプログラム解析・検証サービス提供システム等を実現する。
効果
本発明によれば、複数のプログラム解析・検証ツールから用いるべきものを適切に選択して、プログラムの解析・検証を容易に実行でき、従来のプログラム解析・検証技術の実用化上の種々の問題点を解決できる。
複数の利用者でツール実行システムを共有するため、余剰の計算資源を融通し合うことができ、解析・検証のコストを抑えられるとともに、実行可能な解析・検証の種類や規模の制限が緩和される。
また、個々の利用者が導入・維持管理を行う必要がなく、複数のプログラム解析・検証ツールの中から適切なものを選択することが容易になる。
技術概要
対象プログラムをプログラム解析・検証ツールを用いて解析、検証するプログラム解析・検証サービス提供システムであって、
対象プログラムを取得する対象プログラム取得手段と、
複数のプログラム解析・検証ツールを格納したツール記憶部と、
上記対象プログラム取得手段が取得した対象プログラムの解析、検証に用いるプログラム解析・検証ツールを、上記ツール記憶部に格納された複数のプログラム解析・検証ツールから抽出するツール抽出手段と、
上記ツール抽出手段が抽出したプログラム解析・検証ツールを上記ツール記憶部から取得するツール取得手段と、
上記ツール取得手段が取得した各プログラム解析・検証ツールを用いて、上記対象プログラム取得手段が取得した対象プログラムを解析、検証するツール実行手段と、を備えることを特徴とするプログラム解析・検証サービス提供システム。
基本情報
開放特許情報
)
登録者情報
その他の情報
