Recherche dans les collections de brevets nationales et internationales
Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2005064474) VERIFICATION DE L'UTILISATION DES RESSOURCES DE PROGRAMMES INFORMATIQUES
Dernières données bibliographiques dont dispose le Bureau international

N° de publication : WO/2005/064474 N° de la demande internationale : PCT/US2004/043654
Date de publication : 14.07.2005 Date de dépôt international : 22.12.2004
CIB :
G06F 11/00 (2006.01) ,G06F 11/36 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11
Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11
Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
36
Prévention d'erreurs en effectuant des tests ou par débogage de logiciel
Déposants :
NTT DOCOMO, INC. [JP/JP]; Sanno Park Tower 11-1, Nagata-cho, 2-chome Chiyoda-Ku Tokyo 100-6150, JP
CHANDER, Ajay [IN/US]; US (UsOnly)
ISLAM, Nayeem [US/US]; US (UsOnly)
ESPINOSA, David [US/US]; US (UsOnly)
NECULA, George [US/US]; US (UsOnly)
LEE, Peter [US/US]; US (UsOnly)
Inventeurs :
CHANDER, Ajay; US
ISLAM, Nayeem; US
ESPINOSA, David; US
NECULA, George; US
LEE, Peter; US
Mandataire :
MALLIE, Michael, J. ; Blakely, Sokoloff, Taylor & Zafman LLP 12400 Wilshire Boulevard, 7th Floor Los Angeles, CA 90025, US
Données relatives à la priorité :
11/019,86821.12.2004US
60/532,35923.12.2003US
Titre (EN) PERFORMING CHECKS ON THE RESOURCE USAGE OF COMPUTER PROGRAMS
(FR) VERIFICATION DE L'UTILISATION DES RESSOURCES DE PROGRAMMES INFORMATIQUES
Abrégé :
(EN) A method and apparatus for performing checks on program code. In one embodiment, the method comprises receiving program code and statically verifying information about one or more dynamic checks in the program code, where each of the one or more dynamic checks in the program code checks an operation in the program code.
(FR) L'invention concerne un procédé et un dispositif destinés à la vérification de codes de programmes. Dans un mode de réalisation, le procédé consiste à recevoir un code de programme et à vérifier par des statistiques les informations concernant une ou plusieurs vérifications dynamiques dans le code de programme, chacune de ces vérifications dynamiques dans le code de programme permettant de vérifier une opération dans le code de programme.
États désignés : 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, 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
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (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)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG)
Langue de publication : Anglais (EN)
Langue de dépôt : Anglais (EN)
Également publié sous:
EP1697847JP2007516538CN1898651