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

Search International and National Patent Collections
World Intellectual Property Organization
Machine translation
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2005/069175    International Application No.:    PCT/JP2005/000528
Publication Date: 28.07.2005 International Filing Date: 18.01.2005
G06F 17/50 (2006.01)
Applicants: MATSUSHITA ELECTRIC INDUSTRIAL CO., LTD. [JP/JP]; 1006, Oaza Kadoma, Kadoma-shi, Osaka 5718501 (JP) (For All Designated States Except US).
YONEDA, Kei; (For US Only).
MAE, Yoichiro; (For US Only).
YOSHIDA, Hisato; (For US Only)
Inventors: YONEDA, Kei; .
MAE, Yoichiro; .
YOSHIDA, Hisato;
Agent: OKADA, Kazuhide; Chiyoda Bldg. Kitakan, 13-38, Naniwa-cho, Kita-ku, Osaka-shi, Osaka 5300022 (JP)
Priority Data:
2004-012383 20.01.2004 JP
(JA) 検証装置および検証方法
Abstract: front page image
(EN)When performing a process in an object to be authenticated, there is a case that an execution result depends on the reference data value to be referenced and remains undefined. When the execution result is undefined and a process after that references the execution result, the execution results may have different values. As a result, the execution results cannot be compared and authentication cannot be continued. There is provided an authentication device for giving the same test pattern to an object to be authenticated and an expectation value generation device, performing simulation, and comparing the execution results. Data being simulated is extracted. According to the analysis result of the extracted data, the simulation is controlled. Alternatively, simulation after the undefined result is obtained is controlled. Thus, it is possible to prevent execution of a process which becomes an undefined result.
(FR)Lorsqu'on réalise un processus sur un objet à authentifier, il y a des cas dans lesquels le résultat de l'exécution dépend de la valeur des données de référence à référencer et reste indéfini. Lorsque le résultat d'exécution est indéfini et un processus ultérieur référence le résultat de l'exécution, les résultats d'exécution peuvent avoir des valeurs différentes. Par conséquent, des résultats de l'exécution ne peuvent pas être comparés et l'authentification ne peut pas être poursuivie. Cette invention propose un dispositif d'authentification qui donne la même structure de test à un objet à authentifier, ainsi qu'à un dispositif de production de valeur d'expectation, effectuant une simulation, et comparant les résultats de l'exécution. Les données simulées sont extraites. En fonction du résultat de l'analyse des données extraites, la simulation est contrôlée. Dans une variante, la simulation est contrôlée après l'obtention du résultat indéfini. Ainsi, on peut prévenir l'exécution d'un processus qui produit un résultat indéfini.
(JA) 検証対象で処理を実行する際に参照する参照データ値に依存して実行結果が未定義になる場合がある。実行結果が未定義となった場合、以降の処理がその実行結果を参照した場合その実行結果は両者で異なる値となる。その結果、実行結果の比較ができなくなり検証が継続できない。 【解決手段】検証対象と期待値生成装置に同一のテストパターンを与えてシミュレーションし互いの実行結果を比較する検証装置において、シミュレーション中のデータを抽出する。そして、抽出データの解析結果に基づいて、シミュレーションを制御する。あるいは、未定義結果となった後のシミュレーションを制御する。これにより、未定義結果となる処理の実行を未然に防ぐ。                                                                           
Designated States: AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BR, BW, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, HR, HU, ID, IL, IN, IS, KE, KG, KP, KR, KZ, LC, LK, LR, LS, LT, LU, LV, MA, MD, MG, MK, MN, MW, MX, MZ, NA, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RU, SC, SD, SE, SG, SK, SL, SM, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, YU, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IS, IT, LT, LU, MC, NL, PL, PT, RO, SE, SI, SK, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: Japanese (JA)
Filing Language: Japanese (JA)