Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2016189721) DISPOSITIF, PROCÉDÉ ET PROGRAMME D'ÉVALUATION DE CODE SOURCE
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication : WO/2016/189721 N° de la demande internationale : PCT/JP2015/065354
Date de publication : 01.12.2016 Date de dépôt international : 28.05.2015
CIB :
G06F 9/44 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
9
Dispositions pour la commande par programme, p.ex. unité de commande
06
utilisant un programme emmagasiné, c. à. d. utilisant une unité de stockage interne de l'équipement de traitement de données pour recevoir et conserver le programme
44
Dispositions pour exécuter des programmes spécifiques
Déposants :
三菱電機株式会社 MITSUBISHI ELECTRIC CORPORATION [JP/JP]; 東京都千代田区丸の内二丁目7番3号 7-3, Marunouchi 2-chome,Chiyoda-ku, Tokyo 1008310, JP
Inventeurs :
塚本 良太 TSUKAMOTO, Ryota; JP
田村 孝之 TAMURA, Takayuki; JP
原田 雅史 HARADA, Masafumi; JP
Mandataire :
溝井 章司 MIZOI, Shoji; JP
Données relatives à la priorité :
Titre (EN) SOURCE CODE EVALUATION DEVICE, SOURCE CODE EVALUATION METHOD, AND SOURCE CODE EVALUATION PROGRAM
(FR) DISPOSITIF, PROCÉDÉ ET PROGRAMME D'ÉVALUATION DE CODE SOURCE
(JA) ソースコード評価装置及びソースコード評価方法及びソースコード評価プログラム
Abrégé :
(EN) An association scope extraction unit (300) extracts, from post-change source code (102), as a second association scope, a code block which is the same as any code block of pre-change source code (101) and which corresponds to a portion which is changed from the pre-change source code, and extracts, from the pre—change source code, as a first association scope, the same code block as the second association scope. A symbolic execution unit (402) carries out a symbolic execution of the first association scope and the second association scope. When an operation appears in the symbolic execution of the first association scope which is upon an element which is outside the first association scope, a recording unit (404) records an identification value of the operation upon the element which is outside the first association scope, and when an operation appears in the symbolic execution of the second association scope which is upon an element which is outside the second association scope, records an identification value of the operation upon the element which is outside the second association scope. A comparison unit (403) compares the recorded sequence of the identification values in the symbolic execution of the first association scope and the recorded sequence of the identification values in the symbolic execution of the second association scope.
(FR) L'invention fait intervenir une unité (300) d'extraction de portées d'association qui extrait d'un code source (102) après modification, en tant que deuxième portée d'association, un bloc de code qui est identique à n'importe quel bloc de code d'un code source (101) avant modification et qui correspond à une partie qui est modifiée par rapport au code source avant modification, et extrait du code source avant modification, en tant que première portée d'association, le même bloc de code que la deuxième portée d'association. Une unité (402) d'exécution symbolique réalise une exécution symbolique de la première portée d'association et de la deuxième portée d'association. Lorsqu'il apparaît, dans l'exécution symbolique de la première portée d'association, une opération sur un élément situé hors de la première portée d'association, une unité (404) d'enregistrement enregistre une valeur d'identification de l'opération sur l'élément situé hors de la première portée d'association, et lorsqu'il apparaît, dans l'exécution symbolique de la deuxième portée d'association, une opération sur un élément situé hors de la deuxième portée d'association, l'unité enregistre une valeur d'identification de l'opération sur l'élément situé hors de la deuxième portée d'association. Une unité (403) de comparaison compare la séquence de valeurs d'identification enregistrée lors de l'exécution symbolique de la première portée d'association et la séquence de valeurs d'identification enregistrée lors de l'exécution symbolique de la deuxième portée d'association.
(JA) 対応範囲抽出部(300)は、変更後ソースコード(102)から、変更前ソースコード(101)のいずれかのコードブロックと同一のコードブロックであって変更前ソースコードからの変更部分に該当するコードブロックを第2の対応範囲として抽出し、変更前ソースコードから、第2の対応範囲と同一のコードブロックを第1の対応範囲として抽出する。記号実行部(402)は、第1の対応範囲と第2の対応範囲に記号実行を行う。記録部(404)は、第1の対応範囲の記号実行で第1の対応範囲外の要素への操作が出現すると、第1の対応範囲外の要素への操作の識別値を記録し、第2の対応範囲の記号実行で第2の対応範囲外の要素への操作が出現すると、第2の対応範囲外の要素への操作の識別値を記録する。比較部(403)は、第1の対応範囲の記号実行での識別値の記録順序と第2の対応範囲の記号実行での識別値の記録順序とを比較する。
front page image
É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, 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, KN, KP, KR, 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)