ТМРА School 2018 прошла 2-4 марта в Саратове.
Фото и презентации с мероприятия уже опубликованы!

О школе

Школа TMPA (Tools and Methods of Software Testing) - это образовательный проект, направленный на поддержку развития IT-индустрии и внедрения новейших разработок в области верификации программ.

Мы приглашаем студентов старших курсов IT-специальностей, аспирантов, молодых специалистов, чьи научные и практические интересы связаны с разработкой и тестированием.

Всех участников Школы ждут три дня лекций от признанных специалистов в области программной инженерии, тестирования и верификации ПО.

Участие бесплатное. Регистрация обязательна.

Лекторы

О докладчике
Александр Александров
Эксперт по управлению качеством ПО, управлению тестированием, анализу и совершенствованию инженерных процессов, Luxoft

Описание лекции
О докладчике
Иосиф Иткин
Генеральный директор и соучредитель, Exactpro
О докладчике
Ростислав Яворский
Доцент департамента анализа данных и искусственного интеллекта факультета компьютерных наук НИУ ВШЭ, Научный руководитель проекта Naviaddress.io
О докладчике
Александр Камкин
Ведущий научный сотрудник, кандидат физико-математических наук, ИСП РАН

Описание лекции
О докладчике
Павел Медведев
Руководитель группы НФТ, Exactpro
О докладчике
Олег Павликов
Старший аналитик по НФТ, Exactpro
Анна Самойлова
Старший специалист по нагрузочному тестированию, Exactpro
Михаил Ямковый
Старший специалист по нагрузочному тестированию, Exactpro
Татьяна Павлюк
Руководитель группы по нагрузочному тестированию, Exactpro
Станислав Климаков
Старший специалист по нагрузочному тестированию, Exactpro

Программа мероприятия

Сложность первого дня: Лёгкая
8:30
9:00
Регистрация
9:00
9:30
Открытие Школы
9:30
10:00
Основы тестирования
Александр Александров
  • Назначение тестирования
  • Место тестирования в проекте
  • База и объект тестирования
  • Цель тестирования
  • Независимое тестирование
  • Взаимодействие в проектной команде
  • Ответственность группы тестирования
  • Циклы и раунды тестирования
  • Верификация и валидация
10:00
11:00
Кто за что отвечает и что обеспечивает (ответственность тестировщика)
Александр Александров
  • Кто за что отвечает и что обеспечивает - мнения и примеры
  • Почему тестировщик не может отвечать за и обеспечить качество ПО
  • Кто отвечает за качество ПО и за что отвечает тестировщик
  • Три главных вопроса тестировщику
  • Причины заблуждений и мифы про тестировщиков
11:00
11:30
Кофе-брейк
11:30
12:30
Формальная верификация смарт-контрактов для платформ на технологии блокчейн (Введение)
Ростислав Яворский
12:30
14:00
Основы управления дефектами
Александр Александров
  • Особенности управления дефектами программного продукта
  • Дефекты – основная продукция тестировщиков
  • ЖЦ дефекта по ролям
  • Типы дефектов, правило трех «П»
  • База дефектов
  • Описание дефектов
  • Выявленные аспекты при описании дефекта
  • Рекомендации при описании и верификации дефекта
  • Проблемы управления дефектами
  • Психологические проблемы
  • Проблемы описания дефектов
14:00
15:30
Обед
15:30
16:00
Обработка данных
Иосиф Иткин
16:00
16:30
Введение в нефункциональное тестирование
Павел Медведев
16:30
17:30
Требования и тест-дизайн
Александр Александров
  • Требования и тест-дизайн
  • Как проверять тестируемость требований
  • Тестирование и требования
  • Требования и тестирование без тест-кейсов и/или без тестировщиков
  • Требования и изменения
  • Тестирование, управляемое данными
  • Гранулярность требований
  • Стратегия тестирования и стратегия разработки
  • Стратегия тестирования vs. Тест-план
  • Процесс разработки тест-плана
17:30
18:30
Статическое тестирование (Основы)
Александр Александров
  • Анализ требований к системе
  • Анализ требований к системе тестировщиком
  • Анализ планов тестирования
  • Анализ планов тестирования аналитиком
  • Анализ планов тестирования тест-дизайнером
  • Анализ тестовых данных
  • Рекомендации по анализу требований
  • Метрики статического тестирования
18:30
19:00
Вопросы слушателей и обсуждение
19:00
Завершение дня
Сложность второго дня: Средняя
8:30
9:00
Регистрация
9:00
9:15
Парадокс пестицида
Александр Александров
  • Стратегия разработки тестовыx сценариев различного назначения
  • Стратегия использования таких разработанных сценариев
  • Эффективность использования различных тестовых сценариев
