DE69415593T2 - Verfahren zur Überprüfung eines nachrichtengesteuerten Betriebssystems - Google Patents

Verfahren zur Überprüfung eines nachrichtengesteuerten Betriebssystems

Info

Publication number
DE69415593T2
DE69415593T2 DE69415593T DE69415593T DE69415593T2 DE 69415593 T2 DE69415593 T2 DE 69415593T2 DE 69415593 T DE69415593 T DE 69415593T DE 69415593 T DE69415593 T DE 69415593T DE 69415593 T2 DE69415593 T2 DE 69415593T2
Authority
DE
Germany
Prior art keywords
checking
message
operating system
driven operating
driven
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.)
Expired - Fee Related
Application number
DE69415593T
Other languages
English (en)
Other versions
DE69415593D1 (de
Inventor
Russel P Blake
Robert F Day
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.)
Microsoft Corp
Original Assignee
Microsoft 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 Microsoft Corp filed Critical Microsoft Corp
Publication of DE69415593D1 publication Critical patent/DE69415593D1/de
Application granted granted Critical
Publication of DE69415593T2 publication Critical patent/DE69415593T2/de
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

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
DE69415593T 1993-06-30 1994-06-28 Verfahren zur Überprüfung eines nachrichtengesteuerten Betriebssystems Expired - Fee Related DE69415593T2 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
US8562193A 1993-06-30 1993-06-30

Publications (2)

Publication Number Publication Date
DE69415593D1 DE69415593D1 (de) 1999-02-11
DE69415593T2 true DE69415593T2 (de) 1999-05-20

Family

ID=22192829

Family Applications (1)

Application Number Title Priority Date Filing Date
DE69415593T Expired - Fee Related DE69415593T2 (de) 1993-06-30 1994-06-28 Verfahren zur Überprüfung eines nachrichtengesteuerten Betriebssystems

Country Status (5)

Country Link
US (1) US5574854A (de)
EP (1) EP0632377B1 (de)
JP (1) JPH07105044A (de)
CA (1) CA2127222A1 (de)
DE (1) DE69415593T2 (de)

