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