RU2004137211A - Автоматическая генерация кода моделирования схемы обмена сообщениями - Google Patents

Автоматическая генерация кода моделирования схемы обмена сообщениями Download PDF

Info

Publication number
RU2004137211A
RU2004137211A RU2004137211/09A RU2004137211A RU2004137211A RU 2004137211 A RU2004137211 A RU 2004137211A RU 2004137211/09 A RU2004137211/09 A RU 2004137211/09A RU 2004137211 A RU2004137211 A RU 2004137211A RU 2004137211 A RU2004137211 A RU 2004137211A
Authority
RU
Russia
Prior art keywords
valid
code
transmission
messages
message
Prior art date
Application number
RU2004137211/09A
Other languages
English (en)
Other versions
RU2373565C2 (ru
Inventor
Джордж П КОУПЛЭНД (US)
Джордж П КОУПЛЭНД
Джейсон АЛЛЕН (US)
Джейсон АЛЛЕН
Луис Фелипе КАБРЕРА (US)
Луис Фелипе КАБРЕРА
Original Assignee
Майкрософт Корпорейшн (Us)
Майкрософт Корпорейшн
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 Майкрософт Корпорейшн (Us), Майкрософт Корпорейшн filed Critical Майкрософт Корпорейшн (Us)
Publication of RU2004137211A publication Critical patent/RU2004137211A/ru
Application granted granted Critical
Publication of RU2373565C2 publication Critical patent/RU2373565C2/ru

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)

Claims (32)

