Синицын С.В., Налютин Н.Ю., Несвижский А.И. МОСКОВСКИЙ ИНЖЕНЕРНО-ФИЗИЧЕСКИЙ ИНСТИТУТ (ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ) Технологии разработки и верификации программного обеспечения МИФИ, Кафедра «Кибернетика»

Практические навыки IT- студентов, приобретаемые в ВУЗе Схема технологической подготовки Верификация – путь к гарантиям качества Структура учебного проекта Опыт преподавания в МИФИ МИФИ, Кафедра «Кибернетика» Содержание

Получение студентами практических навыков

Обучение специалиста в ВУЗе МИФИ, Кафедра «Кибернетика» Получение студентами практических навыков

Двухступенчатая схема бакалавр-магистр МИФИ, Кафедра «Кибернетика» Получение студентами практических навыков

МИФИ, Кафедра «Кибернетика» Распространение передовых технологий ВУЗ

RTCA DO-178B Requirements and Technical Concepts for Aviation DO-178B - международный документ, регламентирующий разработку ПО в авиационной отрасли Процессы Планирование разработки ПО Разработка ПО (требования к системе, проектирование, кодирование, интеграция) Верификация Управление конфигурациями Управление качеством Управление жизненным циклом МИФИ, Кафедра «Кибернетика»

Схема технологической подготовки Схемы взаимодействия ВУЗа и предприятия

МИФИ, Кафедра «Кибернетика» Культура производства Наличие представления об основных приемах организации и управлении программными разработками, понятие о технологических процедурах, документах и критичности разрабатываемых систем, задачах управления качеством и управления конфигурациями Инструментальные навыки Проведение обследования и анализ требований, разработка программной документации, формальные инспекции, конфигурационное управление, управление изменениями, управление рисками, проектирование интерфейсов и баз данных Коллективная разработка Организация коллектива, роли, взаимодействие, обучение Что слабо развито в современных программах

МИФИ, Кафедра «Кибернетика» Менеджер Аналитик Разработчик Дизайнер Тестировщик Роли в студенческом проекте

МИФИ, Кафедра «Кибернетика» Культуре нельзя научить, но ей можно научиться. Навыки приобретаются трудом Непрерывность технологической подготовки Нельзя объять необъятное Независимость от конкретных инструментов Один, два, много Навыки коллективной работы Что можно улучшить в программах подготовки

МИФИ, Кафедра «Кибернетика» Дисциплины технологического цикла

МИФИ, Кафедра «Кибернетика» Изучение жизненного цикла по семестрам

МИФИ, Кафедра «Кибернетика» Изучение жизненного цикла по семестрам

МИФИ, Кафедра «Кибернетика» Гарантии качества – это актуально! Гарантии качества

Выполнение проекта в сроки заказчика Соблюдение бюджета проекта Использование накопленного опыта Загрузка ресурсов предприятия Равномерность производственного процесса Обучение кадров МИФИ, Кафедра «Кибернетика» Гарантии качества

Удовлетворение требований заказчика Управление изменениями Управление конфигурациями Управление на основе метрик процессов Верификация на всех этапах Валидация результатов МИФИ, Кафедра «Кибернетика» Гарантии качества

МИФИ, Кафедра «Кибернетика» Верификация на всех этапах Верификация Подтверждение при помощи объективных доказательств факта соответствия работы системы предъявляемым к ней требованиям

Верификация охватывает все этапы МИФИ, Кафедра «Кибернетика» Верификация

Верификация на ранних стадиях Процедура формальной инспекции Верификация на модульном уровне Драйверы и заглушки Верификация программной интеграции Тесты межмодульных интерфейсов Верификация на уровне системной интеграции Тесты пользовательских интерфейсов Валидация Бета-тестирование МИФИ, Кафедра «Кибернетика» Верификация

Учебный проект для изучения верификации Опыт МИФИ

Курс «Верификация и сертификация ПО» опыт более 30 лет Опирается на опыт верификации бортовых систем для гражданской авиации (ООО ДС «БАРС») Поддержан грантом Microsoft и входит в программу Microsoft Curricula ( МИФИ, Кафедра «Кибернетика» Опыт обучения

Лекции 16 лекций Семинары 11 семинаров Лабораторные работы Привязаны к семинарам Тесты для проверки знаний База из ~400 вопросов Что есть в курсе Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения: Учебное пособие. М.: ИНТУИТ, с МИФИ, Кафедра «Кибернетика»

Учебный пример « Калькулятор » Модуль визуализации Модуль разбора и анализа выражений Модуль математических функций

Требования Архитектура Программный код Тесты Протоколы тестирования Протоколы формальных инспекций … МИФИ, Кафедра «Кибернетика» Демонстрация материалов проекта Демонстрация

«Калькулятор» разработан на платформе Microsoft.NET 2.0 на языке программирования C# 2.0 MVSTE for Software Testers содержит следующие инструменты для тестирования: Manual Testing (ручное тестирование); Web Testing (функция веб-тестирования); Unit Testing (модульное тестирование); Code Coverage (анализ покрытия кода); Ordered Testing (упорядоченное тестирование); средства управления тестированием, позволяющие составлять тесты, выполнять их и централизованно отслеживать данный процесс. МИФИ, Кафедра «Кибернетика» Microsoft.NET как платформа для тестирования Демонстрация

МИФИ, Кафедра «Кибернетика» Методика практических занятий Опыт МИФИ

МИФИ, Кафедра «Кибернетика» Типовая структура практических занятий Семинарское занятие Тест Проверка домашнего задания Разбор нового материала Практическая работа с системой Выдача домашнего задания

МИФИ, Кафедра «Кибернетика» Опыт проведения практических занятий Демонстрация

Общий обзор тестирования и верификации ПО и знакомство с обучающим примером Калькулятор Выявление несоответствий в спецификации требований Ручное тестирование Модульное тестирование Покрытия кода Интеграционное тестирование Роли и обязанностях тестировщика в команде разработчиков программных продуктов Контрольные мероприятия МИФИ, Кафедра «Кибернетика» План практических занятий курса

Кафедра «Кибернетика», МИФИ Синицын Сергей Владимирович, Заведующий кафедрой Адрес: , Москва, Каширское ш., д. 31, МИФИ, кафедра «Кибернетика» Тел: +7 (495) WWW: СПАСИБО ЗА ВНИМАНИЕ ! МИФИ, Кафедра «Кибернетика»