プログラム解析・検証サービス提供システム、その制御方法、制御プログラム、コンピュータを機能させるための制御プログラム、プログラム解析・検証装置、プログラム解析・検証ツール管理装置

開放特許情報番号
L2015000166
開放特許情報登録日
2015/2/9
最新更新日
2015/10/2

基本情報

出願番号 特願2013-544261
出願日 2012/11/12
出願人 独立行政法人科学技術振興機構
公開番号 WO2013/073504
公開日 2013/5/23
登録番号 特許第5540160号
特許権者 国立研究開発法人科学技術振興機構
発明の名称 プログラム解析・検証サービス提供システム、その制御方法、制御プログラム、コンピュータを機能させるための制御プログラム、プログラム解析・検証装置、プログラム解析・検証ツール管理装置
技術分野 情報・通信
機能 機械・部品の製造、制御・ソフトウェア
適用製品 プログラム解析・検証サービス提供システム
目的 複数のプログラム解析・検証ツールから用いるべきものを適切に選択して、プログラムの解析・検証を容易に実行できるプログラム解析・検証サービス提供システム等を実現する。
効果 本発明によれば、複数のプログラム解析・検証ツールから用いるべきものを適切に選択して、プログラムの解析・検証を容易に実行でき、従来のプログラム解析・検証技術の実用化上の種々の問題点を解決できる。
複数の利用者でツール実行システムを共有するため、余剰の計算資源を融通し合うことができ、解析・検証のコストを抑えられるとともに、実行可能な解析・検証の種類や規模の制限が緩和される。
また、個々の利用者が導入・維持管理を行う必要がなく、複数のプログラム解析・検証ツールの中から適切なものを選択することが容易になる。
技術概要
対象プログラムをプログラム解析・検証ツールを用いて解析、検証するプログラム解析・検証サービス提供システムであって、
対象プログラムを取得する対象プログラム取得手段と、
複数のプログラム解析・検証ツールを格納したツール記憶部と、
上記対象プログラム取得手段が取得した対象プログラムの解析、検証に用いるプログラム解析・検証ツールを、上記ツール記憶部に格納された複数のプログラム解析・検証ツールから抽出するツール抽出手段と、
上記ツール抽出手段が抽出したプログラム解析・検証ツールを上記ツール記憶部から取得するツール取得手段と、
上記ツール取得手段が取得した各プログラム解析・検証ツールを用いて、上記対象プログラム取得手段が取得した対象プログラムを解析、検証するツール実行手段と、を備えることを特徴とするプログラム解析・検証サービス提供システム。
実施実績 【無】   
許諾実績 【無】   
特許権譲渡 【否】
特許権実施許諾 【可】

アピール情報

登録者情報

登録者名称 国立研究開発法人科学技術振興機構

その他の情報

関連特許
国内 【無】
国外 【無】   
Copyright © 2017 INPIT