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

国際・国内特許データベース検索
World Intellectual Property Organization
検索
 
閲覧
 
翻訳
 
オプション
 
最新情報
 
ログイン
 
ヘルプ
 
自動翻訳
1. (WO2008056419) ソフトウェア検証装置およびAPIインタフェース評価方法
国際事務局に記録されている最新の書誌情報   

Translation翻訳: 原文 > 日本語
国際公開番号:    WO/2008/056419    国際出願番号:    PCT/JP2006/322398
国際公開日: 15.05.2008 国際出願日: 09.11.2006
IPC:
G06F 11/28 (2006.01)
出願人: PANASONIC CORPORATION [JP/JP]; 1006, Oaza Kadoma, Kadoma-shi, Osaka 5718501 (JP) (米国を除く全ての指定国).
TANAKA, Nobuaki; (米国のみ)
発明者: TANAKA, Nobuaki;
代理人: ICHIKAWA, Toshimitsu; Eikoh Patent Office, 7-13, Nishi-Shimbashi 1-chome, Minato-ku, Tokyo 1050003 (JP)
優先権情報:
発明の名称: (EN) SOFTWARE VERIFYING DEVICE, AND API INTERFACE EVALUATING METHOD
(FR) DISPOSITIF DE VÉRIFICATION DE LOGICIEL ET PROCÉDÉ D'ÉVALUATION D'INTERFACE API
(JA) ソフトウェア検証装置およびAPIインタフェース評価方法
要約: front page image
(EN)Provided is a software verifying device for checking the correctness of an API calling sequence to call the module of a software, thereby to clarify the causes for an action failure of the software. The software verifying device comprises a software module (102), a software body (101) for calling the software module (102), and a sequence check module (103) for checking the calling sequence from the software body (101) to the software module (102). A sequence check module generator (105) generates the sequence check module (103) from an interface sequence definition (104), so that it can confirm the validity of the calling sequence from the software body (101) to the software module (102) thereby to discover early the action failure due to the failure of the sequence.
(FR)L'invention concerne un dispositif de vérification de logiciel destiné à contrôler l'exactitude d'une séquence d'appel API pour appeler le module d'un logiciel, permettant ainsi d'éclaircir les causes d'une défaillance d'action du logiciel. Le dispositif de vérification de logiciel comprend un module de logiciel (102), un corps de logiciel (101) destiné à appeler le module de logiciel (102) et un module de contrôle de séquence (103) destiné à contrôler la séquence d'appel du corps de logiciel (101) vers le module de logiciel (102). Un générateur de module de contrôle de séquence (105) génère le module de contrôle de séquence (103) à partir d'une définition de séquence d'interface (104), de sorte qu'il peut confirmer la validité de la séquence d'appel du corps de logiciel (101) vers le module de logiciel (102), permettant ainsi de découvrir plus tôt la défaillance d'action due à la défaillance de la séquence.
(JA) 本発明の目的は、ソフトウェアのモジュールを呼び出すAPI呼び出しシーケンスの正しさをチェックし、ソフトウェアの動作異常の原因を明確にすることである。  ソフトウェアモジュール102と、それを呼び出すソフトウェア本体101と101から102への呼び出しシーケンスをチェックするシーケンスチェックモジュールとを備え、シーケンスチェックモジュール生成器105がインタフェースシーケンス定義104よりシーケンスチェックモジュール103を生成することにより、101から102への呼び出しシーケンスの正当性を確認することができ、シーケンスの異常による動作異常を早期に発見できる。
指定国: 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, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LV, LY, MA, MD, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, 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, 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)