ATE516537T1 - Prüfung von skriptsprachen mit schnittstellen mittels annotationen in xml - Google Patents

Prüfung von skriptsprachen mit schnittstellen mittels annotationen in xml

Info

Publication number
ATE516537T1
ATE516537T1 AT02022042T AT02022042T ATE516537T1 AT E516537 T1 ATE516537 T1 AT E516537T1 AT 02022042 T AT02022042 T AT 02022042T AT 02022042 T AT02022042 T AT 02022042T AT E516537 T1 ATE516537 T1 AT E516537T1
Authority
AT
Austria
Prior art keywords
instructions
xml
interfaces
annotations
testing
Prior art date
Application number
AT02022042T
Other languages
English (en)
Inventor
Josef Dietl
Rainer Hammerich
Original Assignee
Sap Ag
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 Sap Ag filed Critical Sap Ag
Application granted granted Critical
Publication of ATE516537T1 publication Critical patent/ATE516537T1/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/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2294—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing by remote test
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/436—Semantic checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Computational Linguistics (AREA)
  • Devices For Executing Special Programs (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
  • Circuits Of Receivers In General (AREA)
AT02022042T 2002-10-01 2002-10-01 Prüfung von skriptsprachen mit schnittstellen mittels annotationen in xml ATE516537T1 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
EP02022042A EP1406166B1 (de) 2002-10-01 2002-10-01 Prüfung von Skriptsprachen mit Schnittstellen mittels Annotationen in XML

Publications (1)

Publication Number Publication Date
ATE516537T1 true ATE516537T1 (de) 2011-07-15

Family

ID=31985034

Family Applications (1)

Application Number Title Priority Date Filing Date
AT02022042T ATE516537T1 (de) 2002-10-01 2002-10-01 Prüfung von skriptsprachen mit schnittstellen mittels annotationen in xml

Country Status (5)

Country Link
US (2) US20060248538A1 (de)
EP (1) EP1406166B1 (de)
AT (1) ATE516537T1 (de)
AU (1) AU2003275972A1 (de)
WO (1) WO2004031946A1 (de)

Families Citing this family (35)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP1406166B1 (de) * 2002-10-01 2011-07-13 Sap Ag Prüfung von Skriptsprachen mit Schnittstellen mittels Annotationen in XML
EP1408433A1 (de) * 2002-10-09 2004-04-14 Sap Ag Hybride digitale Unterschriften
EP1416397A1 (de) * 2002-10-29 2004-05-06 Sap Ag Verfahren zur Auswahl eines Renderers, basiert auf den Benutzerbrowsertyp und auf ein Bewertungsalgorithmus
US7454660B1 (en) * 2003-10-13 2008-11-18 Sap Ag System and method for testing applications at the business layer
WO2006043012A1 (en) * 2004-10-22 2006-04-27 New Technology/Enterprise Limited Data processing system and method
US7882317B2 (en) * 2004-12-06 2011-02-01 Microsoft Corporation Process isolation using protection domains
US8020141B2 (en) 2004-12-06 2011-09-13 Microsoft Corporation Operating-system process construction
US7600232B2 (en) * 2004-12-07 2009-10-06 Microsoft Corporation Inter-process communications employing bi-directional message conduits
US7451435B2 (en) * 2004-12-07 2008-11-11 Microsoft Corporation Self-describing artifacts and application abstractions
US8849968B2 (en) * 2005-06-20 2014-09-30 Microsoft Corporation Secure and stable hosting of third-party extensions to web services
US7673231B2 (en) * 2005-06-24 2010-03-02 Sun Microsystems, Inc. Optimized markup language processing using repeated structures in markup language source
US20070028217A1 (en) * 2005-07-29 2007-02-01 Microsoft Corporation Testing software using verification data defined independently of the testing code
US20070094495A1 (en) * 2005-10-26 2007-04-26 Microsoft Corporation Statically Verifiable Inter-Process-Communicative Isolated Processes
US8074231B2 (en) 2005-10-26 2011-12-06 Microsoft Corporation Configuration of isolated extensions and device drivers
US8032898B2 (en) 2006-06-30 2011-10-04 Microsoft Corporation Kernel interface with categorized kernel objects
US20080222463A1 (en) * 2007-03-05 2008-09-11 Interdigital Technology Corporation Apparatus, method and product for testing communications components
US8789063B2 (en) 2007-03-30 2014-07-22 Microsoft Corporation Master and subordinate operating system kernels for heterogeneous multiprocessor systems
US9575878B2 (en) * 2009-03-16 2017-02-21 International Business Machines Corporation Data-driven testing without data configuration
WO2011148428A1 (en) * 2010-05-28 2011-12-01 Hitachi, Ltd. Information apparatus and method for controlling the same
US8560636B2 (en) 2010-08-31 2013-10-15 Sap Ag Methods and systems for providing a virtual network process context for network participant processes in a networked business process
US8438272B2 (en) 2010-08-31 2013-05-07 Sap Ag Methods and systems for managing quality of services for network participants in a networked business process
US9240965B2 (en) 2010-08-31 2016-01-19 Sap Se Methods and systems for business interaction monitoring for networked business process
US9052845B2 (en) 2011-01-31 2015-06-09 Sap Se Unified interface for meta model checking, modifying, and reporting
US20120198367A1 (en) * 2011-01-31 2012-08-02 Sap Ag User interface style guide compliance forecasting
US9841956B2 (en) 2011-01-31 2017-12-12 Sap Se User interface style guide compliance reporting
US9459846B2 (en) * 2011-01-31 2016-10-04 Sap Se User interface style guide compliance
US20120221967A1 (en) * 2011-02-25 2012-08-30 Sabrina Kwan Dashboard object validation
US9128886B2 (en) 2011-12-20 2015-09-08 Sap Se Computer implemented method, computer system, electronic interface, mobile computing device and computer readable medium
US9411665B2 (en) 2012-09-05 2016-08-09 Sap Se Messaging infrastructure integration
US8745594B1 (en) 2013-05-10 2014-06-03 Technobasics Software Inc. Program flow specification language and system
US11593249B2 (en) * 2015-12-23 2023-02-28 Oracle International Corporation Scalable points-to analysis via multiple slicing
US10783007B2 (en) 2018-10-01 2020-09-22 Sap Se Load distribution for integration scenarios
US10747658B2 (en) * 2018-11-19 2020-08-18 Paypal, Inc. Systems and methods for testing online use-case scenarios in a staging environment
US10715388B2 (en) 2018-12-10 2020-07-14 Sap Se Using a container orchestration service for dynamic routing
DE102020130022A1 (de) * 2020-11-13 2022-05-19 Festo Se & Co. Kg Überprüfen einer Kompatibilität eines neu zu integrierenden Prozessmoduls einer Automatisierungsanlage

Family Cites Families (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6066181A (en) * 1997-12-08 2000-05-23 Analysis & Technology, Inc. Java native interface code generator
US7051316B2 (en) * 1999-10-05 2006-05-23 Borland Software Corporation Distributed computing component system with diagrammatic graphical representation of code with separate delineated display area by type
US6941520B1 (en) * 2000-05-09 2005-09-06 International Business Machines Corporation Method, system, and program for using a user interface program to generate a user interface for an application program
US6886157B2 (en) * 2000-05-25 2005-04-26 Sun Microsystems, Inc. Method and apparatus for creating efficient native methods that extend a bytecode interpreter
US6594823B1 (en) * 2000-09-13 2003-07-15 Microsoft Corporation Method and system for representing a high-level programming language data structure in a mark-up language
US6990654B2 (en) * 2000-09-14 2006-01-24 Bea Systems, Inc. XML-based graphical user interface application development toolkit
US6823504B1 (en) * 2000-11-15 2004-11-23 Sun Microsystems, Inc. Method and apparatus for interfacing a javascript interpreter with library of host objects implemented in java
US6950831B2 (en) * 2001-03-23 2005-09-27 Siemens Medical Solutions Health Services Corporation Processing system for use with a user interface display
US20040015840A1 (en) * 2001-04-19 2004-01-22 Avaya, Inc. Mechanism for converting between JAVA classes and XML
US6754884B1 (en) * 2001-07-02 2004-06-22 Bea Systems, Inc. Programming language extensions for processing XML objects and related applications
US7962925B2 (en) * 2002-02-22 2011-06-14 Oracle International Corporation System and method for XML data binding
US7512932B2 (en) * 2002-03-22 2009-03-31 Sun Microsystems, Inc. Language and object model for describing MIDlets
EP1406166B1 (de) * 2002-10-01 2011-07-13 Sap Ag Prüfung von Skriptsprachen mit Schnittstellen mittels Annotationen in XML

Also Published As

Publication number Publication date
EP1406166A1 (de) 2004-04-07
US20060248538A1 (en) 2006-11-02
US20040123273A1 (en) 2004-06-24
AU2003275972A1 (en) 2004-04-23
US7584457B2 (en) 2009-09-01
EP1406166B1 (de) 2011-07-13
WO2004031946A1 (en) 2004-04-15

Similar Documents

Publication Publication Date Title
ATE516537T1 (de) Prüfung von skriptsprachen mit schnittstellen mittels annotationen in xml
GB2395316B (en) Method and apparatus for performing validation of program code conversion
GB2429554A (en) Method and apparatus to vectorize multiple input instructions
GB2492525B (en) Specification files for call translation and trace
CN104657189B (zh) 混合式动态码编译装置、方法及其服务系统
TWI256587B (en) Firmware upgrading method and system executing same
WO2002077822A3 (en) Dynamic software code instrumentation method and system
BR0317783A (pt) Método de interagir com um serviço definido por esquema por meio de um dispositivo terminal em uma rede, dispositivo terminal, produto de programa de computador, e, servidor
RU2004100525A (ru) Способ и система для записи макросов в синтаксисе, независимом от языка
TW200506717A (en) Method and system for performing global processor resource assignment in an assembler
CN105511865A (zh) 一种能够使用多语言或多引擎进行代码开发的方法及系统
DK1192536T3 (da) Udledning af operandtyper i et mellemliggende sprog
CN111158665B (zh) 代码生成方法及装置、电子设备和存储介质
WO2006053103A3 (en) Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints
RU2741622C2 (ru) Система голосового управления
US20060009962A1 (en) Code conversion using parse trees
ATE333101T1 (de) Verfahren zur generierung von testersteuerungen
CN117827901A (zh) 一种基于Nashorn的动态执行数据库脚本的方法与装置
CN105786465A (zh) 一种脚本语言执行方法及装置
WO2005119439A3 (en) Retargetable instruction set simulators
Torchiano Documenting pattern use in java programs
CN104331665A (zh) 一种可追溯目标码的生成方法及可追溯目标码生成器
KR101585044B1 (ko) 프로그래밍 언어 통합 처리 시스템
CN105095084B (zh) 一种服务器虚拟化平台的虚拟机内存性能测试系统及方法
CN120892030B (zh) 面向脚本语言的地震批处理作业编辑方法及装置

Legal Events

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