Санкт-Петербургский Государственный Университет Математико-механический факультет Кафедра системного программирования Научный руководитель: Я.А. Кириленко. - презентация

1 Санкт-Петербургский Государственный Университет Математико-механический факультет Кафедра системного программирования Научный руководитель: Я.А. Кириленко Выполнила: студентка гр.345 Нишневич Анастасия

2 Unit-тестирование(модульное тестирование) – это метод тестирования, основанный на проверке отдельных модулей кода программы. F# – мультипарадигмальный язык программирования

3 Изучение модульного тестирования Изучение и сравнение frameworkов для.NET Выбор frameworkов для проекта на F#

4 Рассмотренные средства: framework для unit-тестирования MsTest (framework в VisualStudio) Nunit XUnit MbUnit FsUnit (tool для написания тестов в функциональном стиле) FsCheck

5 Основная цель проекта YaccConstructor – генерация синтаксического анализатора по входной грамматике. Приложение состоит из фронтенда, преобразователя и генератора.

6 Реализованы тесты Front-endа (корректности результата) Преобразователя(раскрывает все правила, не принимаемые генератором) Генератора(не принимает ничего лишнего )

7 Проведен обзор инструментов модульного тестирования в.Net Изучены и применены инструменты Nunit и FsCheck Реализована система модульного тестирования в проекте YaccConstructor