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. (WO2001022228) SYSTEME ET PROCEDE DE FABRICATION D'UN SYSTEME DE VERIFICATION DESTINE A VERIFIER DES PROCEDURES D'INTERFACE
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2001/022228    N° de la demande internationale :    PCT/RU1999/000340
Date de publication : 29.03.2001 Date de dépôt international : 17.09.1999
CIB :
G06F 11/36 (2006.01)
Déposants : NORTEL NETWORKS LIMITED [CA/CA]; 2351 Boulevard Alfred-Nobel St. Laurent, Quebec H4S 2A9 (CA) (Tous Sauf US).
BURDONOV, Igor [RU/RU]; (RU) (US Seulement).
KOSSATCHEV, Alexandr [RU/RU]; (RU) (US Seulement).
PETRENKO, Alexandr [RU/RU]; (RU) (US Seulement).
GALTER, Dmitri [CA/CA]; (CA) (US Seulement)
Inventeurs : BURDONOV, Igor; (RU).
KOSSATCHEV, Alexandr; (RU).
PETRENKO, Alexandr; (RU).
GALTER, Dmitri; (CA)
Mandataire : KLJUKIN, Vyacheslav Alexandrovich; Gowlings International Inc. Prechinstensky per.,14-1 Moscow, 119034 (RU)
Données relatives à la priorité :
Titre (EN) SYSTEM AND METHOD FOR PRODUCING A VERIFICATION SYSTEM FOR VERIFYING PROCEDURE INTERFACES
(FR) SYSTEME ET PROCEDE DE FABRICATION D'UN SYSTEME DE VERIFICATION DESTINE A VERIFIER DES PROCEDURES D'INTERFACE
Abrégé : front page image
(EN)A verification system for a procedure interface is generated by using formal specifications of the procedure interface and generating test suites from the formal specifications. The formal specifications are independent from implementation of the procedure interface. Accordingly, the test suites are also implementation independent. Thus, a verification system comprising the test suites may be efficiently produced for verifying the procedure interface of different implementations.
(FR)Selon l'invention, on fabrique un système de vérification destiné à vérifier des procédures d'interface en utilisant les spécifications formelles de l'interface de procédure et en générant des suites de tests à partir des spécifications formelles. Les spécifications formelles ne dépendent pas du mode de réalisation de l'interface de procédure; par conséquent, les suites de test sont aussi indépendantes du mode de réalisation. De ce fait, on peut fabriquer un système de vérification comprenant les suites de test pour vérifier efficacement les interfaces de procédure ayant de différents modes de réalisation.
États désignés : CA, RU, US.
Office européen des brevets (OEB) (AT, BE, CH, CY, DE, DK, ES, FI, FR, GB, GR, IE, IT, LU, MC, NL, PT, SE).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)