Рассмотрена проблематика, цели и требования к курсу. Обсуждены основные темы курса и практикума.

Рассмотрены подходы к обоснованию истинности формул и программ и их связь с тестированием. Представлены на конкретных примерах понятия отладки и тестирования. Рассмотрены вопросы организации тестирования. На примерах пояснены методы поиска ошибок и процедура тестирования. Рассмотрены фазы тестирования, основные проблемы тестирования и поставлена задача выбора конечного набора тестов.

Рассматриваются требования к идеальному критерию тестирования и классы частных критериев. Рассматриваются особенности применения структурных и функциональных критериев на базе конкретных примеров. Рассматриваются особенности применения методов стохастического тестирования и метод оценки скорости выявления ошибок. Описывается мутационный критерий и на примере иллюстрируется техника работы с ним.

Рассматриваются графовые модели проекта, приводятся метрики оценки оттестированности проекта, приводятся примеры плоской и иерархической моделей проекта.

Рассматриваются особенности модульного тестирования, обсуждаются подходы к тестированию на основе потока управления, потока данных. Обсуждаются динамические и статические методы при структурном подходе. Рассматривается пример модульного тестирования. Рассматривается взаимосвязь сборки модулей и методов интеграционного тестирования. Обсуждаются подходы монолитного, инкрементального, нисходящего и восходящего тестирования. Рассматриваются особенности интеграционного тестирования в процедурном программировании.

Рассматривается модель объектно-ориентированной программы, использующая понятие P-путей и MM-путей. Приводятся оценки сложности тестирования и методика тестирования объектно-ориентированной программы. Рассматривается пример интеграционного тестирования.

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

Рассматривается структура тестового набора для автоматического прогона. Обсуждается структура инструментальной системы автоматизации тестирования. Сравниваются издержки и эффективность различных методов тестирования.

Рассматриваются особенности подхода к обеспечению качества программного продукта средствами тестирования. Приводится пример и методика выбора критериев качества тестирования. Определяются фазы процесса тестирования и шаги тестового цикла, применяемые в индустриальном тестировании. Рассматривается структура документа "Тестовый план". Рассматриваются планируемые типы тестирования для различных частей продукта или для проверки различных характеристик продукта. Описываются подходы к тестированию спецификаций и сценариев. Приводится ручной подход и подход генерации тестовых наборов при разработке тестов. Сравниваются методы автоматизации исполнения тестов.

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

Рассматриваются цели, задачи и виды регрессионного тестирования. Перечисляются необходимые и достаточные условия применения методов выборочного регрессионного тестирования. Дается классификация методов выборочного регрессионного тестирования и самих тестов при отборе. Рассматриваются возможности повторного использования тестов.

Рассматриваются случайные методы, безопасные методы, методы минимизации, методы, основанные на покрытии кода. Также рассматривается интеграционное регрессионное тестирование и регрессионное тестирование объектно-ориентированных программ.

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

Рассматриваются методики регрессионного тестирования, полный алгоритм регрессионного тестирования и программная система его поддержки.