РОССИЙСКАЯ ФЕДЕРАЦИЯ ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ	RU 2016660532

Номер регистрации (свидетельства): 2016660532 Дата регистрации: 16.09.2016 Номер и дата поступления заявки: 2016617905 19.07.2016 Дата публикации: 20.10.2016

Авторы: Дамбаева Сэсэгма Викторовна, Банзарова Оксана Дамби-Жалсановна (RU) Правообладатель: Федеральное государственное бюджетное образовательное учреждение высшего образования «Восточно-Сибирский государственный университет технологий и управления»

Название программы для ЭВМ:
Программа, проверяющая удовлетворение поведения торгового автомата заданным спецификациям

Реферат:
Программа предназначена для автоматического тестирования простейшего объекта - автомата по продаже шоколадок и ирисок на основе теории взаимодействующих процессов Ч. Хоара. Результатом работы программы является true или false в зависимости от удовлетворения заданных спецификаций торгового автомата. Область применения программы - в системах автоматизированного тестирования, как модуль проверки удовлетворения спецификаций.

Тип реализующей ЭВМ: IBM PC-совмест. ПК

Язык программирования: Turbo Prolog

Вид и версия операционной системы: Windows NT/XP/Vista/7/8/10

Объем программы для ЭВМ: 3,83 Мб