DONG YUPING et al. Specification, Validation and implementation of ATM UNI Signaling Protocols in SDL, SDL'99: The Next Millenium, Elsevier Science B.V., 1999, ISBN: 978-0-444-50228-9, c.341-353. BELINA F et al. The CCITT-specification and description language SDL, Computer Networks and ISDN Systems, March 1989, Vol.16, N 4, ISSN: 0169-7552,реферат, с.318-323. CHIE DOU, A timed-SDL for performance modeling of communication protocols, Global Telecommunications Conference, 1995. GLOBECOM, vol. 3, N 14-16, Nov 1995, ISBN: 978-0-7803-2509-8, c.1585-1589. US 2002/0116466 A1, 22.08.2002. RU 2210803 C2, 20.08.2003.
Имя заявителя:
МАЙКРОСОФТ КОРПОРЕЙШН (US)
Изобретатели:
КОУПЛЭНД Джордж П. (US) АЛЛЕН Джейсон (US) КАБРЕРА Луис Фелипе (US)
Патентообладатели:
МАЙКРОСОФТ КОРПОРЕЙШН (US)
Приоритетные данные:
23.01.2004 US 10/763,311
Реферат
Изобретение относится к механизмам автоматической генерации кода, который тестирует возможности тестовой вычислительной системы в отношении моделирования схемы обмена сообщениями. Техническим результатом является обеспечение механизма автоматического генерирования кода, который тестирует возможности тестовой вычислительной системы в отношении моделирования схемы обмена сообщениями. Вычислительная система генерации кода использует определение схемы обмена сообщениями для генерации кода моделирования. Для каждого состояния, в котором определение схемы обмена сообщениями позволяет передачу допустимых сообщений, генерируется код для этого состояния, который, по меньшей мере, моделирует передачу допустимого сообщения передачи. Для каждого состояния, в котором определение схемы обмена сообщениями позволяет прием допустимых сообщений, генерируется код для этого состояния, который моделирует прием допустимого сообщения приема. Если передача или прием сообщения приводит к переходу между состояниями, генерируется код, который вызывает соответствующий переход между состояниями в схеме обмена сообщениями. 2 н. и 28 з.п. ф-лы, 6 ил.