Место жительства: Беларусь |
Сроки проведения: 01.11.2019 - 21.01.2020 [расписание]
v&v
для магов
План занятий
Занятие | Заголовок << | Дата изучения |
---|---|---|
21 января 2020 00:00 | ||
Введение | Общая информация о курсе
Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем.
Оглавление | 1 ноября 2019 09:00 |
Лекция 1 | Место верификации среди процессов разработки программного обеспечения
Лекция посвящена рассмотрению различных видов жизненного цикла разработки программного обеспечения и современных технологий разработки. Показано место процесса верификации в жизненном цикле, определена его цель и задачи. Рассматриваются различные типы процессов верификации, определяется разница между тестированием, верификацией и валидацией. Цель данной лекции: дать представление о процессе верификации как о четко определенном виде деятельности в рамках жизненного цикла разработки программной системы, определить современные подходы к верификации
Оглавление | 2 ноября 2019 09:00 |
Тест 124 минуты | 13 декабря 2019 00:00 | |
Практическая работа 1 | Введение
Обзор общих подходов к тестированию, изучение архитектуры программного комплекса "Калькулятор".
Оглавление | 4 ноября 2019 09:00 |
Лекция 2 | Тестирование программного кода (методы+окружение)
Лекция посвящена процессу тестирования программного кода. Определяются его задачи и цели, перечисляются основные методы и подходы к тестированию программного кода. Вводится понятие тестового окружения, рассматриваются его компоненты и различные виды окружения. Цель данной лекции: дать представление о процессе тестирования программного кода, его видах. Определить методы построения тестового окружения, необходимого для выполнения тестирования
Оглавление | 5 ноября 2019 09:00 |
Тест 224 минуты | 17 декабря 2019 00:00 | |
Лекция 3 | Тестирование программного кода (тестовые примеры)
Лекция продолжает тематику тестирования программного кода, начатую в лекции 2. Лекция посвящена разработке тестовых примеров: определяются методы их создания, проводится классификация типов тестовых примеров, рассматривается тестирование робастности, определяются понятия классов эквивалентности, рассматриваются примеры тестирования компараторов. Цель данной лекции: дать знания, необходимые для самостоятельного анализа, разработки и модификации тестовых примеров на основе тест-требований
Оглавление | 7 ноября 2019 09:00 |
Тест 324 минуты | 19 декабря 2019 00:00 | |
Практическая работа 2 | Тестовые примеры. Классы эквивалентности. Ручное тестирование в MVSTE
Семинар посвящен рассмотрению тестовых примеров. Обсуждаются подходы к тестированию системы. Вводятся понятия классов эквивалентности, граничных условий, робастности (тестирования за границей диапазонов). Проводится обзор возможностей MVSTE по ручному тестированию и описанию тестовых примеров (Manual Testing).
Оглавление | 9 ноября 2019 09:00 |
Лекция 4 | Тестирование программного кода (покрытия)
Лекция завершает тему "тестирование программного кода". В лекции рассмотрены вопросы объединения тестовых примеров в тест-планы; определяются методы оценки результатов выполнения тестов. Значительная часть лекции посвящена покрытию программного кода тестами, различным типам покрытия, методам его анализа. Цель данной лекции: дать знания, необходимые для составления тест-планов и проведения анализа покрытия программного кода тестами
Оглавление | 10 ноября 2019 09:00 |
Тест 424 минуты | 21 декабря 2019 00:00 | |
Практическая работа 3 | Тестовое окружение
Семинар посвящен тестовому окружению. Рассматриваются вопросы проектирования тестового окружения, вводятся понятия тестовых классов и тестовых проектов.
Оглавление | 12 ноября 2019 09:00 |
Лекция 5 | Повторяемость тестирования
Лекция посвящена вопросам обеспечения повторяемости тестирования в промышленном окружении. Определяются задачи и цели обеспечения повторяемости, рассматриваются процессы настройки тестового окружения, оптимизации последовательности выполнения тестовых примеров. Определяются проблемы, возникающие при наличии зависимостей между тестовыми примерами. Цель данной лекции: дать представление о подготовке тестов в промышленных средах
Оглавление | 13 ноября 2019 09:00 |
Тест 524 минуты | 23 декабря 2019 00:00 | |
Практическая работа 4 | Модульное тестирование
Семинар посвящен модульному тестированию, его задачам и целям. Вводится понятие модуля и его границ. Рассматривается тестирование классов, проектирование тестового окружения.
Оглавление | 15 ноября 2019 09:00 |
Лекция 6 | Документация, сопровождающая процесс верификации и тестирования (тест-требования)
Лекция посвящена документации, создаваемой в процессе тестирования. Рассмотрены технологические процессы, сопряженные с созданием или использованием тестовой документации. Рассмотрены следующие типы документов: стратегия и планы верификации, тест-требования. Цель данной лекции: определить основные технологические цепочки, в которых создается и используется тестовая документация, дать представление о роли стратегии верификации и планов верификации, определить подходы к разработке и анализу тест-требований
Оглавление | 16 ноября 2019 09:00 |
Тест 624 минуты | 25 декабря 2019 00:00 | |
Лекция 7 | Документация, сопровождающая процесс верификации и тестирования (тест-планы)
Лекция продолжает тему документирования процесса тестирования, посвящена документации, создаваемой в процессе тестирования. Рассмотрены тест-планы, возможные формы их подготовки, отчеты о прохождении тестов и различные формы их подготовки. Цель данной лекции: определить основные технологические цепочки, в которых создается и используется тестовая документация, дать представление о роли тест-планов и отчетов о прохождении тестов, определить подходы к разработке и анализу тест-планов
Оглавление | 18 ноября 2019 09:00 |
Тест 724 минуты | 27 декабря 2019 00:00 | |
Практическая работа 5 | Автоматизация модульного тестирования
Семинар посвящен тестовому окружению, тестовым классам, тестовым проектам. Рассматривается подход XP (тесты перед кодом). Рассматриваются возможности MVSTE по тестированию модулей (Unit Testing).
Оглавление | 20 ноября 2019 09:00 |
Лекция 8 | Документация, сопровождающая процесс верификации и тестирования (отчеты)
Лекция завершает тему документирования процесса тестирования и посвящена документации, создаваемой в процессе тестирования. Рассмотрены отчеты о покрытии программного кода, отчеты о проблемах и трассировочные таблицы. Цель данной лекции: определить основные технологические цепочки, в которых создается и используется тестовая документация, дать представление о роли отчетов о покрытии, отчетов о проблемах и трассировочных таблиц
Оглавление | 21 ноября 2019 09:00 |
Тест 824 минуты | 30 декабря 2019 00:00 | |
Практическая работа 6 | Контрольная работаОглавление | 23 ноября 2019 09:00 |
Лекция 9 | Формальные инспекции
Лекция определяет основные подходы к организацию статического анализа исходных текстов программ и документации при помощи формальных инспекций. Цель данной лекции: определить основные задачи и цели проведения формальных инспекций, определить этапы проведения формальной инспекции
Оглавление | 24 ноября 2019 09:00 |
Тест 924 минуты | 31 декабря 2019 00:00 | |
Лекция 10 | Формальные инспекции (окончание)
Лекция завершает тему "Формальные инспекции" и рассматривает документы, создаваемые в ходе формальной инспекции, а также определяет особенности формальных инспекций программного кода и проектной документации. Цель данной лекции: определить основные документы, создаваемые в ходе формальной инспекции, и указать на основные особенности процессов формальной инспекции программного кода и проектной документации
Оглавление | 26 ноября 2019 09:00 |
Тест 1024 минуты | 1 января 2020 00:00 | |
Практическая работа 7 | Формальные инспекции
Семинар посвящен формальным инспекциям программного кода. Проводится формальная инспекция программного модуля, участники выбираются из числа студентов.
Оглавление | 28 ноября 2019 09:00 |
Лекция 11 | Модульное тестирование
Лекция является первой из трех рассматривающих уровни процесса верификации. Тема данной лекции - процесс модульного тестирования, его задачи и цели. Определяется понятие модуля и его границ, определяются подходы к проектированию тестового окружения при модульном тестировании. Рассматриваются организационные аспекты модульного тестирования. Цель данной лекции: дать представление о процессе модульного тестирования, его технической и организационной составляющих
Оглавление | 29 ноября 2019 09:00 |
Тест 1124 минуты | 3 января 2020 00:00 | |
Практическая работа 8 | Покрытие программного кода
Семинар посвящен покрытию программного кода. Рассмотрены методы проверки покрытия, методы улучшения покрытия, покрытие по методу MC/DC. Обсуждаются отчеты о покрытии, различные их формы, анализ неполноты покрытия, влияние зависимостей тестовых примеров на полноту покрытия. Описан процесс сбора покрытия и генерации отчетов о покрытии в MVSTE
Оглавление | 1 декабря 2019 09:00 |
Лекция 12 | Интеграционное тестирование
Лекция является второй из трех рассматривающих уровни процесса верификации. Тема данной лекции - процесс интеграционного тестирования, его задачи и цели. Рассматриваются организационные аспекты интеграционного тестирования - структурная и временная классификации методов интеграционного тестирования, планирование интеграционного тестирования. Цель данной лекции: дать представление о процессе интеграционного тестирования, его технической и организационной составляющих
Оглавление | 2 декабря 2019 09:00 |
Тест 1224 минуты | 7 января 2020 00:00 | |
Практическая работа 9 | Повторяемость тестирования, зависимости тестовых примеров
Семинар посвящен зависимости тестовых примеров. Рассматривается инициализация тестового окружения перед выполнением, выполнение последовательностей тестов, зависимость по общим данным, зависимость по состоянию системы/модуля, упорядоченные тесты (ordered tests) в MVSTE.
Оглавление | 4 декабря 2019 09:00 |
Лекция 13 | Системное тестирование
Лекция является последней из трех рассматривающих уровни процесса верификации. Тема данной лекции - процесс системного тестирования, его задачи и цели. Рассматриваются виды системного тестирования, особенности системного тестирования и испытаний при разработке сертифицируемого программного обеспечения. Цель данной лекции: дать представление о процессе системного тестирования, его технической и организационной составляющих
Оглавление | 5 декабря 2019 09:00 |
Тест 1327 минут | 9 января 2020 00:00 | |
Практическая работа 10 | Интеграционное тестирование
Семинар посвящен интеграционному тестированию, в т.ч. рассматриваются вопросы тестирования межмодульных интерфейсов, определения границ тестируемой области, тестирования информационного обмена между модулями.
Оглавление | 7 декабря 2019 09:00 |
Лекция 14 | Тестирование пользовательского интерфейса
Лекция посвящена тестированию пользовательского интерфейса. Определяются задачи и цели данного вида тестирования, определяются методы функционального тестирования пользовательского интерфейса, вводятся основные понятия тестирования удобства использования (usability) интерфейсов. Цель данной лекции: дать представление о процессе тестирования пользовательского интерфейса, его задачах, целях и основных методах
Оглавление | 8 декабря 2019 09:00 |
Тест 1424 минуты | 10 января 2020 00:00 | |
Лекция 15 | Методы разработки устойчивого кода
Лекция посвящена методам разработки устойчивого программного кода. Проводится классификация проблем, возникающих при работе программных систем, рассмотрено три метода разработки устойчивого кода: допущения, обработка исключений, сбор информации о сбоях. Цель данной лекции: дать представление о методах разработки устойчивого кода
Оглавление | 10 декабря 2019 09:00 |
Тест 1524 минуты | 13 января 2020 00:00 | |
Лекция 16 | Поддержка процесса тестирования при промышленной разработке программного обеспечения
Лекция посвящена промышленным процессам поддержки тестирования: управлению качеством и конфигурационному управлению. Рассматриваются особенности этих процессов при разработке сертифицируемого программного обеспечения. Цель данной лекции: дать представление о процессах управления качеством и конфигурационного управления
Оглавление | 12 декабря 2019 09:00 |
Тест 1624 минуты | 15 января 2020 00:00 | |
Практическая работа 11 | Тестирование в Microsoft Solutions Framework
Семинар посвящен Microsoft Solutions Framework и роли тестировщика в команде разработчиков, работающих по подходу MSF for Agile Software Development.
Оглавление | 14 декабря 2019 09:00 |
5 часов | 21 января 2020 00:00 |