NO20050334L - Automatisk generering av kode for a simulere en meldingsutvekslingsmodell - Google Patents

Automatisk generering av kode for a simulere en meldingsutvekslingsmodell

Info

Publication number
NO20050334L
NO20050334L NO20050334A NO20050334A NO20050334L NO 20050334 L NO20050334 L NO 20050334L NO 20050334 A NO20050334 A NO 20050334A NO 20050334 A NO20050334 A NO 20050334A NO 20050334 L NO20050334 L NO 20050334L
Authority
NO
Norway
Prior art keywords
exchange model
message
code
state
code generation
Prior art date
Application number
NO20050334A
Other languages
English (en)
Norwegian (no)
Other versions
NO20050334D0 (no
Inventor
George P Copeland
Jason Allen
Luis Felipe Cabrera
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 NO20050334D0 publication Critical patent/NO20050334D0/no
Publication of NO20050334L publication Critical patent/NO20050334L/no

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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
    • 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/3696—Methods or tools to render software testable
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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/448—Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4498—Finite state machines
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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/46—Multiprogramming arrangements
    • G06F9/54—Interprogram communication
    • G06F9/546—Message passing systems or structures, e.g. queues

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Debugging And Monitoring (AREA)
  • Monitoring And Testing Of Exchanges (AREA)
  • Exchange Systems With Centralized Control (AREA)
NO20050334A 2004-01-23 2005-01-21 Automatisk generering av kode for a simulere en meldingsutvekslingsmodell NO20050334L (no)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
US10/763,311 US7370317B2 (en) 2004-01-23 2004-01-23 Automated generation of message exchange pattern simulation code

Publications (2)

Publication Number Publication Date
NO20050334D0 NO20050334D0 (no) 2005-01-21
NO20050334L true NO20050334L (no) 2005-07-25

Family

ID=34750408

Family Applications (1)

Application Number Title Priority Date Filing Date
NO20050334A NO20050334L (no) 2004-01-23 2005-01-21 Automatisk generering av kode for a simulere en meldingsutvekslingsmodell

Country Status (17)

Country Link
US (1) US7370317B2 (ko)
EP (1) EP1577777A3 (ko)
JP (1) JP5008829B2 (ko)
KR (1) KR101031960B1 (ko)
CN (1) CN1645824B (ko)
AU (1) AU2004240189B8 (ko)
BR (1) BRPI0405719A (ko)
CA (1) CA2490593A1 (ko)
IL (1) IL165890A (ko)
MX (1) MXPA05000417A (ko)
MY (1) MY145248A (ko)
NO (1) NO20050334L (ko)
NZ (1) NZ537524A (ko)
RU (1) RU2373565C2 (ko)
SG (1) SG113532A1 (ko)
TW (1) TWI362002B (ko)
ZA (1) ZA200410330B (ko)

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2838217B1 (fr) * 2002-04-05 2004-06-25 De Chelle Yvonne Auberlet Procede et dispositif de generation de logiciels executables sur mesure et evolutifs sans programmation informatique
US20060184914A1 (en) * 2005-02-17 2006-08-17 Microsoft Corporation Random code generation
US7930683B2 (en) 2006-03-31 2011-04-19 Sap Ag Test automation method for software programs
WO2008023587A1 (fr) * 2006-08-23 2008-02-28 Tsudakoma Kogyo Kabushikikaisha Tête d'usinage pour machine-outil
US8056090B2 (en) * 2007-06-29 2011-11-08 International Business Machines Corporation Reducing layering overhead in collective communication operations
US8984120B2 (en) * 2010-12-16 2015-03-17 International Business Machines Corporation Determining an unexpected disconnect event constraint within a text exchange session
TWI564711B (zh) * 2016-02-05 2017-01-01 立端科技股份有限公司 節省網路能源之方法
DE102020107141B4 (de) 2020-03-16 2022-03-17 Dspace Gmbh Simulieren einer Steuergerätekommunikation zwischen einem zu testenden Steuergerät und mindestens einem weiteren Steuergerät
US11366705B1 (en) * 2021-07-29 2022-06-21 Apex.AI, Inc. Deterministic replay of events between software entities

Family Cites Families (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5557798A (en) 1989-07-27 1996-09-17 Tibco, Inc. Apparatus and method for providing decoupling of data exchange details for providing high performance communication between software processes
JPH03295339A (ja) * 1990-04-13 1991-12-26 Oki Electric Ind Co Ltd プロトコル検証用試験方式
JPH06149618A (ja) * 1992-11-10 1994-05-31 Matsushita Electric Ind Co Ltd 自動実行装置および自動実行方法
JP3075664B2 (ja) * 1994-03-07 2000-08-14 ケイディディ株式会社 通信プロトコル適合性試験装置
JPH0847014A (ja) * 1994-07-27 1996-02-16 Toshiba Corp 交換機ソフトウェアの開発支援／保守方式
JPH08235098A (ja) * 1995-02-22 1996-09-13 Mitsubishi Electric Corp 分散アプリケーション通信方式
JP4253056B2 (ja) * 1998-08-03 2009-04-08 株式会社東芝 テスト装置、テストケース評価装置、およびテスト結果解析装置
JP2000322288A (ja) * 1999-05-06 2000-11-24 Fujitsu Ltd 分散オブジェクト開発システム、および、分散オブジェクト開発をコンピュータに実行させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体
US7366759B2 (en) * 2001-02-22 2008-04-29 Parity Communications, Inc. Method and system for characterizing relationships in social networks
US7020850B2 (en) 2001-05-02 2006-03-28 The Mathworks, Inc. Event-based temporal logic
EP1337080A3 (en) * 2002-02-15 2005-06-08 Hitachi, Ltd. Method of controlling the network devices
CN1452352A (zh) * 2002-04-19 2003-10-29 上海广电信息产业股份有限公司 通过互联网实现智能家用电器设备远程控制的系统和方法
US7689430B2 (en) * 2002-12-16 2010-03-30 International Business Machines Corporation Access to web services
JP4403794B2 (ja) 2003-02-28 2010-01-27 株式会社デンソー 制御プログラムの検査方法及び検査装置及び検査プログラム
US20050080608A1 (en) 2003-06-30 2005-04-14 Joe Burns Simulator for request/response systems
US6920410B2 (en) * 2003-07-08 2005-07-19 Hewlett-Packard Development Company, L.P. Systems and methods for testing a network service
US7451211B2 (en) 2004-01-23 2008-11-11 Microsoft Corporation Message exchange pattern tracking to avoid invalid message exchange

Also Published As

Publication number Publication date
AU2004240189A1 (en) 2005-08-11
US7370317B2 (en) 2008-05-06
NO20050334D0 (no) 2005-01-21
TWI362002B (en) 2012-04-11
BRPI0405719A (pt) 2005-09-20
KR101031960B1 (ko) 2011-04-29
KR20050076808A (ko) 2005-07-28
AU2004240189B2 (en) 2010-04-01
SG113532A1 (en) 2005-08-29
MXPA05000417A (es) 2005-08-16
IL165890A0 (en) 2006-01-15
ZA200410330B (en) 2006-09-27
CA2490593A1 (en) 2005-07-23
CN1645824A (zh) 2005-07-27
JP5008829B2 (ja) 2012-08-22
RU2373565C2 (ru) 2009-11-20
JP2005209209A (ja) 2005-08-04
AU2004240189B8 (en) 2010-04-29
IL165890A (en) 2010-04-15
EP1577777A2 (en) 2005-09-21
EP1577777A3 (en) 2008-08-27
RU2004137211A (ru) 2006-05-27
NZ537524A (en) 2006-06-30
TW200527291A (en) 2005-08-16
CN1645824B (zh) 2010-05-26
MY145248A (en) 2012-01-13
US20050166186A1 (en) 2005-07-28

Similar Documents

Publication Publication Date Title
NO20050334L (no) Automatisk generering av kode for a simulere en meldingsutvekslingsmodell
Ko et al. Contikirpl and tinyrpl: Happy together
García et al. Planetsim: A new overlay network simulation framework
NO20053897L (no) Sustem og fremgangsmate for automatisert plattformgenerering
WO2001086876A3 (en) Method and system for hardware simulation
WO2007079469A3 (en) System and method for group to group entertainment
NO20050547L (no) Arkitektur for et system til a distribuere oppdateringer og en fremgangsmate for distribusjon av programvare
CN104734870B (zh) 一种基于元胞自动机的软件故障传播规律发现方法
WO2007075430A3 (en) Simulation engine for a performance characteristics validation system
Bures et al. Gossiping components for cyber-physical systems
ITMI20011766A1 (it) Dispositivo e metodo per la simulazione della presenza di una o piu' sorgenti di suoni in posizioni virtuali nello spazio acustico a tre dim
McIver et al. Formal techniques for the analysis of wireless networks
CN110491212A (zh) 一种在线课堂教学方法、装置、调度服务器及系统
Kolberg et al. ENKI-An Open Source environmental modelling platfom
KR101759893B1 (ko) 분산자원 모의운전을 위한 시나리오 기반 가상장비 관리 장치
Losilla et al. An educational tool for wireless sensor networks
Nguyen et al. FMI compliant approach to investigate the impact of communication to islanded microgrid secondary control
CN110633095B (zh) 一种用于软件开发的系统和方法
Marques et al. REMPLI Discreet Event Simulation System
WO2007075489A3 (en) Simulating execution of processor instructions
Novotny et al. Simulating MANET-hosted service-based systems
Morone et al. Small world dynamics and the process of knowledge diffusion. The case of the metropolitan area of the great Santiago of Chile
Fiocchetti et al. BattleModel® & VALID® federation in an integrated test bed for a rapid stub generation (GSR)
CN105631309B (zh) 一种事件验权方法和验权系统
Hunter et al. Degree Centrality and the Probability of an Infectious Disease Outbreak in Towns within a

Legal Events

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