9:15
10:15
Оценка трудозатрат на тестирование
Александр Александров
  • Оценка трудозатрат на тестирование - входные данные и результаты
  • Причины увеличения и уменьшения оценок
  • База для оценки трудозатрат
  • Особенности проектов сопровождения
  • Потребность в метриках и исходные данные для метрик
  • Шаблон оценки трудозатрат
10:15
10:30
Высоконагруженные биржевые системы
Иосиф Иткин
10:30
11:00
Измерение времен отклика в трейдинговых системах
11:00
11:30
Кофе-брейк
11:30
12:00
Автоматизация и тестирование отказоустойчивости и восстановления распределенных систем
12:00
12:30
Особенности тестирования гибридных систем
Олег Павликов
12:30
13:00
Тестирование систем мониторинга и контроля за рынками
13:00
14:00
Формальная верификация смарт-контрактов для платформ на технологии блокчейн (Продолжение)
Ростислав Яворский
14:00
15:30
Обед
15:30
16:30
Автоматизация тестирования
Александр Александров
  • Области применения автоматизации тестирования
  • Цели автоматизации
  • Преимущества и недостатки автоматизации, преодоление ложных ожиданий
  • Мифы автоматизации тестирования
  • Оценка трудозатрат на автоматизацию тестирования
  • Примеры идеальной и реальной оценки трудозатрат
  • Когда стоит и когда не стоит использовать автоматизацию тестирования
16:30
17:15
Вопросы слушателей и обсуждение
Александр Александров
17:15
18:15
Верификация компьютерных протоколов с помощью SPIN (Введение)
Александр Камкин

Протокол — это система правил, регулирующая взаимодействие нескольких субъектов и нацеленная на решение какой-нибудь задачи. Наиболее известными компьютерными протоколами являются протоколы передачи данных; их задача — надежная доставка данных через каналы, подверженные сбоям. Помимо коммуникационных протоколов на практике используются протоколы синхронизации, криптографические протоколы, протоколы обеспечения когерентности памяти и другие. Ошибки в протоколе могут приводить к серьезным последствиям: к потере данных, утечке секретной информации и т.п. Важно отметить, что ошибки в протоколе наследуются всеми реализациями этого протокола, поэтому крайне важно выявлять и исправлять их на ранних стадиях проектирования. В курсе рассматривается язык Promela (Protocol Meta-Language), ориентированный на моделирование протоколов, и инструмент SPIN (Simple Promela Interpreter), предназначенный для анализа и верификации Promela-моделей. От слушателей не требуется специальной подготовки; единственное пожелание — установить SPIN (spinroot.com) на свой компьютер.

18:15
18:45
Вопросы слушателей и обсуждение
18:45
Завершение дня
Сложность третьего дня: Сложная
8:30
9:00
Регистрация
9:00
11:00
Верификация компьютерных протоколов с помощью SPIN (Продолжение)
Александр Камкин

Протокол — это система правил, регулирующая взаимодействие нескольких субъектов и нацеленная на решение какой-нибудь задачи. Наиболее известными компьютерными протоколами являются протоколы передачи данных; их задача — надежная доставка данных через каналы, подверженные сбоям. Помимо коммуникационных протоколов на практике используются протоколы синхронизации, криптографические протоколы, протоколы обеспечения когерентности памяти и другие. Ошибки в протоколе могут приводить к серьезным последствиям: к потере данных, утечке секретной информации и т.п. Важно отметить, что ошибки в протоколе наследуются всеми реализациями этого протокола, поэтому крайне важно выявлять и исправлять их на ранних стадиях проектирования. В курсе рассматривается язык Promela (Protocol Meta-Language), ориентированный на моделирование протоколов, и инструмент SPIN (Simple Promela Interpreter), предназначенный для анализа и верификации Promela-моделей. От слушателей не требуется специальной подготовки; единственное пожелание — установить SPIN (spinroot.com) на свой компьютер.

11:00
11:30
Кофе-брейк
11:30
13:00
Реальные примеры из опыта компании Luxoft
Александр Александров
13:00
13:30
Сложности НФТ автоматизации
13:30
14:00
Машинное обучение и тестирование программного обеспечения
Иосиф Иткин
14:00
14:30
Кофе-брейк
14:30
16:00
Круглый стол
Модератор: Иосиф Иткин
16:00
16:30
Вопросы слушателей и обсуждение
16:30
Завершение дня

Ждём Ваш отзыв о TMPA School 2018

Спасибо за участие в ТМРА School 2018 — первой Школе тестирования в Саратове!

Помогите нам стать лучше! Ответьте на несколько вопросов
Оставить отзыв

Мы желаем Вам научных и профессиональных успехов!

До новых встреч!

Партнёры мероприятия

Место проведения

Саратов, ул. Вавилова 28/34, БЦ "Атлант", 5 этаж