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

国際・国内特許データベース検索
World Intellectual Property Organization
検索
 
閲覧
 
翻訳
 
オプション
 
最新情報
 
ログイン
 
ヘルプ
 
自動翻訳
1. (WO2011013235) 不変条件の動的検証のための装置および方法
国際事務局に記録されている最新の書誌情報   

Translation翻訳: 原文 > 日本語
国際公開番号:    WO/2011/013235    国際出願番号:    PCT/JP2009/063612
国際公開日: 03.02.2011 国際出願日: 30.07.2009
IPC:
G06F 11/28 (2006.01)
出願人: KABUSHIKI KAISHA TOSHIBA [JP/JP]; 1-1, Shibaura 1-chome, Minato-ku, Tokyo 1058001 (JP) (米国を除く全ての指定国).
ENDOH, Yusuke [JP/JP]; (米国のみ)
発明者: ENDOH, Yusuke;
代理人: SUZUYE, Takehiko; c/o SUZUYE & SUZUYE, 1-12-9, Toranomon, Minato-ku, Tokyo 1050001 (JP)
優先権情報:
発明の名称: (EN) DEVICE AND METHOD FOR DYNAMIC VERIFICATION OF INVARIANT CONDITION
(FR) DISPOSITIF ET PROCÉDÉ DE VÉRIFICATION DYNAMIQUE D'UNE CONDITION INVARIANTE
(JA) 不変条件の動的検証のための装置および方法
要約: front page image
(EN)Provided is a device for dynamic verification of an invariant condition, which comprises: a verification timing database for storing a set of a pair of syntax patterns of an invariant condition and a verification timing for giving a position where the invariant condition is to be evaluated; a program input unit for inputting a program to be verified; an invariant condition input unit for inputting the description of the invariant condition to be satisfied by the program to be verified; a syntax element enumeration unit for enumerating a plurality of syntax elements corresponding to a set of slave elements of the invariant condition, from the description of the invariant condition; a verification timing search unit for searching the verification timing database, to thereby determine at least one verification timing corresponding to the syntax pattern of at least one invariant condition matching the plurality of syntax elements; and a program rewriting unit for rewriting the program to be verified so that the invariant condition is evaluated at a position which is given by the at-least one verification timing.
(FR)L'invention concerne un dispositif de vérification dynamique d'une condition invariante, comprenant : une base de données de chronologie de vérification servant à conserver un ensemble formé d'une paire de motifs syntaxiques d'une condition invariante et une chronologie de vérification afin de donner une position où la condition invariante doit être évaluée ; une unité d'introduction de programme servant à introduire un programme à vérifier ; une unité d'introduction de condition invariante servant à introduire la description de la condition invariante à satisfaire par le programme à vérifier ; une unité d'énumération d'éléments syntaxiques servant à énumérer une pluralité d'éléments syntaxiques correspondant à un ensemble d'éléments asservis à la condition invariante, à partir de la description de la condition invariante ; une unité de recherche de la chronologie de vérification servant à explorer la base de données de chronologie de vérification, afin de déterminer ainsi au moins une chronologie de vérification correspondant au motif syntaxique d'au moins une condition invariante correspondant à la pluralité d'éléments syntaxiques ; et une unité de réécriture de programme servant à réécrire le programme à vérifier de telle sorte que la condition invariante soit évaluée à une position donnée par la ou les chronologies de vérification.
(JA) 不変条件の構文パターンと、前記不変条件を評価すべき位置を与える検証タイミングとの組の集合を記憶する検証タイミングデータベースと、検証対象プログラムを入力するプログラム入力部と、前記検証対象プログラムが満たすべき不変条件の記述を入力する不変条件入力部と、前記不変条件の記述から、不変条件の子要素の集合に相当する複数の構文要素を列挙する構文要素列挙部と、前記検証タイミングデータベースを探索して、前記複数の構文要素にマッチする少なくとも1つの不変条件の構文パターンに対応する少なくとも1つの検証タイミングを求める検証タイミング探索部と、前記少なくとも1つの検証タイミングによって与えられる位置で前記不変条件を評価するように前記検証対象プログラムを書き換えるプログラム書換部とを具備する。
指定国: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, 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, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, 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, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, SE, SI, SK, SM, TR)
アフリカ知的所有権機関(OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
国際公開言語: Japanese (JA)
国際出願言語: Japanese (JA)