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

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

Информатика
Дипломы

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

ID: 5f3f79a6cd3d3e00015402d0
UUID: 0ba18cf0-c5af-0138-1e26-0242ac180006
Язык: Русский
Опубликовано: больше 3 лет назад
Просмотры: 9

10.18

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

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


0

Комментировать 12

Рецензировать 0

Скачать - 1,7 МБ


Поделиться работой
Current View

Рецензии:

  Авторизуйтесь, чтобы добавить рецензию

- у работы пока нет рецензий -


1
Портнова Екатерина

Хорошая работа. Грамотно написана.


6315.12
Игорь Маслеников

и хорошего настроения


6315.12
Игорь Маслеников

удачи


6315.12
Игорь Маслеников

успехов в конкурсе


6315.12
Игорь Маслеников

Наверное было затрачено много времени и труда на работу


6315.12
Игорь Маслеников

Продолжай свое исследование


6315.12
Игорь Маслеников

Админам респект


6315.12
Игорь Маслеников

Как на счет взаимных комментариев под работами?)


6315.12
Игорь Маслеников

Красиво написанная работа


6315.12
Игорь Маслеников

Так держать


6315.12
Игорь Маслеников

Молодец


6315.12
Игорь Маслеников

Интересная работа!

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