DE602004020672D1 - Verfahren zum bestimmen von betriebseigenschaften eines programms - Google Patents

Verfahren zum bestimmen von betriebseigenschaften eines programms

Info

Publication number
DE602004020672D1
DE602004020672D1 DE602004020672T DE602004020672T DE602004020672D1 DE 602004020672 D1 DE602004020672 D1 DE 602004020672D1 DE 602004020672 T DE602004020672 T DE 602004020672T DE 602004020672 T DE602004020672 T DE 602004020672T DE 602004020672 D1 DE602004020672 D1 DE 602004020672D1
Authority
DE
Germany
Prior art keywords
program
operational characteristics
determining operational
operational properties
application
Prior art date
Legal status (The legal status 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 status listed.)
Active
Application number
DE602004020672T
Other languages
English (en)
Inventor
Eric Vetillard
Renaud Marlet
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Trusted Logic SAS
Original Assignee
Trusted Logic SAS
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 SAS filed Critical Trusted Logic SAS
Publication of DE602004020672D1 publication Critical patent/DE602004020672D1/de
Active legal-status Critical Current
Anticipated expiration legal-status Critical

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

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
  • Devices For Executing Special Programs (AREA)
  • Auxiliary Devices For Music (AREA)
  • Two-Way Televisions, Distribution Of Moving Picture Or The Like (AREA)
DE602004020672T 2003-12-30 2004-12-27 Verfahren zum bestimmen von betriebseigenschaften eines programms Active DE602004020672D1 (de)

Applications Claiming Priority (2)

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

Publications (1)

Publication Number Publication Date
DE602004020672D1 true DE602004020672D1 (de) 2009-05-28

Family

ID=34639686

Family Applications (1)

Application Number Title Priority Date Filing Date
DE602004020672T Active DE602004020672D1 (de) 2003-12-30 2004-12-27 Verfahren zum bestimmen von betriebseigenschaften eines programms

Country Status (6)

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

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 (de) * 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
EP3274823A1 (de) * 2015-07-31 2018-01-31 Hewlett-Packard Enterprise Development LP Kategoriebasierte ausführungsplanung
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
AU2001247941B2 (en) * 2000-04-11 2007-09-06 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

Also Published As

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

Similar Documents

Publication Publication Date Title
DE602004020672D1 (de) Verfahren zum bestimmen von betriebseigenschaften eines programms
ATE452343T1 (de) Verbesserte vitamin-d-messung
WO2008074529A3 (en) Method, system and computer program for performing regression tests
DE60001393D1 (de) Verfahren zur überwachung des programmablaufs
DE502005002248D1 (de) Vorrichtungen und Verfahren zum Durchführen von kryptographischen Operationen in einem Server-Client-Rechnernetzwerksystem
WO2010107671A3 (en) Directed testing for property violations
ATE440151T1 (de) Verfahren zur beurteilung eines krankheitzustandes mittels nachweis von partikel- und nicht partikelgebundenen nukleinsäuren in blutplasma und -serum
WO2009085118A3 (en) System and method for architecture-adaptable automatic parallelization of computing code
DE602006002489D1 (de) Verfahren zur erleichterung eines bohrlochbetriebes
ATE459871T1 (de) Verfahren zur bestimmung materialabhängiger konstanten eines metallobjekts auf der basis von ermüdungsprüfungen
SE0302525D0 (sv) Method and system for interaction analysis
ATE551640T1 (de) Verfahren zur dynamischen konfiguration einer bedienoberfläche eines funktionsbausteins
DE602004018023D1 (de) Vorrichtung und verfahren zum automatischen parallelisieren von netzwerkanwendungen durch pipeline-transformation
WO2008010608A3 (en) Signal analyzer and method for signal analysis
DE602006007835D1 (de) Verfahren und System zur Detektion von Datenüberlastung und Anwendung eines Zellenneuauswahloffsets
ATE517411T1 (de) Verfahren, vorrichtung und computerprogrammprodukt für stereokodierung
DE50303726D1 (de) Verfahren zur minimierung des einflusses von störsignalen bei der formelementeberechnung aus koordinatenpunkten
ATE528045T1 (de) Optimierung von steuerparametern für eine partikelbestrahlungsanlage unter berücksichtigung der teilchenzahldynamik
SE0801742L (sv) Förfarande, apparat och datorprogramprodukt för förbättrad grafikprestanda
ATE519116T1 (de) Verfahren zur normierung der konzentration von analyten in einer urinprobe
ATE468697T1 (de) Sichere zusammensetzung von webdiensten
WO2007121328A3 (en) System and method for virtual benchmarking
ATE418108T1 (de) Verfahren zur bewertung der güte eines testprogramms
WO2002037379A3 (en) Method, apparatus, and article of manufacture for performance analysis using semantic knowledge
DE112005001959A5 (de) Verfahren und Vorrichtung zur automatischen Modellentwicklung von chromatographischen, elektrochromatographischen und elektrophoretischen Methoden

Legal Events

Date Code Title Description
8364 No opposition during term of opposition