このアプリケーションの一部のコンテンツは現時点では利用できません。
このような状況が続く場合は、にお問い合わせくださいフィードバック & お問い合わせ
1. (WO2018123065) プログラム解析システム、プログラム解析装置、プログラム解析方法および解析プログラム
国際事務局に記録されている最新の書誌情報    第三者情報を提供

国際公開番号: WO/2018/123065 国際出願番号: PCT/JP2016/089210
国際公開日: 05.07.2018 国際出願日: 29.12.2016
IPC:
G06F 11/36 (2006.01)
G 物理学
06
計算;計数
F
電気的デジタルデータ処理
11
エラー検出;エラー訂正;監視
36
ソフトウェアを検査またはデバッグすることによるエラー防止
出願人:
三菱電機株式会社 MITSUBISHI ELECTRIC CORPORATION [JP/JP]; 東京都千代田区丸の内二丁目7番3号 7-3, Marunouchi 2-chome, Chiyoda-ku, Tokyo 1008310, JP
発明者:
藤本 卓也 FUJIMOTO, Takanari; JP
浅川 忠隆 ASAKAWA, Tadataka; JP
代理人:
溝井国際特許業務法人 MIZOI INTERNATIONAL PATENT FIRM; 神奈川県鎌倉市大船二丁目17番10号3階 3rd floor, 17-10, Ofuna 2-chome, Kamakura-shi, Kanagawa 2470056, JP
優先権情報:
発明の名称: (EN) PROGRAM ANALYSIS SYSTEM, PROGRAM ANALYZER, PROGRAM ANALYSIS METHOD, AND ANALYSIS PROGRAM
(FR) SYSTÈME D'ANALYSE DE PROGRAMME, ANALYSEUR DE PROGRAMME, PROCÉDÉ D'ANALYSE DE PROGRAMME ET PROGRAMME D'ANALYSE
(JA) プログラム解析システム、プログラム解析装置、プログラム解析方法および解析プログラム
要約:
(EN) In a program analysis system (500), a first execution device (201) and a second execution device (202) execute a first program (211) and a second program (212) in parallel while communicating with each other. A program analyzer (100) is provided with a collection unit (120) for collecting transmission information that represents communication performed by the first execution device (201) in accordance with a transmission function and reception information that represents communication performed by the second execution device (202) in accordance with a reception function. The program analyzer (100) is also provided with an inspection unit (130) for checking, using the transmission information and reception information, whether or not there is a misdetected alarm in the alarms included in an analysis result obtained by analyzing the source code of each of the first program (211) and the second program (212) by an analysis tool (110).
(FR) Selon l'invention, un système d'analyse de programme (500), un premier dispositif d'exécution (201) et un second dispositif d'exécution (202) exécutent un premier programme (211) et un second programme (212) en parallèle tout en communiquant l'un avec l'autre. Un analyseur de programme (100) est pourvu d'une unité de collecte (120) pour collecter des informations de transmission qui représentent une communication effectuée par le premier dispositif d'exécution (201) conformément à une fonction de transmission et des informations de réception qui représentent une communication effectuée par le second dispositif d'exécution (202) conformément à une fonction de réception. L'analyseur de programme (100) est également pourvu d'une unité d'inspection (130) pour vérifier, à l'aide des informations de transmission et des informations de réception, s'il existe ou non une alarme détectée par erreur dans les alarmes incluses dans un résultat d'analyse obtenu par analyse du code source du premier programme (211) et du second programme (212) par un outil d'analyse (110).
(JA) プログラム解析システム(500)では、第1の実行装置(201)と第2の実行装置(202)とが通信しながら第1のプログラム(211)と第2のプログラム(212)とを並行して実行する。また、プログラム解析装置(100)は、第1の実行装置(201)が送信関数に従って行った通信を表す送信情報と、第2の実行装置(202)が受信関数に従って行った通信を表す受信情報とを収集する収集部(120)を備える。また、プログラム解析装置(100)は、送信情報と受信情報とを用いて、第1のプログラム(211)と第2のプログラム(212)との各々のソースコードを解析ツール(110)により解析して得られた解析結果に含まれる警告に、誤検出された警告があるか否かを検査する検査部(130)を備える。
front page image
指定国: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
アフリカ広域知的所有権機関(ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
ユーラシア特許庁(EAPO) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
欧州特許庁(EPO) (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
アフリカ知的所有権機関(OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
国際公開言語: 日本語 (JA)
国際出願言語: 日本語 (JA)