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

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2002023331) VERIFICATION INCREMENTIELLE A DISTANCE DE LA COMPATIBILITE BINAIRE D'UN PROGRAMME AU MOYEN DE DEFINITIONS IPA
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2002/023331    N° de la demande internationale :    PCT/US2001/028579
Date de publication : 21.03.2002 Date de dépôt international : 12.09.2001
Demande présentée en vertu du Chapitre 2 :    10.04.2002    
CIB :
G06F 21/51 (2013.01), G06F 21/53 (2013.01), G06F 9/44 (2006.01), G06F 9/445 (2006.01)
Déposants : SUN MICROSYSTEMS, INC. [US/US]; 910 San Antonio Road, Palo Alto, CA 94303 (US)
Inventeurs : SCHWABE, Judith, E.; (US)
Mandataire : RITCHIE, David, B.; Thelen Reid & Priest LLP, P.O. Box 640640, San Jose, CA 95164-0640 (US)
Données relatives à la priorité :
09/661,684 14.09.2000 US
Titre (EN) REMOTE INCREMENTAL PROGRAM BINARY COMPATIBILITY VERIFICATION USING API DEFINITIONS
(FR) VERIFICATION INCREMENTIELLE A DISTANCE DE LA COMPATIBILITE BINAIRE D'UN PROGRAMME AU MOYEN DE DEFINITIONS IPA
Abrégé : front page image
(EN)A method of operating a computer system includes providing a first version of a program in memory and verifying the program prior to program execution. The first version of a program includes at least one program unit. Each program unit includes an Application Programming Interface (API) definition file and an implementation, each API definition file defines items in its associated program unit that are made accessible to one or more other program units and each implementation includes executable code corresponding to the API definition file. The executable code includes type specific instructions and data. Program verification includes indicating a verification error when a first version of a first program unit implementation is not internally consistent, indicating a verification error when the first version of the first program unit implementation is inconsistent with the version of the program unit API definition file associated with the first version of the first program unit implementation, receiving a second version of the first program unit implementation and a second version of the first program unit API definition file, verifying the second version of the first program unit implementation and verifying that the second version of the first program unit implementation is binary compatible with the first version of the first program unit implementation by comparing the first version of the first program unit API definition file and the second version of the first program unit API definition file.
(FR)L'invention concerne un procédé pour exploiter un système informatique, comprenant la mise à disposition d'une première version d'un programme en mémoire et la vérification de ce programme avant son exécution. La première version d'un programme comporte au moins une unité de programme. Chaque unité de programme contient un fichier de définitions d'Interfaces de Programmation d'Application (IPA) et une mise en oeuvre. Chaque fichier de définitions IPA définit des articles dans son unité programme associée, articles qui sont accessibles à une ou à plusieurs autres unités de programme, et chaque exécution comporte un code exécutable correspondant au fichier de définitions IPA et contenant des instructions spécifiques par type et des données spécifiques par type. La vérification du programme comprend les opérations suivantes : indiquer une erreur de vérification lorsqu'une première version d'une première mise en oeuvre d'unité de programme n'a pas de cohérence interne ; indiquer une erreur de vérification lorsque la première version de la première mise en oeuvre d'unité de programme n'est pas cohérente avec la version du fichier de définitions IPA associée à la première version de la première mise en oeuvre d'unité de programme ; recevoir une deuxième version de la première mise en oeuvre d'unité de programme et une deuxième version du premier fichier de définitions IPA ; vérifier la deuxième version de la première mise en oeuvre d'unité de programme et contrôler si celle-ci est compatible du point de vue binaire avec la première version de la première mise en oeuvre d'unité de programme en comparant la première et la deuxième versions du premier fichier de définitions IPA.
États désignés : AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BR, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DZ, EC, EE, 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, NO, NZ, PL, PT, RO, RU, SD, SE, SG, SI, SK, SL, TJ, TM, TR, TT, TZ, UA, UG, UZ, VN, YU, ZA, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (GH, GM, KE, LS, MW, MZ, SD, SL, SZ, TZ, UG, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (AT, BE, CH, CY, DE, DK, ES, FI, FR, GB, GR, IE, IT, LU, MC, NL, PT, SE, 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)