WO2005073860A3 - Procede de determination de caracteristiques operationnelles d'un programme - Google Patents

Procede de determination de caracteristiques operationnelles d'un programme Download PDF

Info

Publication number
WO2005073860A3
WO2005073860A3 PCT/FR2004/003394 FR2004003394W WO2005073860A3 WO 2005073860 A3 WO2005073860 A3 WO 2005073860A3 FR 2004003394 W FR2004003394 W FR 2004003394W WO 2005073860 A3 WO2005073860 A3 WO 2005073860A3
Authority
WO
WIPO (PCT)
Prior art keywords
program
operational characteristics
stage
determining
analysis
Prior art date
Application number
PCT/FR2004/003394
Other languages
English (en)
Other versions
WO2005073860A2 (fr
Inventor
Eric Vetillard
Renaud Marlet
Original Assignee
Trusted Logic
Eric Vetillard
Renaud Marlet
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Trusted Logic, Eric Vetillard, Renaud Marlet filed Critical Trusted Logic
Priority to AT04817606T priority Critical patent/ATE428982T1/de
Priority to DE602004020672T priority patent/DE602004020672D1/de
Priority to EP04817606A priority patent/EP1700218B1/fr
Priority to US10/585,101 priority patent/US7827534B2/en
Publication of WO2005073860A2 publication Critical patent/WO2005073860A2/fr
Publication of WO2005073860A3 publication Critical patent/WO2005073860A3/fr

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation

Abstract

Procédé pour la détermination des caractéristiques opérationnelles d'un programme, comprenant une procédure de vérification dont les étapes sont les suivantes : - une première étape d'expression des caractéristiques opérationnelles du programme comme des fonctions portant sur des événements pouvant se produire au cours des exécutions possibles du programme ; - une deuxième étape d'estimation, par des analyses de programme, à la fois de la structure du programme, des chemins d'exécution possibles et des valeurs manipulées en différents points du programme ; - une troisième étape de détermination desdites caractéristiques en calculant les fonctions associées, grâce aux informations extraites par lesdites analyses.
PCT/FR2004/003394 2003-12-30 2004-12-27 Procede de determination de caracteristiques operationnelles d'un programme WO2005073860A2 (fr)

Priority Applications (4)

Application Number Priority Date Filing Date Title
AT04817606T ATE428982T1 (de) 2003-12-30 2004-12-27 Verfahren zum bestimmen von betriebseigenschaften eines programms
DE602004020672T DE602004020672D1 (de) 2003-12-30 2004-12-27 Verfahren zum bestimmen von betriebseigenschaften eines programms
EP04817606A EP1700218B1 (fr) 2003-12-30 2004-12-27 Procede de determination de caracteristiques operationnelles d'un programme
US10/585,101 US7827534B2 (en) 2003-12-30 2004-12-27 Method for determining operational characteristics of a program

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR0315544 2003-12-30
FR0315544A FR2864654B1 (fr) 2003-12-30 2003-12-30 Procede de determination de caracteristiques operationnelles d'un programme

Publications (2)

Publication Number Publication Date
WO2005073860A2 WO2005073860A2 (fr) 2005-08-11
WO2005073860A3 true WO2005073860A3 (fr) 2006-04-20

Family

ID=34639686

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/FR2004/003394 WO2005073860A2 (fr) 2003-12-30 2004-12-27 Procede de determination de caracteristiques operationnelles d'un programme

Country Status (6)

Country Link
US (1) US7827534B2 (fr)
EP (1) EP1700218B1 (fr)
AT (1) ATE428982T1 (fr)
DE (1) DE602004020672D1 (fr)
FR (1) FR2864654B1 (fr)
WO (1) WO2005073860A2 (fr)

Families Citing this family (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP4727278B2 (ja) * 2005-04-05 2011-07-20 株式会社エヌ・ティ・ティ・ドコモ アプリケーションプログラム検証システム、アプリケーションプログラム検証方法およびコンピュータプログラム
US9779234B2 (en) * 2008-06-18 2017-10-03 Symantec Corporation Software reputation establishment and monitoring system and method
US8561035B2 (en) * 2009-09-03 2013-10-15 International Business Machines Corporation Method and system to discover possible program variable values by connecting program value extraction with external data sources
US8656364B1 (en) * 2010-04-12 2014-02-18 Parasoft Corporation System and method for enforcement of business rules using static analysis
US8601481B2 (en) * 2011-03-02 2013-12-03 International Business Machines Corporation Workflow validation and execution
US9558103B2 (en) 2011-08-25 2017-01-31 Hewlett Packard Enterprise Development Lp System and method to indicate code block execution
US9176828B2 (en) * 2012-09-04 2015-11-03 Opshub, Inc. System and method for merging results from multiple runs based on run inputs
US9250894B2 (en) * 2012-09-07 2016-02-02 National Instruments Corporation Sequentially constructive model of computation
US8745594B1 (en) 2013-05-10 2014-06-03 Technobasics Software Inc. Program flow specification language and system
IN2013MU03461A (fr) * 2013-10-31 2015-07-17 Tata Consultancy Services Ltd
US9292423B1 (en) * 2015-03-11 2016-03-22 Amazon Technologies, Inc. Monitoring applications for compatibility issues
CN108633310A (zh) * 2015-07-31 2018-10-09 慧与发展有限责任合伙企业 基于类别的执行调度
US10061611B2 (en) 2015-08-28 2018-08-28 Vmware, Inc. Virtual machine migration within a hybrid cloud system
US10216954B2 (en) * 2016-06-27 2019-02-26 International Business Machines Corporation Privacy detection of a mobile application program
CN112306238A (zh) * 2020-10-27 2021-02-02 北京字节跳动网络技术有限公司 交互方式的确定方法、装置、电子设备及存储介质
US11941379B1 (en) * 2021-09-01 2024-03-26 Synopsys, Inc. Accelerating static program analysis with artifact reuse

Family Cites Families (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5963739A (en) * 1996-04-26 1999-10-05 Peter V. Homeier Method for verifying the total correctness of a program with mutually recursive procedures
US6213391B1 (en) * 1997-09-10 2001-04-10 William H. Lewis Portable system for personal identification based upon distinctive characteristics of the user
US6418444B1 (en) * 1997-12-11 2002-07-09 Sun Microsystems, Inc. Method and apparatus for selective excution of a computer program
US6684194B1 (en) * 1998-12-03 2004-01-27 Expanse Network, Inc. Subscriber identification system
US6560774B1 (en) * 1999-09-01 2003-05-06 Microsoft Corporation Verifier to check intermediate language
US7120572B1 (en) * 2000-01-06 2006-10-10 Sun Microsystems, Inc. Memory efficient program pre-execution verifier and method
US7155590B2 (en) * 2000-04-11 2006-12-26 Mathis Richard M Method and apparatus for computer memory protection and verification
US7051200B1 (en) * 2000-06-27 2006-05-23 Microsoft Corporation System and method for interfacing a software process to secure repositories
US6941351B2 (en) * 2000-07-11 2005-09-06 Microsoft Corporation Application program caching
US7558965B2 (en) * 2000-08-04 2009-07-07 First Data Corporation Entity authentication in electronic communications by providing verification status of device
US6993761B1 (en) * 2000-09-28 2006-01-31 Sun Microsystems, Inc. Method and apparatus to verify type safety of an application snapshot
FR2817363B1 (fr) * 2000-11-24 2002-12-27 France Telecom Verification formelle notamment d'une machine virtuelle securisee
US20030233547A1 (en) * 2001-09-25 2003-12-18 Global Anti-Piracy Systems, Inc. Systems and methods for preventing and detecting unauthorized copying of software
US7028222B2 (en) * 2002-06-21 2006-04-11 National Instruments Corporation Target device-specific syntax and semantic analysis for a graphical program
US20040003321A1 (en) * 2002-06-27 2004-01-01 Glew Andrew F. Initialization of protected system
US7000151B2 (en) * 2002-07-18 2006-02-14 Hewlett-Packard Development Company, L.P. System and method for providing run-time type checking
US7913237B2 (en) * 2003-08-26 2011-03-22 Ensequence, Inc. Compile-time code validation based on configurable virtual machine

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
BARTHE G; GUROV D; HUISMAN M: "Compositional verification of secure applet interactions", FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING. 5TH INTERNATIONAL CONFERENCE, FASE 2002, April 2002 (2002-04-01), GRENOBLE, FRANCE, pages 15 - 32, XP002299499 *
CHUGUNOV G; FREDLUND L -A; GUROV D: "Model checking of multi-applet JavaCard applications", PROCEEDINGS OF CARDIS'02. FIFTH SMART CARD RESEARCH AND ADVANCED APPLICATION CONFERENCE, November 2002 (2002-11-01), SAN JOSE, CA, USA, pages 87 - 95, XP002299498 *
GIRARD P; LANET J.L.: "New Security Issues Raised by Open Cards", TECHNICAL REPORT SM-99-03, June 1999 (1999-06-01), GEMPLUS RESEARCH LAB, XP002299500 *
NACCACHE D; TCHOULKINE A; TYMEN C; TRICHINA E: "Reducing the memory complexity of type-inference algorithms", INFORMATION AND COMMUNICATIONS SECURITY. 4TH INTERNATIONAL CONFERENCE ICICS 2002, December 2002 (2002-12-01), pages 109 - 121, XP002299501 *

Also Published As

Publication number Publication date
US20070168987A1 (en) 2007-07-19
FR2864654B1 (fr) 2007-02-23
US7827534B2 (en) 2010-11-02
FR2864654A1 (fr) 2005-07-01
WO2005073860A2 (fr) 2005-08-11
EP1700218B1 (fr) 2009-04-15
EP1700218A2 (fr) 2006-09-13
ATE428982T1 (de) 2009-05-15
DE602004020672D1 (de) 2009-05-28

Similar Documents

Publication Publication Date Title
WO2005073860A3 (fr) Procede de determination de caracteristiques operationnelles d'un programme
WO2007140270A3 (fr) Analyse d'informations récoltées au moyen de plusieurs techniques d'analyse
WO2006082095A3 (fr) Navigation entre outils de decouverte de connaissances
WO2006062815A3 (fr) Systeme et procede de creation de programmes cognitifs
DE602005019734D1 (de) Trennung von ereignis- und störungsparametern
WO2006076637A3 (fr) Comparaison entre diagramme de configuration et systeme reel
WO2007076080A3 (fr) Analyse d'un contenu permettant de determiner un contexte et un contenu pertinent de services base sur le contexte
WO2005072257A3 (fr) Systeme et procede de modelisation, d'abstraction et d'analyse de logiciel
WO2006130846A3 (fr) Procedes et systemes d'evaluation de la conformite d'un logiciel a une reference de qualite
WO2007031415A3 (fr) Structure d'automatisation pour essai de verification de logiciel
WO2007124231A3 (fr) Procede destine a la mesure et a l'amelioration de l'efficacite d'une organisation
WO2008109085A3 (fr) Système et procédé pour mettre à jour un modèle de prévision
WO2006052441A3 (fr) Systeme et procede de gestion des litiges et de soutien aux litiges
WO2006135622A3 (fr) Procede et systeme permettant de determiner l'efficacite d'un programme de conformite
WO2007053634A3 (fr) Test fonctionnel et vérification d’une application logicielle
WO2006091726A8 (fr) Procede de modelisation et d'essai d'un systeme de securite
WO2007011971A3 (fr) Verification de la dependance d'un contenu pour une machine de jeu
WO2005119947A3 (fr) Assistant de recherche de caracteristiques d'une interface utilisateur
WO2010049391A3 (fr) Ecriture de données sur un dispositif de stockage
DE60330120D1 (de) Verfahren zur auswertung der integrität einer struktur
WO2007038405A3 (fr) Dispositif et procede permettant d'estimer la valeur d'un processus de travail et de determiner les carences a des etats en cours et a des etats souhaites
WO2006031986A3 (fr) Procedes et compositions de diagnostic de maladie neoplasique
WO2006031724A3 (fr) Procede et systeme permettant de fournir une assistance technique concernant une cartouche d'imagerie
WO2005008423A3 (fr) Systemes et procedes de gestion de projets
GB2465959B (en) Method and arrangement relating to a media structure

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(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 SY TJ TM TN TR TT TZ UA UG US UZ VC VN YU ZA ZM ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): GM KE LS MW MZ NA SD SL SZ TZ UG ZM ZW AM AZ BY KG KZ MD RU TJ TM 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 BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

121 Ep: the epo has been informed by wipo that ep was designated in this application
WWE Wipo information: entry into national phase

Ref document number: 2007168987

Country of ref document: US

Ref document number: 10585101

Country of ref document: US

NENP Non-entry into the national phase

Ref country code: DE

WWW Wipo information: withdrawn in national office

Country of ref document: DE

WWE Wipo information: entry into national phase

Ref document number: 2004817606

Country of ref document: EP

WWP Wipo information: published in national office

Ref document number: 2004817606

Country of ref document: EP

WWP Wipo information: published in national office

Ref document number: 10585101

Country of ref document: US