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

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

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

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

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

Тип реализующей ЭВМ: IBM PC - совмест. ПК на базе процессора Pentium(R) D

Язык программирования: Common Lisp 2.36

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

Объем программы для ЭВМ: 1,9 Кб