TH71583A - Automated generation of code mimics the message exchange format. - Google Patents
Automated generation of code mimics the message exchange format.Info
- Publication number
- TH71583A TH71583A TH401004870A TH0401004870A TH71583A TH 71583 A TH71583 A TH 71583A TH 401004870 A TH401004870 A TH 401004870A TH 0401004870 A TH0401004870 A TH 0401004870A TH 71583 A TH71583 A TH 71583A
- Authority
- TH
- Thailand
- Prior art keywords
- code
- message
- format
- state
- exchanged
- Prior art date
Links
Abstract
DC60 (26/01/48) กลไกสำหรับสร้างรหัสอย่างอัตโนมัติที่ทดสอบความสามารถของระบบที่ใช้คอมพิวเตอร์ ทดสอบในการเลียนแบบรูปแบบที่มีการแลกเปลี่ยนข้อความ. ระบบที่ใช้คอมพิวเตอร์ในการสร้าง รหัสใช้คำจำกัดความรูปแบบที่มีการแลกเปลี่ยนข้อความในการสร้างรหัสเลียนแบบ. สำหรับแต่ ละสภาวะซึ่งคำจำกัดความรูปแบบที่มีการแลกเปลี่ยนข้อความยอมให้ข้อความที่มีค่าถูกส่งผ่าน, รหัสถูกสร้างสำหรับสภาวะนั้นที่อย่างน้อยที่สุดเลียนแบบการส่งผ่านของข้อความส่งผ่านที่มีค่า. สำหรับแต่ละสภาวะซึ่งคำจำกัดความรูปแบบที่มีการแลกเปลี่ยนข้อความยอมให้ข้อความที่มีค่าถูก รับ, รหัสถูกสร้างสำหรับสภาวะนั้นที่เลียนแบบการรับของข้อความรับที่มีค่า. ถ้าการส่งผ่านหรือ การรับของข้อความเป็นต้นเหตุให้การเปลี่ยนแปลงสภาวะเกิดขึ้น, รหัสถูกสร้างขึ้นที่เป็นต้นเหตุ การเปลี่ยนแปลงสภาวะที่เหมาะสมในรูปแบบที่มีการแลกเปลี่ยนข้อความ. กลไกสำหรับสร้างรหัสอย่างอัตโนมัติที่ทดสอบความสามารถของระบบที่ใช้คอมพิวเตอร์ ทดสอบในการเลียนแบบรูปแบบที่มีการแลกเปลี่ยนข้อความ. ระบบที่ใช้คอมพิวเตอร์ในการสร้าง รหัสใช้คำจำกัดความรูปแบบที่มีการแลกเปลี่ยนข้อความในการสร้างรหัสเลียนแบบ. สำหรับแต่ ละสภาวะซึ่งคำจำกัดความรูปแบบที่มีการแลกเปลี่ยนข้อความยอมให้ข้อความที่มีค่าถูกส่งผ่าน, รหัสถูกสร้างสำหรับสภาวะนั้นที่อย่างน้อยที่สุดเลียนแบบการส่งผ่านของข้อความส่งผ่านที่มีค่า. สำหรับแต่ละสภาวะซึ่งคำจำกัดความรูปแบบที่มีการแลกเปลี่ยนข้อความยอมให้ข้อความที่มีค่าถูก รับ, รหัสถูกสร้างสำหรับสภาวะนั้นที่เลียนแบบการรับของข้อความรับที่มีค่า. ถ้าการส่งผ่านหรือ การรับของข้อความเป็นต้นเหตุให้การเปลี่ยนแปลงสภาวะเกิดขึ้น, รหัสถูกสร้างขึ้นที่เป็นต้นเหตุ การเปลี่ยนแปลงสภาวะที่เหมาะสมในรูปแบบที่มีการแลกเปลี่ยนข้อความ. DC60 (26/01/48) A mechanism for automatically generating code that tests the capabilities of computer-based systems. Test it to emulate a format with an exchanging message. A system that uses a computer to build The code uses text-exchanged format definitions to generate the code emulators. For each state in which the format definition in which the message is exchanged allows messages with a value to be passed, a code is generated for that state that at least mimics the transmission of a valuable transmitted message. For each state in which the format definition in which a message is exchanged allows messages with a value to be received, a code is generated for that state that mimics the receiving of a valuable received message. If transmission or Receiving message triggers state changes to take place, code is generated that triggers. Changes in optimum conditions in the format in which messages are exchanged. A mechanism for automatically generating code that tests the capabilities of computer-based systems. Test it to emulate a format with an exchanging message. A system that uses a computer to build The code uses text-exchanged format definitions to generate the code emulators. For each state in which the format definition in which the message is exchanged allows messages with a value to be passed, a code is generated for that state that at least mimics the transmission of a valuable transmitted message. For each state in which the format definition in which a message is exchanged allows messages with a value to be received, a code is generated for that state that mimics the receiving of a valuable received message. If transmission or Receiving message triggers state changes to take place, code is generated that triggers. Changes in optimum conditions in the format in which messages are exchanged.
Claims (1)
Publications (1)
Publication Number | Publication Date |
---|---|
TH71583A true TH71583A (en) | 2005-10-27 |
Family
ID=
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2006323500A5 (en) | ||
JP5240490B2 (en) | Operation training system and operation training method | |
WO2023114331A3 (en) | Framework for blockchain development | |
Feth et al. | Virtual validation of cyber physical systems | |
Humbel et al. | A Model-Checked I 2 C Specification | |
TH71583A (en) | Automated generation of code mimics the message exchange format. | |
EP1577777A3 (en) | Automated generation of message exchange pattern simulation cod | |
Zhu et al. | The requirements change analysis for different level users | |
KR20080083729A (en) | Army training system using ubiquitous sensor network | |
HK1089838A1 (en) | System and method for designing component based applications | |
CN107864073A (en) | A kind of SWIFT messages Batch sending method and apparatus | |
WO2006106077A3 (en) | Design device for designing a control system and method for examining the technological aims when designing a control system | |
CN106341293B (en) | A kind of method and device of information system access Enterprise Service Bus | |
Feller et al. | Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols | |
Azeez et al. | Digital Twin Technology: A Review of Its Applications and Prominent Challenges | |
JP2007156822A (en) | Simulated application test apparatus for computer system | |
Choudhury et al. | Software documentation in a globally distributed environment | |
Perezhogin et al. | Data-driven Stochastic Parameterization of Subgrid Mesoscale Eddies in Idealized Ocean Model | |
KR20190071987A (en) | Apparatus and method for controlling terminal using block program | |
Smith et al. | Recurrent Neural Network Emulation for High Resolution Sea Surface Forecasts | |
CN102799407A (en) | Method and device for carrying out displaying based on baseboard management controller | |
Spendlove et al. | Machine-Learning surrogates for information geometric analysis of multi-parameter models | |
Rachuj et al. | A Generic Functional Simulation of Heterogeneous Systems | |
Ren et al. | A 3-layer method for analysis of cooperative behaviors of physical devices in cyber-physical systems | |
Million et al. | Summarizing the GALEX Flare Catalog (+ other variables), results of a systematic search of GALEX data for astrophysical variables at fast cadences |