WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2018123065) SYSTÈME D'ANALYSE DE PROGRAMME, ANALYSEUR DE PROGRAMME, PROCÉDÉ D'ANALYSE DE PROGRAMME ET PROGRAMME D'ANALYSE
Dernières données bibliographiques dont dispose le Bureau international    Formuler une observation

N° de publication : WO/2018/123065 N° de la demande internationale : PCT/JP2016/089210
Date de publication : 05.07.2018 Date de dépôt international : 29.12.2016
CIB :
G06F 11/36 (2006.01)
Déposants : MITSUBISHI ELECTRIC CORPORATION[JP/JP]; 7-3, Marunouchi 2-chome, Chiyoda-ku, Tokyo 1008310, JP
Inventeurs : FUJIMOTO, Takanari; JP
ASAKAWA, Tadataka; JP
Mandataire : MIZOI INTERNATIONAL PATENT FIRM; 3rd floor, 17-10, Ofuna 2-chome, Kamakura-shi, Kanagawa 2470056, JP
Données relatives à la priorité :
Titre (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) プログラム解析システム、プログラム解析装置、プログラム解析方法および解析プログラム
Abrégé : front page image
(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)を備える。
États désignés : 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
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (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)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : japonais (JA)
Langue de dépôt : japonais (JA)