1. Способ, реализуемый в вычислительной системе генерации кода, которая содержит один или более процессоров, выполненных с возможностью исполнения машиноисполняемых команд в системной памяти, и предназначенный для автоматической генерации посредством вычислительной системы генерации кода, кода, который тестирует возможности тестовой вычислительной системы в отношении использования приложения схемы обмена сообщениями для участия в транзакциях сообщений согласно схеме обмена сообщениями, при этом способ содержит этапы, на которых осуществляют доступ к определению схемы обмена сообщениями, которое задает совокупность состояний, причем определение схемы обмена сообщениями дополнительно имеет для каждого из упомянутой совокупности состояний указание одного или более допустимых сообщений, которые согласуются со схемой обмена сообщениями для этого состояния, указание того, какая вычислительная система может передавать каждое допустимое сообщение в данном состоянии, и указание перехода между состояниями для, по меньшей мере, некоторых из допустимых сообщений, идентифицирующее одно из упомянутой совокупности состояний, для перехода в которое должно появиться допустимое сообщение, для каждого состояния, в котором определение схемы обмена сообщениями позволяет передачу допустимого сообщения передачи посредством тестовой вычислительной системы осуществляют генерацию кода, который, по меньшей мере, моделирует передачу допустимого сообщения передачи и который переходит к другому коду, который представляет состояние, для перехода в которое должно быть передано допустимое сообщение передачи, и для каждого состояния, в котором определение схемы обмена сообщениями позволяет прием допустимого сообщения приема, осуществляют генерацию кода, который моделирует прием допустимого сообщения приема и который переходит к другому коду, который представляет состояние, для перехода в которое должно быть принято допустимое сообщение приема.
2. Способ по п.1, в котором определение схемы обмена сообщениями указывает на то, что, в конкретном состоянии может быть передано любое из совокупности допустимых сообщений передачи.
3. Способ по п.2, в котором определение схемы обмена сообщениями указывает для каждого из упомянутой совокупности допустимых сообщений передачи для конкретного состояния процент вероятности того, что каждое из упомянутой совокупности допустимых сообщений передачи будет передано в данном конкретном состоянии, причем способ дополнительно содержит этап, на котором автоматически генерируют код для, по меньшей мере, моделирования каждого из упомянутой совокупности допустимых сообщений передачи и осуществления соответствующих переходов между состояниями для данной передачи.
4. Способ по п.3, дополнительно содержащий этап, на котором осуществляют генерацию кода, который генерирует псевдослучайное значение и выбирает одно из упомянутой совокупности допустимых сообщений передачи для передачи на основании псевдослучайного значения и процента вероятности.
5. Способ по п.1, дополнительно содержащий для, по меньшей мере, одного состояния этап, на котором осуществляют генерацию кода, который, по меньшей мере, моделирует передачу недопустимого сообщения передачи.
6. Способ по п.5, в котором также указывают процент вероятности того, что недопустимые сообщения передачи будут переданы в данном конкретном состоянии, причем способ дополнительно содержит этап, на котором осуществляют генерацию кода, который генерирует псевдослучайное значение и выбирает одно из недопустимых сообщений передачи для передачи на основании псевдослучайного значения и процента вероятности.
7. Способ по п.1, в котором определение схемы обмена сообщениями указывает, что в конкретном состоянии может быть принято любое из совокупности допустимых сообщений приема.
8. Способ по п.7, в котором определение схемы обмена сообщениями указывает для каждого из упомянутой совокупности допустимых сообщений приема для конкретного состояния процент вероятности того, что каждое из упомянутой совокупности допустимых сообщений приема будет принято в конкретном состоянии, причем способ дополнительно содержит этап, на котором автоматически генерируют код для моделирования каждого из упомянутой совокупности допустимых сообщений приема и осуществления соответствующих переходов между состояниями для данной передачи.
9. Способ по п.8, дополнительно содержащий этап, на котором осуществляют генерацию кода, который генерирует псевдослучайное значение и выбирает одно из упомянутой совокупности допустимых сообщений приема для моделированного приема на основании псевдослучайного значения и процента вероятности.
10. Способ по п.1, дополнительно содержащий для, по меньшей мере, одного состояния этап, на котором осуществляют генерацию кода, который моделирует прием недопустимого сообщения передачи.
11. Способ по п.10, в котором также указывают процент вероятности того, что недопустимые сообщения приема будут приняты в данном конкретном состоянии, причем способ дополнительно содержит этап, на котором осуществляют генерацию кода, который генерирует псевдослучайное значение и выбирает одно из недопустимых принятых сообщений для моделированного приема на основании псевдослучайного значения и процента вероятности.
12. Способ по п.1, в котором определение схемы обмена сообщениями задают с использованием стандарта языка описания Web-служб (WSDL).
13. Способ по п.1, в котором определение схемы обмена сообщениями дополнительно задает политики хронирования, подлежащие применению в конкретном состоянии.
14. Компьютерный программный продукт для использования в вычислительной системе генерации кода, которая содержит один или более процессоров, выполненных с возможностью исполнения машиноисполняемых команд в системной памяти, предназначенный для осуществления способа, посредством которого вычислительная система генерации кода автоматически генерирует код, который тестирует возможности тестовой вычислительной системы в отношении использования приложения схемы обмена сообщениями для участия в транзакциях сообщений согласно схеме обмена сообщениями, при этом компьютерный программный продукт содержит один или более машиночитаемых носителей, которые при выполнении одним или более процессорами вычислительной системы генерации кода предписывают вычислительной системе генерации кода осуществлять способ, содержащий осуществление доступа к определению схемы обмена сообщениями, которое задает совокупность состояний, причем определение схемы обмена сообщениями дополнительно имеет для каждого из упомянутой совокупности состояний указание одного или нескольких допустимых сообщений, которые согласуются со схемой обмена сообщениями для этого состояния, указание на то, какая вычислительная система может передавать каждое допустимое сообщение в данном состоянии и указание перехода между состояниями для, по меньшей мере, некоторых из допустимых сообщений, идентифицирующее одно из упомянутой совокупности состояний, для перехода в которое должно появиться допустимое сообщение, для каждого состояния, в котором определение схемы обмена сообщениями позволяет передачу допустимого сообщения передачи тестовой вычислительной системой, осуществление генерации кода, который, по меньшей мере, моделирует передачу допустимого сообщения передачи и который переходит к другому коду, который представляет состояние, для перехода в которое должно быть передано допустимое сообщение передачи, и для каждого состояния, в котором определение схемы обмена сообщениями позволяет прием допустимого сообщения приема, осуществление генерации кода, который моделирует прием допустимого сообщения приема и который переходит к другому коду, который представляет состояние, для перехода в которое должно быть принято допустимое сообщение приема.
15. Компьютерный программный продукт по п.14, в котором определение схемы обмена сообщениями указывает, что в конкретном состоянии может быть передано любое из совокупности допустимых сообщений передачи.
16. Компьютерный программный продукт по п.15, в котором определение схемы обмена сообщениями указывает для каждого из упомянутой совокупности допустимых сообщений передачи для конкретного состояния процент вероятности того, что каждое из упомянутой совокупности допустимых сообщений передачи будет передано в данном конкретном состоянии, причем способ дополнительно содержит автоматическую генерацию кода для, по меньшей мере, моделирования каждого из упомянутой совокупности допустимых сообщений передачи и осуществления соответствующих переходов между состояниями для данной передачи.
17. Компьютерный программный продукт по п.16, дополнительно содержащий осуществление генерации кода, который генерирует псевдослучайное значение и выбирает одно из упомянутой совокупности допустимых сообщений передачи для передачи на основании псевдослучайного значения и процента вероятности.
18. Компьютерный программный продукт по п.14, дополнительно содержащий для, по меньшей мере, одного состояния, осуществление генерации кода, который, по меньшей мере, моделирует передачу недопустимого сообщения передачи.
19. Компьютерный программный продукт по п.18, в котором также указывается процент вероятности того, что недопустимые сообщения передачи будут переданы в данном конкретном состоянии, причем способ дополнительно содержит осуществление генерации кода, который генерирует псевдослучайное значение и выбирает одно из недопустимых сообщений передачи для передачи на основании псевдослучайного значения и процента вероятности.
20. Компьютерный программный продукт по п.14, в котором определение схемы обмена сообщениями указывает, что в конкретном состоянии может быть принято любое из совокупности допустимых сообщений приема.
21. Компьютерный программный продукт по п.20, в котором определение схемы обмена сообщениями указывает для каждого из упомянутой совокупности допустимых сообщений приема для конкретного состояния процент вероятности того, что каждое из упомянутой совокупности допустимых сообщений приема будет принято в конкретном состоянии, причем способ дополнительно содержит автоматическую генерацию кода для моделирования каждого из упомянутой совокупности допустимых сообщений приема и осуществления соответствующих переходов между состояниями для данной передачи.
22. Компьютерный программный продукт по п.21, дополнительно содержащий осуществление генерации кода, который генерирует псевдослучайное значение и выбирает одно из упомянутой совокупности допустимых сообщений приема для моделированного приема на основании псевдослучайного значения и процента вероятности.
23. Компьютерный программный продукт по п.14, дополнительно содержащий для, по меньшей мере, одного состояния осуществление генерации кода, который моделирует прием недопустимого сообщения передачи.
24. Компьютерный программный продукт по п.23, в котором также указывается процент вероятности того, что недопустимые сообщения приема будут приняты в данном конкретном состоянии, причем способ дополнительно содержит осуществление генерации кода, который генерирует псевдослучайное значение и выбирает одно из недопустимых принятых сообщений для моделированного приема на основании псевдослучайного значения и процента вероятности.
25. Компьютерный программный продукт по п.14, в котором определение схемы обмена сообщениями задано с использованием стандарта языка описания Web-служб (WSDL).
26. Компьютерный программный продукт по п.14, в котором определение схемы обмена сообщениями дополнительно задает политики хронирования, подлежащие применению в конкретном состоянии.
27. Компьютерный программный продукт по п.14, в котором один или более машиночитаемых носителей являются физическими носителями.
28. Компьютерный программный продукт по п.27, в котором один или более машиночитаемых носителей включают в себя системную память.
29. Компьютерный программный продукт по п.27, в котором один или более машиночитаемых носителей включают в себя постоянную память.
30. Компьютерный программный продукт по п.29, в котором постоянная память является магнитным диском.
31. Способ, реализуемый в вычислительной системе генерации кода, которая содержит один или более процессоров, выполненных с возможностью исполнения машиноисполняемых команд в системной памяти, и предназначенный для автоматической генерации посредством вычислительной системы генерации кода, кода, который тестирует возможности тестовой вычислительной системы в отношении использования приложения схемы обмена сообщениями для участия в транзакциях сообщений согласно схеме обмена сообщениями, при этом способ содержит этапы, на которых осуществляют доступ к определению схемы обмена сообщениями, которое задает совокупность состояний, причем определение схемы обмена сообщениями дополнительно имеет для каждого из упомянутой совокупности состояний указание одного или нескольких допустимых сообщений, которые согласуются со схемой обмена сообщениями для этого состояния, указание на то, какая вычислительная система может передавать каждое допустимое сообщение в данном состоянии и указание перехода между состояниями для, по меньшей мере, некоторых из допустимых сообщений, идентифицирующее одно из упомянутой совокупности состояний, для перехода в которое должно появиться допустимое сообщение, автоматически генерируют код моделирования схемы обмена сообщениями с использованием определения схемы обмена сообщениями.
32. Способ по п.31, в котором на этапе автоматической генерации кода моделирования схемы обмена сообщениями с использованием определения схемы обмена сообщениями для каждого состояния, в котором определение схемы обмена сообщениями позволяет передачу допустимого сообщения передачи посредством тестовой вычислительной системы, осуществляют генерацию кода, который, по меньшей мере, моделирует передачу допустимого сообщения передачи и который переходит к другому коду, который представляет состояние, для перехода в которое должно быть передано допустимое сообщение передачи, и для каждого состояния, в котором определение схемы обмена сообщениями позволяет прием допустимого сообщения приема, осуществляют генерацию кода, который моделирует прием допустимого сообщения приема и который переходит к другому коду, который представляет состояние, для перехода в которое должно быть принято допустимое сообщение приема.
RU2004137211/09A 2004-01-23 2004-12-20 Автоматическая генерация кода моделирования схемы обмена сообщениями RU2373565C2 (ru)

