ZA200410330B - Automated generation of message exchange pattern simulation code - Google Patents
Automated generation of message exchange pattern simulation code Download PDFInfo
- Publication number
- ZA200410330B ZA200410330B ZA200410330A ZA200410330A ZA200410330B ZA 200410330 B ZA200410330 B ZA 200410330B ZA 200410330 A ZA200410330 A ZA 200410330A ZA 200410330 A ZA200410330 A ZA 200410330A ZA 200410330 B ZA200410330 B ZA 200410330B
- Authority
- ZA
- South Africa
- Prior art keywords
- message
- valid
- state
- exchange pattern
- message exchange
- Prior art date
Links
- 238000004088 simulation Methods 0.000 title claims description 21
- 230000005540 biological transmission Effects 0.000 claims description 74
- 230000007704 transition Effects 0.000 claims description 72
- 238000000034 method Methods 0.000 claims description 41
- 238000012360 testing method Methods 0.000 claims description 37
- 238000004590 computer program Methods 0.000 claims 19
- 230000002085 persistent effect Effects 0.000 claims 2
- 238000004891 communication Methods 0.000 description 9
- 230000008569 process Effects 0.000 description 8
- 238000005516 engineering process Methods 0.000 description 4
- 230000007246 mechanism Effects 0.000 description 4
- 230000008520 organization Effects 0.000 description 4
- 230000008901 benefit Effects 0.000 description 3
- 230000008859 change Effects 0.000 description 3
- 230000003287 optical effect Effects 0.000 description 2
- 239000007787 solid Substances 0.000 description 2
- 230000009471 action Effects 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 230000003993 interaction Effects 0.000 description 1
- 230000006855 networking Effects 0.000 description 1
- 238000009877 rendering Methods 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 238000009958 sewing Methods 0.000 description 1
- 230000001052 transient effect Effects 0.000 description 1
- 230000007723 transport mechanism Effects 0.000 description 1
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)
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 (1)
| Publication Number | Publication Date |
|---|---|
| ZA200410330B true ZA200410330B (en) | 2006-09-27 |
Family
ID=34750408
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| ZA200410330A ZA200410330B (en) | 2004-01-23 | 2004-12-22 | Automated generation of message exchange pattern simulation code |
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)
| 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)
| 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 |
-
2004
- 2004-01-23 US US10/763,311 patent/US7370317B2/en not_active Expired - Fee Related
- 2004-12-08 SG SG200407367A patent/SG113532A1/en unknown
- 2004-12-15 EP EP04029708A patent/EP1577777A3/en not_active Ceased
- 2004-12-17 AU AU2004240189A patent/AU2004240189B8/en not_active Ceased
- 2004-12-20 RU RU2004137211/09A patent/RU2373565C2/ru not_active IP Right Cessation
- 2004-12-21 IL IL165890A patent/IL165890A/en not_active IP Right Cessation
- 2004-12-21 BR BR0405719-8A patent/BRPI0405719A/pt not_active IP Right Cessation
- 2004-12-21 CA CA002490593A patent/CA2490593A1/en not_active Abandoned
- 2004-12-22 KR KR1020040110466A patent/KR101031960B1/ko not_active IP Right Cessation
- 2004-12-22 TW TW093140098A patent/TWI362002B/zh not_active IP Right Cessation
- 2004-12-22 ZA ZA200410330A patent/ZA200410330B/en unknown
- 2004-12-23 MY MYPI20045349A patent/MY145248A/en unknown
-
2005
- 2005-01-06 NZ NZ537524A patent/NZ537524A/en not_active IP Right Cessation
- 2005-01-07 MX MXPA05000417A patent/MXPA05000417A/es active IP Right Grant
- 2005-01-21 NO NO20050334A patent/NO20050334L/no not_active Application Discontinuation
- 2005-01-21 JP JP2005014569A patent/JP5008829B2/ja not_active Expired - Fee Related
- 2005-01-24 CN CN2005100057994A patent/CN1645824B/zh not_active Expired - Fee Related
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 |
| 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 |
| NO20050334L (no) | 2005-07-25 |
| 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 |
|---|---|---|
| NZ537524A (en) | Automated generation of message exchange pattern simulation code | |
| US7565451B2 (en) | Adaptive dispatch of received messages to code using inter-positioned message modification | |
| US7092995B2 (en) | Testing distributed applications | |
| CN110221872A (zh) | 页面跳转方法、装置、电子设备和存储介质 | |
| CN107133180A (zh) | 动态页面的测试方法、测试装置及存储介质 | |
| CN111444103B (zh) | 一种Web页面自动化测试方法及相关设备 | |
| US20040003043A1 (en) | Remote control of document objects in a collaborative environment | |
| KR20110128632A (ko) | 스마트폰 응용프로그램의 악성행위 탐지 방법 및 장치 | |
| Kazhamiakin et al. | Analysis of realizability conditions for web service choreographies | |
| CN111368330A (zh) | 一种基于区块链的以太坊智能合约审计系统及方法 | |
| CN111625474B (zh) | 一种联盟链的自动测试方法 | |
| CN113900939A (zh) | 测试环境访问方法、装置、可读存储介质和计算机设备 | |
| US11232019B1 (en) | Machine learning based test coverage in a production environment | |
| Egyed et al. | Integrating cots software into systems through instrumentation and reasoning | |
| CN111047444A (zh) | 一种基于区块链网络的数据交易方法和装置 | |
| CN115633073B (zh) | 微服务调用方法、电子设备、系统及可读存储介质 | |
| Ivan et al. | Self-healing for mobile applications | |
| CN103107898A (zh) | 用于同时发送或接收多个管理对象的方法、设备以及系统 | |
| Vain et al. | Model-based testing of real-time distributed systems | |
| Majuntke et al. | Abortable fork-linearizable storage | |
| US7451211B2 (en) | Message exchange pattern tracking to avoid invalid message exchange | |
| Prokić et al. | Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | |
| Urra et al. | Mobile agents and mobile devices: Friendship or difficult relationship? | |
| CN111596896B (zh) | 适配不同语言的接口调用方法及装置、设备及介质 | |
| CN112988415A (zh) | 一种数据交换对接方法、装置及介质 |