Патент №2373565 - Автоматическая генерация кода моделирования схемы обмена сообщениями

Изобретение относится к механизмам автоматической генерации кода, который тестирует возможности тестовой вычислительной системы в отношении моделирования схемы обмена сообщениями. Техническим результатом является обеспечение механизма автоматического генерирования кода, который тестирует возможности тестовой вычислительной системы в отношении моделирования схемы обмена сообщениями. Вычислительная система генерации кода использует определение схемы обмена сообщениями для генерации кода моделирования. Для каждого состояния, в котором определение схемы обмена сообщениями позволяет передачу допустимых сообщений, генерируется код для этого состояния, который, по меньшей мере, моделирует передачу допустимого сообщения передачи. Для каждого состояния, в котором определение схемы обмена сообщениями позволяет прием допустимых сообщений, генерируется код для этого состояния, который моделирует прием допустимого сообщения приема. Если передача или прием сообщения приводит к переходу между состояниями, генерируется код, который вызывает соответствующий переход между состояниями в схеме обмена сообщениями. 2 н. и 28 з.п. ф-лы, 6 ил.