Applications Claiming Priority (2)

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
US10/763,311 2004-01-23

Publications (2)

Publication Number Publication Date
RU2004137211A true RU2004137211A (ru) 2006-05-27
RU2373565C2 RU2373565C2 (ru) 2009-11-20

Family

ID=34750408

Family Applications (1)

Application Number Title Priority Date Filing Date
RU2004137211/09A RU2373565C2 (ru) 2004-01-23 2004-12-20 Автоматическая генерация кода моделирования схемы обмена сообщениями

Country Status (17)

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

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
KR20090064531A (ko) * 2006-08-23 2009-06-19 츠다코마 고교 가부시키가이샤 공작기계용의 가공용 헤드
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
MY145248A (en) 2012-01-13
NZ537524A (en) 2006-06-30
SG113532A1 (en) 2005-08-29
AU2004240189B8 (en) 2010-04-29
CN1645824B (zh) 2010-05-26
RU2373565C2 (ru) 2009-11-20
TWI362002B (en) 2012-04-11
BRPI0405719A (pt) 2005-09-20
IL165890A0 (en) 2006-01-15
CN1645824A (zh) 2005-07-27
NO20050334D0 (no) 2005-01-21
US7370317B2 (en) 2008-05-06
CA2490593A1 (en) 2005-07-23
EP1577777A2 (en) 2005-09-21
ZA200410330B (en) 2006-09-27
JP2005209209A (ja) 2005-08-04
EP1577777A3 (en) 2008-08-27
AU2004240189B2 (en) 2010-04-01
IL165890A (en) 2010-04-15
NO20050334L (no) 2005-07-25
US20050166186A1 (en) 2005-07-28
TW200527291A (en) 2005-08-16
JP5008829B2 (ja) 2012-08-22
KR101031960B1 (ko) 2011-04-29
KR20050076808A (ko) 2005-07-28
MXPA05000417A (es) 2005-08-16
AU2004240189A1 (en) 2005-08-11

