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