Families Citing this family (38)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2714746B1 (fr) * 1993-12-31 1996-02-02 Bull Sa Procédé de simulation d'une architecture "serveur" à partir d'une architecture "client".
US5790800A (en) * 1995-10-13 1998-08-04 Digital Equipment Corporation Client application program mobilizer
US5999972A (en) 1996-07-01 1999-12-07 Sun Microsystems, Inc. System, method and article of manufacture for a distributed computer system framework
US6266709B1 (en) 1996-07-01 2001-07-24 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture for a client-server failure reporting process
US6424991B1 (en) 1996-07-01 2002-07-23 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture for a client-server communication framework
US6434598B1 (en) 1996-07-01 2002-08-13 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture for a client-server graphical user interface (#9) framework in an interprise computing framework system
US5987245A (en) 1996-07-01 1999-11-16 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture (#12) for a client-server state machine framework
US6272555B1 (en) 1996-07-01 2001-08-07 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture for a client-server-centric interprise computing framework system
US6038590A (en) 1996-07-01 2000-03-14 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture for a client-server state machine in an interprise computing framework system
US5848246A (en) 1996-07-01 1998-12-08 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture for a client-server session manager in an interprise computing framework system
US6304893B1 (en) 1996-07-01 2001-10-16 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture for a client-server event driven message framework in an interprise computing framework system
WO1998006019A2 (en) * 1996-08-07 1998-02-12 Intrinsa Corporation Simulated program execution error detection method and apparatus
US5790778A (en) * 1996-08-07 1998-08-04 Intrinsa Corporation Simulated program execution error detection method and apparatus
US6078739A (en) * 1997-11-25 2000-06-20 Entelos, Inc. Method of managing objects and parameter values associated with the objects within a simulation model
US6047387A (en) * 1997-12-16 2000-04-04 Winbond Electronics Corp. Simulation system for testing and displaying integrated circuit's data transmission function of peripheral device
US7140005B2 (en) * 1998-12-21 2006-11-21 Intel Corporation Method and apparatus to test an instruction sequence
CA2370283C (en) * 1999-04-16 2012-07-17 Entelos, Inc. Method and apparatus for conducting linked simulation operations utilizing a computer-based system model
US6442752B1 (en) * 1999-08-26 2002-08-27 Unisys Corporation Method, apparatus, and computer program product for replacing a dynamic link library (dll) of a first computing environment with a dll of a second computing environment that can be invoked from the first computing environment in a transparent manner
WO2001022227A1 (en) * 1999-09-20 2001-03-29 Actuarieel Adviesbureau Vermaase B.V. Computer program for multiple types of user interfaces and method for testing such computer programs
US6729699B1 (en) * 2000-10-04 2004-05-04 International Business Machines Corporation Invocation map based architecture for program execution
US6832181B1 (en) * 2000-11-03 2004-12-14 Hewlett-Packard Development Company, L.P. Method to distinguish between physical hardware and simulated hardware
US7865349B2 (en) * 2001-01-19 2011-01-04 National Instruments Corporation Simulation, measurement and/or control system and method with coordinated timing
US7072810B2 (en) * 2001-06-08 2006-07-04 Tata Consultancy Services Limited Method and apparatus for pattern based generation of graphical user interfaces (GUI)
US20030005168A1 (en) * 2001-06-29 2003-01-02 Leerssen Scott Alan System and method for auditing system call events with system call wrappers
US20040199828A1 (en) * 2003-04-01 2004-10-07 International Business Machines Corporation Method and apparatus for tracing troubleshooting events for aiding technical assistance
JP4020849B2 (ja) * 2003-09-25 2007-12-12 松下電器産業株式会社 シミュレーション装置、シミュレーションプログラム、記録媒体及びシミュレーション方法
US7496898B1 (en) * 2004-04-15 2009-02-24 Sun Microsystems, Inc. Error analysis and diagnosis for generic function calls
EP1779245B1 (de) * 2004-07-20 2018-06-13 Microsoft Technology Licensing, LLC Verfahren und system zur minimierung von verlusten in einer computeranwendung
US7761282B2 (en) * 2005-12-16 2010-07-20 International Business Machines Corporation System and method to simulate conditions and drive control-flow in software
US7698603B2 (en) * 2007-09-07 2010-04-13 Microsoft Corporation Test results management
US8949103B2 (en) * 2009-05-01 2015-02-03 Microsoft Corporation Program code simulator
DE102010006572A1 (de) * 2010-02-02 2011-08-04 Giesecke & Devrient GmbH, 81677 Verfahren zum Ausführen einer Anwendung
US8938689B2 (en) 2010-03-30 2015-01-20 Ncr Corporation Window suppression
US9111031B2 (en) * 2010-04-16 2015-08-18 Salesforce.Com, Inc. Method and system for simulating and analyzing code execution in an on-demand service environment
EP2877915A4 (de) * 2012-07-27 2016-03-30 Hewlett Packard Development Co Aufzeichnung externer prozesse
US9396044B2 (en) * 2014-04-25 2016-07-19 Sony Corporation Memory efficient thread-level speculation
CN110858163A (zh) * 2018-08-22 2020-03-03 阿里巴巴集团控股有限公司 数据处理方法、装置和机器可读介质
CN113722020A (zh) * 2020-05-26 2021-11-30 腾讯科技（深圳）有限公司 接口调用方法、装置和计算机可读存储介质

Family Cites Families (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4696003A (en) * 1986-03-10 1987-09-22 International Business Machines Corporation System for testing interactive software
US4819233A (en) * 1987-04-08 1989-04-04 Westinghouse Electric Corp. Verification of computer software
US4819234A (en) * 1987-05-01 1989-04-04 Prime Computer, Inc. Operating system debugger
IE60444B1 (en) * 1988-03-30 1994-07-13 Elverex Ltd A software verification apparatus
US5159669A (en) * 1988-12-15 1992-10-27 Xerox Corporation Automatically creating a second workspace operation record including history data and a unit ID based on a first workspace operation
US5226162A (en) * 1990-01-22 1993-07-06 International Business Machines Corporation Assist program for operating a debug program in conjunction with a user program
US5218605A (en) * 1990-01-31 1993-06-08 Hewlett-Packard Company Software modules for testing computer hardware and software
US5157782A (en) * 1990-01-31 1992-10-20 Hewlett-Packard Company System and method for testing computer hardware and software
US5157779A (en) * 1990-06-07 1992-10-20 Sun Microsystems, Inc. User extensible testing system
US5233611A (en) * 1990-08-20 1993-08-03 International Business Machines Corporation Automated function testing of application programs
US5339261A (en) * 1992-10-22 1994-08-16 Base 10 Systems, Inc. System for operating application software in a safety critical environment

Also Published As

Publication number Publication date
EP0632377A1 (de) 1995-01-04
JPH07105044A (ja) 1995-04-21
DE69415593D1 (de) 1999-02-11
CA2127222A1 (en) 1994-12-31
EP0632377B1 (de) 1998-12-30
US5574854A (en) 1996-11-12

Similar Documents

Publication Publication Date Title
DE69415593T2 (de) Verfahren zur Überprüfung eines nachrichtengesteuerten Betriebssystems
DE69231239T2 (de) Verfahren zur Bedienung eines Prozessors
DE69528663T2 (de) Verfahren zum überprüfen der betriebsanordnung eines rechnersystems
DE58903479D1 (de) Verfahren zur wirksamschaltung eines sicherheitssystems.
DE69402661T2 (de) Verfahren zur verstärkung eines glasgegenstandes
DE69032146D1 (de) System zur Auffindung eines beweglichen Objekts
DE69433849D1 (de) System zur ausrichtung eines fahrzeugs
DE69408601D1 (de) System und Verfahren zur Emulierung von Vielfachprozess-Pipelines in einer Einprozessumgebung
DE59400559D1 (de) Verfahren zur überprüfung der konvertierungsfähigkeit eines katalysators
DE69420802D1 (de) Verfahren zum Prüfen eines Teilnehmersystems
DE3851207T2 (de) Verfahren zur Bedienung eines Rechnergraphiksystems.
DE69326072T2 (de) Verfahren zur Prüfung eines sequentiellen endlichen Automaten
DE59404052D1 (de) Verfahren zur überprüfung der konvertierungsfähigkeit eines katalysators
DE69510258D1 (de) System und Verfahren zur Übertragung eines Rechnerobjektes
DE69408563T2 (de) Verfahren zur überwachung eines laufenden fadens
DE59402500D1 (de) Verfahren zur Kühlung eines Bauteils
DE68913287T2 (de) Verfahren zur Dekontaminierung eines Druckgases.
DE69414658D1 (de) Verfahren zur ausführung eines bearbeitungsprogrammes
DE69417773T2 (de) Verfahren zur Herstellung eines p-Fuchsons
DE69609719T2 (de) Verfahren zur überwachung eines rechnersystems
DE59304473D1 (de) Verfahren zur überwachung eines gebietes
DE69428031T2 (de) Verfahren zur bezeichnung eines gebietes
DE59308855D1 (de) Verfahren zum Betreiben einer Datenverarbeitungsanlage
DE59003171D1 (de) Verfahren zum gegenläufigen biegen eines bleches.
DE69028359T2 (de) Verfahren zur Aktualisierung eines Auszahlsystems

Legal Events

Date Code Title Description
8364 No opposition during term of opposition
8339 Ceased/non-payment of the annual fee