10.18

Мария Носырева

Саратовский государственный технический университет имени Гагарина ЮА (СГТУ)

Разработка тестового примера модели программы для верификатора PAT

Целью работы является разработка тестового примера для верификации на основе метода проверки модели. Значительное внимание уделяется описанию инструмента проверки модели PAT, который был выбран в качестве средства верификации модели электрической плиты. В данной работе описана модель в виде конечного автомата, заданного в виде диаграммы, построе...


Информатика - Дипломы
больше 4 лет назад


Для лиц старше 18 лет