ATE507524T1 - Durchführung von prüfungen an der betriebsmittelbenutzung von computerprogrammen - Google Patents

Durchführung von prüfungen an der betriebsmittelbenutzung von computerprogrammen

Info

Publication number
ATE507524T1
ATE507524T1 AT04815671T AT04815671T ATE507524T1 AT E507524 T1 ATE507524 T1 AT E507524T1 AT 04815671 T AT04815671 T AT 04815671T AT 04815671 T AT04815671 T AT 04815671T AT E507524 T1 ATE507524 T1 AT E507524T1
Authority
AT
Austria
Prior art keywords
carrying
computer programs
program code
out tests
checks
Prior art date
Application number
AT04815671T
Other languages
English (en)
Inventor
Ajay Chander
Nayeem Islam
David Espinosa
George Necula
Peter Lee
Original Assignee
Ntt Docomo Inc
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 Ntt Docomo Inc filed Critical Ntt Docomo Inc
Application granted granted Critical
Publication of ATE507524T1 publication Critical patent/ATE507524T1/de

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G06F11/3608—Analysis of software for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G06F11/3612—Analysis of software for verifying properties of programs by runtime analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/445—Program loading or initiating
    • G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Computer Hardware Design (AREA)
  • Storage Device Security (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Testing, Inspecting, Measuring Of Stereoscopic Televisions And Televisions (AREA)
AT04815671T 2003-12-23 2004-12-22 Durchführung von prüfungen an der betriebsmittelbenutzung von computerprogrammen ATE507524T1 (de)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US53235903P 2003-12-23 2003-12-23
US11/019,868 US7574695B2 (en) 2003-12-23 2004-12-21 Performing checks on the resource usage of computer programs
PCT/US2004/043654 WO2005064474A2 (en) 2003-12-23 2004-12-22 Performing checks on the resource usage of computer programs

Publications (1)

Publication Number Publication Date
ATE507524T1 true ATE507524T1 (de) 2011-05-15

Family

ID=34742393

Family Applications (1)

Application Number Title Priority Date Filing Date
AT04815671T ATE507524T1 (de) 2003-12-23 2004-12-22 Durchführung von prüfungen an der betriebsmittelbenutzung von computerprogrammen

Country Status (6)

Country Link
US (1) US7574695B2 (de)
EP (1) EP1697847B1 (de)
JP (1) JP2007516538A (de)
AT (1) ATE507524T1 (de)
DE (1) DE602004032466D1 (de)
WO (1) WO2005064474A2 (de)

Families Citing this family (24)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7730455B2 (en) * 2004-11-08 2010-06-01 Ntt Docomo, Inc. Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints
US7343523B2 (en) * 2005-02-14 2008-03-11 Aristoga, Inc. Web-based analysis of defective computer programs
US20070130622A1 (en) * 2005-11-21 2007-06-07 Docomo Communications Laboratories Usa, Inc. Method and apparatus for verifying and ensuring safe handling of notifications
KR101368327B1 (ko) * 2006-12-22 2014-02-26 삼성전자주식회사 프로그램 실행흐름 보고 시스템 및 방법
US8918772B1 (en) * 2007-07-25 2014-12-23 Google Inc. Statically analyzing program correctness for a dynamic programming language
US20090077532A1 (en) * 2007-09-13 2009-03-19 Universities Space Research Association Automated annotation inference for safety certification of automatically generated code
US8069124B2 (en) * 2008-03-26 2011-11-29 Intel Corporation Combining speculative physics modeling with goal-based artificial intelligence
US8266598B2 (en) * 2008-05-05 2012-09-11 Microsoft Corporation Bounding resource consumption using abstract interpretation
US20090292941A1 (en) * 2008-05-22 2009-11-26 Nec Laboratories America, Inc. Proof-guided error diagnosis (ped) by triangulation of program error causes
US8402439B2 (en) * 2008-06-27 2013-03-19 Microsoft Corporation Program analysis as constraint solving
US8397221B2 (en) * 2008-10-07 2013-03-12 Microsoft Corporation Calculating resource bounds of programs manipulating recursive data structures and collections
JP2010097674A (ja) * 2008-10-20 2010-04-30 Cri Middleware Co Ltd データ処理装置、データ処理方法、およびプログラム
US7587718B1 (en) 2008-10-31 2009-09-08 Synopsys, Inc. Method and apparatus for enforcing a resource-usage policy in a compute farm
US8826238B2 (en) * 2009-01-22 2014-09-02 Microsoft Corporation Per group verification
US8316349B2 (en) * 2010-05-27 2012-11-20 Microsoft Corporation Deployment script generation and execution
WO2015130675A2 (en) * 2014-02-26 2015-09-03 Western Michigan University Research Foundation Apparatus and method for testing computer program implementation against a design model
TWI537827B (zh) * 2014-10-06 2016-06-11 第五代虛擬科技股份有限公司 應用軟體試用系統、方法及其伺服器與使用者裝置
US9697018B2 (en) * 2015-05-29 2017-07-04 International Business Machines Corporation Synthesizing inputs to preserve functionality
US10025690B2 (en) 2016-02-23 2018-07-17 International Business Machines Corporation Method of reordering condition checks
FR3067482A1 (fr) * 2017-06-12 2018-12-14 Inria Institut National De Recherche En Informatique Et En Automatique Dispositif de caracterisation et/ou de modelisation de temps d'execution pire-cas
US10956136B2 (en) 2018-10-16 2021-03-23 Ebay, Inc. User interface resource file optimization
US11113033B1 (en) * 2020-03-04 2021-09-07 Oracle International Corporation Dynamic validation framework extension
CN112380122B (zh) * 2020-11-13 2024-08-02 深圳知释网络技术有限公司 通用资源静态检测方法、装置、计算机设备及存储介质
KR102925256B1 (ko) 2022-12-13 2026-02-09 울산과학기술원 보안체크코드의 유효성 점검 장치, 보안체크코드의 유효성 점검 방법 및 컴퓨터 프로그램

Family Cites Families (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5748964A (en) * 1994-12-20 1998-05-05 Sun Microsystems, Inc. Bytecode program interpreter apparatus and method with pre-verification of data type restrictions
US6546546B1 (en) * 1999-05-19 2003-04-08 International Business Machines Corporation Integrating operating systems and run-time systems
FR2797963B1 (fr) * 1999-08-23 2002-11-29 Trusted Logic Protocole de gestion, procede de verification et de transformation d'un fragment de programme telecharge et systemes correspondants
US6553362B2 (en) * 2000-07-14 2003-04-22 Hewlett-Packard Development Company, L.P. Case-reduced verification condition generation system and method using weakest precondition operator expressed using strongest postcondition operators
US6886094B1 (en) * 2000-09-28 2005-04-26 International Business Machines Corporation Apparatus and method for detecting and handling exceptions
US20020112201A1 (en) * 2000-12-04 2002-08-15 Flanagan Cormac Andrias Method and apparatus for automatically inferring annotations for an extended static checker
FR2818769B1 (fr) 2000-12-21 2004-06-18 Eads Airbus Sa Procede et systeme d'exploitation temps reel multitaches
US6817014B2 (en) * 2001-04-11 2004-11-09 Hewlett-Packard Development Company, L.P. Analysis of executable program code using compiler-generated function entry points and endpoints with other sources of function entry points and endpoints
US20030126590A1 (en) * 2001-12-28 2003-07-03 Michael Burrows System and method for dynamic data-type checking
US7260746B2 (en) * 2003-10-21 2007-08-21 Massachusetts Institute Of Technology Specification based detection and repair of errors in data structures

Also Published As

Publication number Publication date
WO2005064474A2 (en) 2005-07-14
EP1697847A2 (de) 2006-09-06
DE602004032466D1 (de) 2011-06-09
US7574695B2 (en) 2009-08-11
EP1697847B1 (de) 2011-04-27
JP2007516538A (ja) 2007-06-21
WO2005064474A3 (en) 2006-05-11
US20050166095A1 (en) 2005-07-28

Similar Documents

Publication Publication Date Title
ATE507524T1 (de) Durchführung von prüfungen an der betriebsmittelbenutzung von computerprogrammen
ATE405888T1 (de) Verfahren, vorrichtung und system für einen mobil-web-client
DE69919144D1 (de) Verfahren und gerät zum analysieren von statusbasiertem modell
ATE426858T1 (de) System und verfahren zum erkennen von bísartigem code
ATE403242T1 (de) Multimodus-antennensystem für eine datenverarbeitungseinrichtung und betriebsverfahren
ATE498970T1 (de) Netzwerkkonfigurationsauswertung
ATE361497T1 (de) Verfahren und gerät zur kontrolle der umwandlung von programm-kodes
ATE476719T1 (de) Verhaltensbasierte anpassung von computersystemen
DE60207812D1 (de) Verfahren und vorrichtung zum dynamischen zuweisen von benutzungsrechten zu digitalen werken
DE602006013854D1 (de) Dma-übertragung von datensätzen und ein exklusives oder (xor) der datensätze
ATE302983T1 (de) Verfahren zur überwachung von dokumenten
ATE551656T1 (de) Verfahren und vorrichtung zum identifizieren von neuem media-inhalt
GB2429554A (en) Method and apparatus to vectorize multiple input instructions
ATE471059T1 (de) Mobilgerätediagnose, test, anwendungseinsatz und -aktualisierung von einer webseite aus
DE60231438D1 (de) M mobilen endgerät, und mobiles endgerät mit verbesserten fähigkeiten zur handhabung von positionsdaten
DE602006007172D1 (de) System und verfahren zum analysieren von radarinformationen
ATE433596T1 (de) Authentifizierung von informationsträgern über eine physische einwegfunktion
MY136940A (en) Methods and apparatus for determining device integrity
DE602006020306D1 (de) Verteilte und wiederholte bildwiederherstellung
ATE385374T1 (de) Web-anwendungsserver
DK1752927T3 (da) Fremgangsmåde til autorisationskontrol og en dertil egnet indretning
ATE437542T1 (de) Vorrichtung, system und verfahren zum testen eines geräts mit eingeschränkten ressourcen
WO2005048107A3 (en) System, method, and computer program product for identifying code development errors
WO2005043287A3 (en) Method and apparatus to ensure proper geocoding
ATE519168T1 (de) Verfahren zur analyse von ein teil von multimedia-inhalten und entsprechenden computer software produkt-und-analyse-gerät

Legal Events

Date Code Title Description
RER Ceased as to paragraph 5 lit. 3 law introducing patent treaties