Тесты, построенные по модели конечного автомата обладают хорошей полнотой. Их используют для тестирования сложных систем, так как они обеспечивают достаточно хорошие гарантии качества и могут обнаружить достаточно большое количество ошибок как на этапе проектирования, так и на этапе производства сложных систем. Полное покрытие тестами имеет экспоненциальную сложность, поэтому не всегда реализуемо. Поэтому при тестировании систем на базе конечных автоматов используют различные подходы...Подробнее

Разработать программное обеспечение для построения мутационных тестов и провести компьютерные эксперименты для случайно сгенерированных автоматов и протестировать полученные тесты для проверки лабораторных работ на курсе ПСнК

Доклады о проделанной работе и демонстрации результатов на регулярных совещаниях в формате online.

Отслеживание задач в системе управления проектами (wekan).

УЛ САПР (712/714 кабинеты)

Материалы по автоматным методам построения тестов с гарантированной полнотой