Some content of this application is unavailable at the moment.
If this situation persist, please contact us atFeedback&Contact
1. (WO2018123065) PROGRAM ANALYSIS SYSTEM, PROGRAM ANALYZER, PROGRAM ANALYSIS METHOD, AND ANALYSIS PROGRAM
Latest bibliographic data on file with the International Bureau    Submit observation

Pub. No.: WO/2018/123065 International Application No.: PCT/JP2016/089210
Publication Date: 05.07.2018 International Filing Date: 29.12.2016
IPC:
G06F 11/36 (2006.01)
G PHYSICS
06
COMPUTING; CALCULATING; COUNTING
F
ELECTRIC DIGITAL DATA PROCESSING
11
Error detection; Error correction; Monitoring
36
Preventing errors by testing or debugging of software
Applicants:
三菱電機株式会社 MITSUBISHI ELECTRIC CORPORATION [JP/JP]; 東京都千代田区丸の内二丁目7番3号 7-3, Marunouchi 2-chome, Chiyoda-ku, Tokyo 1008310, JP
Inventors:
藤本 卓也 FUJIMOTO, Takanari; JP
浅川 忠隆 ASAKAWA, Tadataka; JP
Agent:
溝井国際特許業務法人 MIZOI INTERNATIONAL PATENT FIRM; 神奈川県鎌倉市大船二丁目17番10号3階 3rd floor, 17-10, Ofuna 2-chome, Kamakura-shi, Kanagawa 2470056, JP
Priority Data:
Title (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) プログラム解析システム、プログラム解析装置、プログラム解析方法および解析プログラム
Abstract:
(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
Designated States: 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
African Regional Intellectual Property Organization (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Office (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (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)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Publication Language: Japanese (JA)
Filing Language: Japanese (JA)