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

国際・国内特許データベース検索
World Intellectual Property Organization
検索
 
閲覧
 
翻訳
 
オプション
 
最新情報
 
ログイン
 
ヘルプ
 
自動翻訳
1. (WO2006109558) 検証支援装置、検証支援方法、プログラム及び記録媒体
国際事務局に記録されている最新の書誌情報   

Translation翻訳: 原文 > 日本語
国際公開番号:    WO/2006/109558    国際出願番号:    PCT/JP2006/306199
国際公開日: 19.10.2006 国際出願日: 27.03.2006
予備審査請求日:    06.11.2006    
IPC:
G06F 11/36 (2006.01), G06F 11/28 (2006.01)
出願人: FUKUOKA INDUSTRY, SCIENCE & TECHNOLOGY FOUNDATION [JP/JP]; 1-1, Tenjin 1-chome, Chuo-ku, Fukuoka-shi, Fukuoka 8100001 (JP) (米国を除く全ての指定国).
MATSUMOTO, Michihiro [JP/JP]; (JP) (米国のみ).
YAMASHITA, Naohito [JP/JP]; (JP) (米国のみ)
発明者: MATSUMOTO, Michihiro; (JP).
YAMASHITA, Naohito; (JP)
代理人: HADATE, Koji; INSTITUTE OF SYSTEM LSI DESIGN INDUSTRY, FUKUOKA 8-33, Momochihama 3-choume Sawara-ku, Fukuoka-shi Fukuoka 814-0001 (JP)
優先権情報:
2005-109603 06.04.2005 JP
発明の名称: (EN) VERIFICATION SUPPORT DEVICE, VERIFICATION SUPPORT METHOD, PROGRAM, AND RECORDING MEDIUM
(FR) DISPOSITIF SUPPORT DE VÉRIFICATION, MÉTHODE, PROGRAMME SUPPORT DE VÉRIFICATION ET SUPPORT D’ENREGISTREMENT
(JA) 検証支援装置、検証支援方法、プログラム及び記録媒体
要約: front page image
(EN)It is possible to provide a verification support device compatible with support of verification of state transition data and associated data. A verification support device (1) includes: an abnormal state-equipped state transition data generation unit (3) for generating abnormal state-equipped state transition data by adding a state transition to an abnormal state to the sate transition data; and an abnormal state-equipped state transition data inspection unit (5) for inspecting a state which may be reached by the state transition from a system initial state according to the abnormal state-equipped state transition data and associated data.
(FR)L’invention concerne un dispositif support de vérification compatible avec le support de la vérification de données de transition d’état et de données associées. Le dispositif support de vérification (1) comprend : une unité de génération de données de transition d’état équipé en état anormal (3) pour générer des données de transition d’état équipé en état anormal en additionnant un état de transition en un état anormal à des données de transition d’état ; et une unité d’inspection de données de transition d’état équipé en état anormal (5) pour inspecter un état pouvant être atteint par la transition d’état d’un état initial de système selon les données de transition d’état équipé en état anormal et les données associées.
(JA) 本発明の目的は、状態遷移データ及び関係データの検証の支援に適合する検証支援装置等を提供することにある。検証支援装置1は、状態遷移データに異常状態への状態遷移を追加して異常状態付状態遷移データを生成する異常状態付状態遷移データ生成部3と、異常状態付状態遷移データ及び関係データに基づいてシステムの初期状態からの状態遷移により到達する可能性のある状態を検査する異常状態付状態遷移データ検査部5とを備える。
指定国: 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, JP, KE, KG, KM, KN, KP, KR, KZ, LC, LK, LR, LS, LT, LU, LV, LY, MA, MD, MG, MK, MN, MW, MX, MZ, NA, NG, 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.
アフリカ広域知的所有権機関(ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
ユーラシア特許庁(EAPO) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
欧州特許庁(EPO) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IS, IT, LT, LU, LV, MC, NL, PL, PT, RO, SE, SI, SK, TR)
アフリカ知的所有権機関(OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
国際公開言語: Japanese (JA)
国際出願言語: Japanese (JA)