MYY: вапо: Информация

Опубликована: 19.10.2019 | Стоимость: 490 руб. [?] | Форма обучения: дистанционная [?]
Сроки проведения: 01.11.2019 - 21.01.2020 [расписание]
v&v
для магов
| | Поделиться |

Microsoft DreamSpark

Бесплатные лицензионные инструменты разработки и дизайна для школьников, студентов, аспирантов и преподавателей.

Специальное предложение для студентов НОУ «ИНТУИТ».

 ...еще >>

План занятий

ЗанятиеЗаголовок <<Дата изучения
21 января 2020
00:00
Введение 
Общая информация о курсе
Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем.
Оглавление
    1 ноября 2019
    09:00
    Лекция 1
    Место верификации среди процессов разработки программного обеспечения
    Лекция посвящена рассмотрению различных видов жизненного цикла разработки программного обеспечения и современных технологий разработки. Показано место процесса верификации в жизненном цикле, определена его цель и задачи. Рассматриваются различные типы процессов верификации, определяется разница между тестированием, верификацией и валидацией. Цель данной лекции: дать представление о процессе верификации как о четко определенном виде деятельности в рамках жизненного цикла разработки программной системы, определить современные подходы к верификации
    Оглавление
      2 ноября 2019
      09:00
      Тест 1
      24 минуты
      13 декабря 2019
      00:00
      Практическая работа 1
      Введение
      Обзор общих подходов к тестированию, изучение архитектуры программного комплекса "Калькулятор".
      Оглавление
        4 ноября 2019
        09:00
        Лекция 2
        Тестирование программного кода (методы+окружение)
        Лекция посвящена процессу тестирования программного кода. Определяются его задачи и цели, перечисляются основные методы и подходы к тестированию программного кода. Вводится понятие тестового окружения, рассматриваются его компоненты и различные виды окружения. Цель данной лекции: дать представление о процессе тестирования программного кода, его видах. Определить методы построения тестового окружения, необходимого для выполнения тестирования
        Оглавление
          5 ноября 2019
          09:00
          Тест 2
          24 минуты
          17 декабря 2019
          00:00
          Лекция 3
          Тестирование программного кода (тестовые примеры)
          Лекция продолжает тематику тестирования программного кода, начатую в лекции 2. Лекция посвящена разработке тестовых примеров: определяются методы их создания, проводится классификация типов тестовых примеров, рассматривается тестирование робастности, определяются понятия классов эквивалентности, рассматриваются примеры тестирования компараторов. Цель данной лекции: дать знания, необходимые для самостоятельного анализа, разработки и модификации тестовых примеров на основе тест-требований
          Оглавление
            7 ноября 2019
            09:00
            Тест 3
            24 минуты
            19 декабря 2019
            00:00
            Практическая работа 2
            Тестовые примеры. Классы эквивалентности. Ручное тестирование в MVSTE
            Семинар посвящен рассмотрению тестовых примеров. Обсуждаются подходы к тестированию системы. Вводятся понятия классов эквивалентности, граничных условий, робастности (тестирования за границей диапазонов). Проводится обзор возможностей MVSTE по ручному тестированию и описанию тестовых примеров (Manual Testing).
            Оглавление
              9 ноября 2019
              09:00
              Лекция 4
              Тестирование программного кода (покрытия)
              Лекция завершает тему "тестирование программного кода". В лекции рассмотрены вопросы объединения тестовых примеров в тест-планы; определяются методы оценки результатов выполнения тестов. Значительная часть лекции посвящена покрытию программного кода тестами, различным типам покрытия, методам его анализа. Цель данной лекции: дать знания, необходимые для составления тест-планов и проведения анализа покрытия программного кода тестами
              Оглавление
                10 ноября 2019
                09:00
                Тест 4
                24 минуты
                21 декабря 2019
                00:00
                Практическая работа 3
                Тестовое окружение
                Семинар посвящен тестовому окружению. Рассматриваются вопросы проектирования тестового окружения, вводятся понятия тестовых классов и тестовых проектов.
                Оглавление
                  12 ноября 2019
                  09:00
                  Лекция 5
                  Повторяемость тестирования
                  Лекция посвящена вопросам обеспечения повторяемости тестирования в промышленном окружении. Определяются задачи и цели обеспечения повторяемости, рассматриваются процессы настройки тестового окружения, оптимизации последовательности выполнения тестовых примеров. Определяются проблемы, возникающие при наличии зависимостей между тестовыми примерами. Цель данной лекции: дать представление о подготовке тестов в промышленных средах
                  Оглавление
                    13 ноября 2019
                    09:00
                    Тест 5
                    24 минуты
                    23 декабря 2019
                    00:00
                    Практическая работа 4
                    Модульное тестирование
                    Семинар посвящен модульному тестированию, его задачам и целям. Вводится понятие модуля и его границ. Рассматривается тестирование классов, проектирование тестового окружения.
                    Оглавление
                      15 ноября 2019
                      09:00
                      Лекция 6
                      Документация, сопровождающая процесс верификации и тестирования (тест-требования)
                      Лекция посвящена документации, создаваемой в процессе тестирования. Рассмотрены технологические процессы, сопряженные с созданием или использованием тестовой документации. Рассмотрены следующие типы документов: стратегия и планы верификации, тест-требования. Цель данной лекции: определить основные технологические цепочки, в которых создается и используется тестовая документация, дать представление о роли стратегии верификации и планов верификации, определить подходы к разработке и анализу тест-требований
                      Оглавление
                        16 ноября 2019
                        09:00
                        Тест 6
                        24 минуты
                        25 декабря 2019
                        00:00
                        Лекция 7
                        Документация, сопровождающая процесс верификации и тестирования (тест-планы)
                        Лекция продолжает тему документирования процесса тестирования, посвящена документации, создаваемой в процессе тестирования. Рассмотрены тест-планы, возможные формы их подготовки, отчеты о прохождении тестов и различные формы их подготовки. Цель данной лекции: определить основные технологические цепочки, в которых создается и используется тестовая документация, дать представление о роли тест-планов и отчетов о прохождении тестов, определить подходы к разработке и анализу тест-планов
                        Оглавление
                          18 ноября 2019
                          09:00
                          Тест 7
                          24 минуты
                          27 декабря 2019
                          00:00
                          Практическая работа 5
                          Автоматизация модульного тестирования
                          Семинар посвящен тестовому окружению, тестовым классам, тестовым проектам. Рассматривается подход XP (тесты перед кодом). Рассматриваются возможности MVSTE по тестированию модулей (Unit Testing).
                          Оглавление
                            20 ноября 2019
                            09:00
                            Лекция 8
                            Документация, сопровождающая процесс верификации и тестирования (отчеты)
                            Лекция завершает тему документирования процесса тестирования и посвящена документации, создаваемой в процессе тестирования. Рассмотрены отчеты о покрытии программного кода, отчеты о проблемах и трассировочные таблицы. Цель данной лекции: определить основные технологические цепочки, в которых создается и используется тестовая документация, дать представление о роли отчетов о покрытии, отчетов о проблемах и трассировочных таблиц
                            Оглавление
                              21 ноября 2019
                              09:00
                              Тест 8
                              24 минуты
                              30 декабря 2019
                              00:00
                              Практическая работа 6
                              23 ноября 2019
                              09:00
                              Лекция 9
                              Формальные инспекции
                              Лекция определяет основные подходы к организацию статического анализа исходных текстов программ и документации при помощи формальных инспекций. Цель данной лекции: определить основные задачи и цели проведения формальных инспекций, определить этапы проведения формальной инспекции
                              Оглавление
                                24 ноября 2019
                                09:00
                                Тест 9
                                24 минуты
                                31 декабря 2019
                                00:00
                                Лекция 10
                                Формальные инспекции (окончание)
                                Лекция завершает тему "Формальные инспекции" и рассматривает документы, создаваемые в ходе формальной инспекции, а также определяет особенности формальных инспекций программного кода и проектной документации. Цель данной лекции: определить основные документы, создаваемые в ходе формальной инспекции, и указать на основные особенности процессов формальной инспекции программного кода и проектной документации
                                Оглавление
                                  26 ноября 2019
                                  09:00
                                  Тест 10
                                  24 минуты
                                  1 января 2020
                                  00:00
                                  Практическая работа 7
                                  Формальные инспекции
                                  Семинар посвящен формальным инспекциям программного кода. Проводится формальная инспекция программного модуля, участники выбираются из числа студентов.
                                  Оглавление
                                    28 ноября 2019
                                    09:00
                                    Лекция 11
                                    Модульное тестирование
                                    Лекция является первой из трех рассматривающих уровни процесса верификации. Тема данной лекции - процесс модульного тестирования, его задачи и цели. Определяется понятие модуля и его границ, определяются подходы к проектированию тестового окружения при модульном тестировании. Рассматриваются организационные аспекты модульного тестирования. Цель данной лекции: дать представление о процессе модульного тестирования, его технической и организационной составляющих
                                    Оглавление
                                      29 ноября 2019
                                      09:00
                                      Тест 11
                                      24 минуты
                                      3 января 2020
                                      00:00
                                      Практическая работа 8
                                      Покрытие программного кода
                                      Семинар посвящен покрытию программного кода. Рассмотрены методы проверки покрытия, методы улучшения покрытия, покрытие по методу MC/DC. Обсуждаются отчеты о покрытии, различные их формы, анализ неполноты покрытия, влияние зависимостей тестовых примеров на полноту покрытия. Описан процесс сбора покрытия и генерации отчетов о покрытии в MVSTE
                                      Оглавление
                                        1 декабря 2019
                                        09:00
                                        Лекция 12
                                        Интеграционное тестирование
                                        Лекция является второй из трех рассматривающих уровни процесса верификации. Тема данной лекции - процесс интеграционного тестирования, его задачи и цели. Рассматриваются организационные аспекты интеграционного тестирования - структурная и временная классификации методов интеграционного тестирования, планирование интеграционного тестирования. Цель данной лекции: дать представление о процессе интеграционного тестирования, его технической и организационной составляющих
                                        Оглавление
                                          2 декабря 2019
                                          09:00
                                          Тест 12
                                          24 минуты
                                          7 января 2020
                                          00:00
                                          Практическая работа 9
                                          Повторяемость тестирования, зависимости тестовых примеров
                                          Семинар посвящен зависимости тестовых примеров. Рассматривается инициализация тестового окружения перед выполнением, выполнение последовательностей тестов, зависимость по общим данным, зависимость по состоянию системы/модуля, упорядоченные тесты (ordered tests) в MVSTE.
                                          Оглавление
                                            4 декабря 2019
                                            09:00
                                            Лекция 13
                                            Системное тестирование
                                            Лекция является последней из трех рассматривающих уровни процесса верификации. Тема данной лекции - процесс системного тестирования, его задачи и цели. Рассматриваются виды системного тестирования, особенности системного тестирования и испытаний при разработке сертифицируемого программного обеспечения. Цель данной лекции: дать представление о процессе системного тестирования, его технической и организационной составляющих
                                            Оглавление
                                              5 декабря 2019
                                              09:00
                                              Тест 13
                                              27 минут
                                              9 января 2020
                                              00:00
                                              Практическая работа 10
                                              Интеграционное тестирование
                                              Семинар посвящен интеграционному тестированию, в т.ч. рассматриваются вопросы тестирования межмодульных интерфейсов, определения границ тестируемой области, тестирования информационного обмена между модулями.
                                              Оглавление
                                                7 декабря 2019
                                                09:00
                                                Лекция 14
                                                Тестирование пользовательского интерфейса
                                                Лекция посвящена тестированию пользовательского интерфейса. Определяются задачи и цели данного вида тестирования, определяются методы функционального тестирования пользовательского интерфейса, вводятся основные понятия тестирования удобства использования (usability) интерфейсов. Цель данной лекции: дать представление о процессе тестирования пользовательского интерфейса, его задачах, целях и основных методах
                                                Оглавление
                                                  8 декабря 2019
                                                  09:00
                                                  Тест 14
                                                  24 минуты
                                                  10 января 2020
                                                  00:00
                                                  Лекция 15
                                                  Методы разработки устойчивого кода
                                                  Лекция посвящена методам разработки устойчивого программного кода. Проводится классификация проблем, возникающих при работе программных систем, рассмотрено три метода разработки устойчивого кода: допущения, обработка исключений, сбор информации о сбоях. Цель данной лекции: дать представление о методах разработки устойчивого кода
                                                  Оглавление
                                                    10 декабря 2019
                                                    09:00
                                                    Тест 15
                                                    24 минуты
                                                    13 января 2020
                                                    00:00
                                                    Лекция 16
                                                    Поддержка процесса тестирования при промышленной разработке программного обеспечения
                                                    Лекция посвящена промышленным процессам поддержки тестирования: управлению качеством и конфигурационному управлению. Рассматриваются особенности этих процессов при разработке сертифицируемого программного обеспечения. Цель данной лекции: дать представление о процессах управления качеством и конфигурационного управления
                                                    Оглавление
                                                      12 декабря 2019
                                                      09:00
                                                      Тест 16
                                                      24 минуты
                                                      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
                                                        Антон Гацко
                                                        Антон Гацко
                                                        Место жительства: Беларусь
                                                        Александр Лаврёнов
                                                        Александр Лаврёнов
                                                        Место жительства: Беларусь