PROGRAM ANALYSIS/VERIFICATION SERVICE PROVISION SYSTEM, CONTROL METHOD FOR SAME, CONTROL PROGRAM, CONTROL PROGRAM FOR DIRECTING COMPUTER TO FUNCTION, PROGRAM ANALYSIS/VERIFICATION DEVICE, PROGRAM ANALYSIS/VERIFICATION TOOL MANAGEMENT DEVICE
外国特許コード | F130007393 |
---|---|
整理番号 | AF10-02WO |
掲載日 | 2013年6月11日 |
出願国 | 世界知的所有権機関(WIPO) |
国際出願番号 | 2012JP079304 |
国際公開番号 | WO 2013/073504 |
国際出願日 | 平成24年11月12日(2012.11.12) |
国際公開日 | 平成25年5月23日(2013.5.23) |
優先権データ |
|
発明の名称 (英語) | PROGRAM ANALYSIS/VERIFICATION SERVICE PROVISION SYSTEM, CONTROL METHOD FOR SAME, CONTROL PROGRAM, CONTROL PROGRAM FOR DIRECTING COMPUTER TO FUNCTION, PROGRAM ANALYSIS/VERIFICATION DEVICE, PROGRAM ANALYSIS/VERIFICATION TOOL MANAGEMENT DEVICE |
発明の概要(英語) |
This program analysis/verification service provision system (1) is provided with: a tool registration/search unit (313) which extracts a virtual machine (T), in which a program analysis/verification tool which is used for analysis and verification of a program (P) has been introduced and set, from a plurality of program analysis/verification tools (virtual machines) stored in a tool storage unit (320) and a virtual machine execution environment unit (120) which uses the extracted virtual machine (T) to analyze and verify the program (P). |
|
|
|
|
国際特許分類(IPC) |
|
参考情報 (研究プロジェクト等) | CREST Dependable Operating Systems for Embedded Systems Aiming at Practical Applications AREA |
日本語項目の表示
発明の名称 | プログラム解析・検証サービス提供システム、その制御方法、制御プログラム、コンピュータを機能させるための制御プログラム、プログラム解析・検証装置、プログラム解析・検証ツール管理装置 |
---|
『 PROGRAM ANALYSIS/VERIFICATION SERVICE PROVISION SYSTEM, CONTROL METHOD FOR SAME, CONTROL PROGRAM, CONTROL PROGRAM FOR DIRECTING COMPUTER TO FUNCTION, PROGRAM ANALYSIS/VERIFICATION DEVICE, PROGRAM ANALYSIS/VERIFICATION TOOL MANAGEMENT DEVICE 』に関するお問合せ
- 国立研究開発法人科学技術振興機構(JST) 知的財産マネジメント推進部
- URL: http://www.jst.go.jp/chizai/
-
E-mail:
- Address: 〒102-8666 東京都千代田区四番町5-3
- TEL: 03-5214-8486
- FAX: 03-5214-8417