Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2018141424) PROCÉDÉS ET SYSTÈMES DE VÉRIFICATION DE LOGICIEL
Dernières données bibliographiques dont dispose le Bureau international    Formuler une observation

N° de publication : WO/2018/141424 N° de la demande internationale : PCT/EP2017/072187
Date de publication : 09.08.2018 Date de dépôt international : 05.09.2017
Demande présentée en vertu du Chapitre 2 : 28.11.2018
CIB :
G06F 9/44 (2018.01) ,G06F 11/07 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
9
Dispositions pour la commande par programme, p.ex. unité de commande
06
utilisant un programme emmagasiné, c. à. d. utilisant une unité de stockage interne de l'équipement de traitement de données pour recevoir et conserver le programme
44
Dispositions pour exécuter des programmes spécifiques
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
07
Réaction à l'apparition d'un défaut, p.ex. tolérance de certains défauts
Déposants :
SIEMENS INDUSTRY SOFTWARE NV [BE/BE]; Interleuvenlaan 68 3001 Leuven, BE
Inventeurs :
MISHRA, Sanjit; IN
Mandataire :
HASSA, Oliver; DE
Données relatives à la priorité :
20173100370301.02.2017IN
Titre (EN) METHODS AND SYSTEMS FOR VERIFYING A SOFTWARE PROGRAM
(FR) PROCÉDÉS ET SYSTÈMES DE VÉRIFICATION DE LOGICIEL
Abrégé :
(EN) Methods and Systems for verifying a software program in an integrated-development environment (113) is disclosed. In one embodiment, a method of verifying the software program in the integrated-development environment (113) includes generating a source code of a software program comprising logging statements based on a specification of the software program. Furthermore, the method includes executing the source code with the logging statements, and generating one or more log files during execution of the source code based on the logging statements. Moreover, the method includes generating a representation of the source code (500) in a modeling language based on the one or more log files. The method includes verifying compliance of the source code with the specification by comparing the representation of the source code (500) in the modeling language with the specification in the modeling language.
(FR) L'invention concerne également des procédés et des systèmes pour vérifier un programme logiciel dans un environnement de développement intégré (113). Dans un mode de réalisation, un procédé de vérification du programme logiciel dans l'environnement de développement intégré (113) consiste à générer un code source d'un programme logiciel comprenant des instructions de journalisation sur la base d'une spécification du programme logiciel. En outre, le procédé consiste à exécuter le code source avec les instructions de journalisation, et à générer un ou plusieurs fichiers de journal pendant l'exécution du code source sur la base des instructions de journalisation. De plus, le procédé consiste à générer une représentation du code source (500) dans un langage de modélisation sur la base du ou des fichiers journaux. Le procédé comprend la vérification de la conformité du code source avec la spécification par comparaison de la représentation du code source (500) dans le langage de modélisation avec la spécification dans le langage de modélisation.
front page image
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (AL, 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, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)