NO20051241D0 - Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo - Google Patents

Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo

Info

Publication number
NO20051241D0
NO20051241D0 NO20051241A NO20051241A NO20051241D0 NO 20051241 D0 NO20051241 D0 NO 20051241D0 NO 20051241 A NO20051241 A NO 20051241A NO 20051241 A NO20051241 A NO 20051241A NO 20051241 D0 NO20051241 D0 NO 20051241D0
Authority
NO
Norway
Prior art keywords
heterogeneous
computing environment
distributed computing
verifiable
processes
Prior art date
Application number
NO20051241A
Other languages
English (en)
Other versions
NO20051241L (no
Inventor
Andrew Martin West
Stephen Sean Mark Ross-Talbot
Gary Peter Brown
Duncan Jonston-Watt
Original Assignee
Enigmatec Corp
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 Enigmatec Corp filed Critical Enigmatec Corp
Publication of NO20051241D0 publication Critical patent/NO20051241D0/no
Publication of NO20051241L publication Critical patent/NO20051241L/no

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/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3466—Performance evaluation by tracing or monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G06F2201/86—Event-based monitoring

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
NO20051241A 2002-09-25 2005-03-10 Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo NO20051241L (no)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US10/254,258 US20040060038A1 (en) 2002-09-25 2002-09-25 Verifiable processes in a heterogeneous distributed computing environment
PCT/GB2003/004205 WO2004029800A2 (en) 2002-09-25 2003-09-25 Verifiable processes in a heterogeneous distributed computing environment

Publications (2)

Publication Number Publication Date
NO20051241D0 true NO20051241D0 (no) 2005-03-10
NO20051241L NO20051241L (no) 2005-06-27

Family

ID=31993311

Family Applications (1)

Application Number Title Priority Date Filing Date
NO20051241A NO20051241L (no) 2002-09-25 2005-03-10 Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo

Country Status (8)

Country Link
US (2) US20040060038A1 (no)
EP (1) EP1543412A2 (no)
JP (1) JP2006500670A (no)
CN (1) CN1688971A (no)
AU (1) AU2003269216A1 (no)
GB (1) GB2405977B (no)
NO (1) NO20051241L (no)
WO (1) WO2004029800A2 (no)

Families Citing this family (30)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7237231B2 (en) * 2003-03-10 2007-06-26 Microsoft Corporation Automatic identification of input values that expose output failures in a software object
US7278135B2 (en) * 2003-06-11 2007-10-02 Microsoft Corporation Method and system for generating an efficient test suite from a domain description with given constraints
US8386272B2 (en) * 2003-08-06 2013-02-26 International Business Machines Corporation Autonomic assistance for policy generation
US7861181B2 (en) * 2003-08-29 2010-12-28 International Business Machines Corporation Autonomic user interface widgets
GB2408355B (en) * 2003-11-18 2007-02-14 Ibm A system for verifying a state of an environment
US8799003B2 (en) * 2004-05-18 2014-08-05 International Business Machines Corporation Dynamic binding of principal services in a cross-enterprise business process management system
GB2416048A (en) * 2004-07-10 2006-01-11 Hewlett Packard Development Co Inferring data type in a multi stage process
US8819639B2 (en) * 2004-09-15 2014-08-26 Lakeside Software, Inc. System for selectively blocking execution of applications on a computer system
US7406626B2 (en) * 2004-11-12 2008-07-29 Empirix Inc. Test agent architecture
EP1677197A1 (en) * 2004-12-31 2006-07-05 ST Incard S.r.l. Test case automatic generation method for testing proactive GSM applications on SIM card
US20070046282A1 (en) * 2005-08-31 2007-03-01 Childress Rhonda L Method and apparatus for semi-automatic generation of test grid environments in grid computing
EP1934721A2 (en) * 2005-09-23 2008-06-25 Business Objects, S.A. Apparatus and method for data profile based construction of an extraction, transform, load (etl) task
US9501463B2 (en) * 2005-12-08 2016-11-22 Microsoft Technology Licensing, Llc Spreadsheet cell-based notifications
US7707553B2 (en) * 2005-12-08 2010-04-27 International Business Machines Corporation Computer method and system for automatically creating tests for checking software
US20070180433A1 (en) * 2006-01-27 2007-08-02 International Business Machines Corporation Method to enable accurate application packaging and deployment with optimized disk space usage
CN100571167C (zh) * 2006-02-24 2009-12-16 国际商业机器公司 Web服务业务流程的单元测试的方法和设备
US8726241B1 (en) * 2007-06-06 2014-05-13 Rockwell Collins, Inc. Method and system for the development of high-assurance computing elements
US8627299B2 (en) 2008-02-29 2014-01-07 International Business Machines Corporation Virtual machine and programming language for event processing
US8397216B2 (en) * 2008-02-29 2013-03-12 International Business Machines Corporation Compiler for a declarative event-driven programming model
US8365149B2 (en) * 2008-02-29 2013-01-29 International Business Machines Corporation Debugger for a declarative event-driven programming model
US20110010217A1 (en) * 2009-07-13 2011-01-13 International Business Machines Corporation Service Oriented Architecture Governance Using A Template
US8386282B2 (en) * 2009-07-22 2013-02-26 International Business Machines Corporation Managing events in a configuration of SOA governance components
US8839214B2 (en) * 2010-06-30 2014-09-16 Microsoft Corporation Indexable type transformations
US9043761B2 (en) * 2010-09-01 2015-05-26 International Business Machines Corporation Fault localization using condition modeling and return value modeling
US8510762B1 (en) * 2011-10-12 2013-08-13 Google Inc. Generate custom client library samples based on a machine readable API description
JP5857806B2 (ja) * 2012-03-08 2016-02-10 日本電気株式会社 分散処理システムのテスト方法および分散処理システム
US9389986B2 (en) * 2013-05-06 2016-07-12 Microsoft Technology Licensing, Llc Identifying impacted tests from statically collected data
CN105426231A (zh) * 2014-09-04 2016-03-23 腾讯科技（深圳）有限公司 多进程处理装置和多进程处理方法
CN108509335B (zh) * 2018-01-31 2021-03-19 浙江理工大学 基于遗传算法优化的软件测试数据生成方法
CN111610976B (zh) * 2020-04-08 2023-04-07 中科曙光(南京)计算技术有限公司 异构应用移植方法、装置和计算机设备

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE19535084A1 (de) * 1995-09-21 1997-03-27 Ibm Verfahren und Vorrichtung zur dynamischen Optimierung von durch ein Computersystem gemanagten Geschäftsprozessen
US6385765B1 (en) * 1996-07-02 2002-05-07 The Research Foundation Specification and verification for concurrent systems with graphical and textual editors
US6516322B1 (en) * 2000-04-28 2003-02-04 Microsoft Corporation XML-based representation of mobile process calculi
AU2001292567A1 (en) * 2000-09-01 2002-03-13 Togethersoft Corporation Methods and systems for improving a workflow based on data mined from plans created from the workflow
US6868413B1 (en) * 2001-05-10 2005-03-15 Networks Associates Technology, Inc. System and method for customizing and processing business logic rules in a business process system
US7565642B2 (en) * 2002-08-09 2009-07-21 Corticon Technologies, Inc. Rule engine

Also Published As

Publication number Publication date
US20040060038A1 (en) 2004-03-25
GB2405977B (en) 2005-11-09
AU2003269216A1 (en) 2004-04-19
JP2006500670A (ja) 2006-01-05
GB2405977A (en) 2005-03-16
US20040064806A1 (en) 2004-04-01
WO2004029800A2 (en) 2004-04-08
EP1543412A2 (en) 2005-06-22
NO20051241L (no) 2005-06-27
WO2004029800A3 (en) 2004-08-12
CN1688971A (zh) 2005-10-26
GB0428115D0 (en) 2005-01-26

Similar Documents

Publication Publication Date Title
NO20051241D0 (no) Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo
ITMI20031310A1 (it) Geogriglia o struttura a maglie e metodo per la sua fabbricazione.
DE60301762D1 (de) Elektronische, gesteuerte Kupplung
NO20030459L (no) Intelligent, selvkalibrerende akustisk telemetrisystem
DE60305332D1 (de) IMIDAZOi1,2-AöPYRIDINE
ITTO20020157A0 (it) Macchina depallettizzatrice.
FR2843798B1 (fr) Machine doseuse
DE60317234D1 (de) Dihalo-allyloxy-phenol-derivate mit pestizid-aktivität
FR2859632B1 (fr) Comprime multisecable a observance amelioree.
DE50305595D1 (de) Datenverarbeitungsvorrichtung
BR8202950Y1 (pt) disposição técnica introduzida em transportador combinado.
UA6882S (uk) Умивальник літального апарата, переважно як-40
BR8301951Y1 (pt) disposiÇço introduzida em simulador de degrau.
ITTO20020456A1 (it) ,,morsa con moltiplicatore di forza a ginocchiera,,.
BR8201740Y1 (pt) disposição introduzida em balão de enfeite.
BR8202121Y1 (pt) disposições construtivas em empilhadeiras.
ES1051553Y (es) Bicicleta perfeccionada.
ITTO20020117U1 (it) ,,dispositivo di distribuzione di libri a una brossuratrice,,.
ITSA20020017A1 (it) Salvavita.
FI20020712A (fi) Työstölaite
FI20020769A0 (fi) Työstölaite
MA25629A1 (fr) Reacteur : aero-hydro-electrique.
ITTO20020045U1 (it) Portamonete a tacco perfezionato.
BR8201890Y1 (pt) disposição introduzida em bombona.
FIU20020257U0 (fi) Järjestely arvokuljetuslaukussa

Legal Events

Date Code Title Description
FC2A Withdrawal, rejection or dismissal of laid open patent application