Similar Documents

Publication Publication Date Title
Chen et al. Research and application of the interactive English online teaching system based on the internet of things
CN113347164B (zh) 基于区块链的分布式共识系统及方法、设备、存储介质
US20130145352A1 (en) Business process execution language program simulation
KR101548160B1 (ko) 워게임 모델의 연동 시스템 및 방법
US7698106B2 (en) System and method for benchmarking correlated stream processing systems
CN101013968A (zh) 自动接口测试框架
CN1645824B (zh) 消息交换模式模拟代码的自动生成
Pllana et al. On customizing the UML for modeling performance-oriented applications
CN108833578A (zh) 基于fifo命名管道进行双工通信的方法及相关设备
CN110380936A (zh) 测试方法和装置
Šimoňák Verification of communication protocols based on formal methods integration
CN202694145U (zh) 主控板的测试系统
CN110022323A (zh) 一种基于WebSocket与Redux的跨终端实时交互的方法和系统
Ding et al. An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service.
CN117194245A (zh) 自动化测试方法、装置、设备及存储介质
CN115941538A (zh) 一种针对多方安全计算的测试系统、测试方法及装置
KR102396923B1 (ko) 데이터 분산 서비스에서 성능 검증 방법
CN112953747A (zh) 一种联盟链的性能分析方法、系统及终端设备
JP2007293761A (ja) エージェントの配置プログラム、方法、および装置
CN113328913B (zh) 一种提高项目测试效率的方法、装置和系统
CN114553714B (zh) 一种解决区块链网络测试不确定性的模拟方法
CN109213682A (zh) 一种测试客户端的方法、客户端、服务端及可读存储介质
CN114429051B (zh) 数据流芯片的建模方法、装置、设备及介质
He Design and Application of Interactive Teaching System for Electronic Engineering Specialty Based on ZigBee
Bouarioua et al. From UML sequence diagrams to labeled generalized stochastic Petri net models using graph transformation

Legal Events

Date Code Title Description
MM4A The patent is invalid due to non-payment of fees

Effective date: 20121221