Верификация программного обеспечения
Общая информация о курсеПредисловиеМесто верификации среди процессов разработки программного обеспеченияПонятие верификацииЖизненный цикл разработки программного обеспеченияМодели жизненного циклаКаскадный жизненный циклV-образный жизненный циклСпиральный жизненный циклЭкстремальное программированиеСравнение различных типов жизненного цикла и вспомогательные процессыСовременные технологии разработки программного обеспечения 1.4.1. Microsoft Solutions FrameworkRational Unified Processextreme ProgrammingСравнение технологий MSF, RUP и ХРРолевой состав коллектива разработчиков, взаимодействие между ролями в различных технологических процессахЗадачи и цели процесса верификацииТестирование, верификация и валидация - различия в понятияхДокументация, создаваемая на различных этапах жизненного циклаТипы процессов тестирования и верификации и их место в различных моделях жизненного цикла 1.9.1. Модульное тестированиеИнтеграционное тестированиеСистемное тестированиеНагрузочное тестированиеФормальные инспекцииВерификация сертифицируемого программного обеспеченияВведениеВведениеСистема "Калькулятор" 2.2.1. Общее описаниеТребования к системеАрхитектураПрограммный кодТестирование системы 2.3.1. Общее описаниеПроверка программного кодаПроверка архитектурыПроверка требованийПриложение. Спецификация на программу "Калькулятор. Базовая версия" (с комментариями для преподавателя)Домашнее заданиеТестирование программного кода (методы+окружение)Задачи и цели тестирования программного кодаМетоды тестирования 3.2.1. Черный ящикСтеклянный (белый) ящикТестирование моделейАнализ программного кода (инспекции)Тестовое окружениеДрайверы и заглушкиТестовые классыГенераторы сигналов (событийно-управляемый код)Тестирование программного кода (тестовые примеры)Тестовые примерыТест-требования как основной источник информации для создания тестовых примеровТипы тестовых примеровПроверка робастности (выхода за границы диапазона)Классы эквивалентностиТестирование операций сравнения чиселТестовые примеры. Классы эквивалентности. Ручное тестирование в MVSTEПроверка домашнего заданияТестовые примеры 5.2.1. Разработка тестовых примеровКлассы эквивалентностиВозможности MVSTE по ручному тестированию и описанию тестовых примеров (Manual Testing)Раздаточный материал 5.5. Домашнее заданиеТестирование программного кода (покрытия)Тест-планыТиповая структура тест-планаОценка качества тестируемого кода - статистика выполнения тестовПокрытие программного кода 6.3.1. Понятие покрытияУровни покрытия 6.3.2.1. По строкам программного кода (Statement Coverage)По веткам условных операторов (Decision Coverage)По компонентам логических условийПокрытие по условиям (Condition Coverage)Покрытие по веткам/условиям (Сondition/Decision Coverage)Покрытие по всем условиям (Multiple Condition Coverage)Метод MC/DC для уменьшения количества тестовых примеров при 3-м уровне покрытия кодаАнализ покрытияТестовое окружениеТестПроверка домашнего заданияТестовое окружениеТеоретическое вступлениеНа примере "Калькулятора"Раздаточный материал Домашнее заданиеПовторяемость тестированияЗадачи и цели обеспечения повторяемости тестирования при промышленной разработке программного обеспеченияПредусловия для выполнения теста, настройка тестового окружения, оптимизация последовательностей тестовых примеровЗависимость между тестовыми примерами, настройки по умолчанию для тестовых примеров и их группМодульное тестированиеПроверка домашнего заданияМодульное тестирование 9.2.1. Теоретическое вступлениеЗадачи и цели модульного тестированияПонятие модуля и его границ. Тестирование классовПодходы к проектированию тестового окруженияНа примере "Калькулятора"Раздаточный материал Домашнее заданиеДокументация, сопровождающая процесс верификации и тестирования (тест-требования)Технологические процессы верификации и роли в проекте, документация, создаваемая в ходе жизненного цикла проекта, ее назначениеСтратегия и планы верификацииТест-требованияТехнологические цепочки и роли участников проекта, использующих тест-требования. Связь тест- требований с другими типами проектной документации.Свойства тест-требованийДокументация, сопровождающая процесс верификации и тестирования (тест-планы)Тест-планы 11.1.1. Технологические цепочки и роли участников проекта, использующих тест-планы. Связь тест-планов с другими типами проектной документации.Возможные формы подготовки тест-плановСценарииТаблицыКонечные автоматыГенераторы тестовОтчеты о прохождении тестовТехнологические цепочки и роли участников проекта, использующих отчеты о прохождении тестов. Связь отчетов о прохождении тестов с другими типами проектной документацииВозможные формы представления отчетов о прохождении тестовАвтоматическое и ручное тестированиеАвтоматизация модульного тестированияТестПроверка домашнего заданияВозможности MVSTE по автоматизации модульного тестированияНачало работыСоздание тестовСоздание тестовОбработка исключенийРаздаточный материал Домашнее заданиеДокументация, сопровождающая процесс верификации и тестирования (отчеты)Отчеты о покрытии программного кодаТехнологические цепочки и роли участников проекта, использующих отчеты о покрытии. Связь отчетов о покрытии с другими типами проектной документацииВозможные формы отчетов о покрытииПокрытие на уровне исходных текстов и на уровне машинных кодовОтчеты о проблемахТехнологические цепочки и роли участников проекта, использующих отчеты о проблемах. Связь отчетов о проблемах с другими типами проектной документацииСтруктура отчетов о проблемах, их трассировка на программный код и документациюТрассировочные таблицыТехнологические цепочки и роли участников проекта, использующих трассировочные таблицы. Связь трассировочных таблиц с другими типами проектной документацииВозможные формы трассировочных таблицКонтрольная работаФормальные инспекцииЗадачи и цели проведения формальных инспекцийЭтапы формальной инспекции и роли ее участниковИнициализацияПланированиеПодготовкаОбсуждениеЗавершениеФормальные инспекции (окончание)Документирование процесса формальной инспекцииБланк инспекцииТитульный листСписок контрольных вопросовСписок несоответствийКолонтитулЖизненный цикл инспектируемого документаФормальные инспекции программного кодаОсобенности этапа просмотра инспектируемого кодаОсобенности этапа проведения собранияОсобенности этапа завершения и повторной инспекцииФормальные инспекции проектной документацииОсобенности этапа просмотра документацииОсобенности этапа завершенияФормальные инспекцииВведениеЭтапы формальной инспекции и роли ее участниковИнициализацияПланированиеПодготовкаОбсуждениеЗавершениеМодульное тестированиеУровни процесса верификацииЗадачи и цели модульного тестированияПонятие модуля и его границ. Тестирование классовПодходы к проектированию тестового окруженияОрганизация модульного тестированияПокрытие программного кодаПроверка домашнего заданияПонятие покрытия 19.2.1. Покрытие программного кодаУровни покрытияПо строкам программного кода (Statement Coverage)По веткам условных операторов (Decision Coverage)По компонентам логических условийПокрытие по условиям (Condition Coverage)Покрытие по веткам/условиям (Condition/Decision Coverage)Покрытие по всем условиям (Multiple Condition Coverage)Метод MC/DC для уменьшения количества тестовых примеров при 3-м уровне покрытия кодаАнализ покрытияОтчеты о покрытии программного кодаОтчеты о покрытии и их связь с другими типами проектной документацииВозможные формы отчетов о покрытииПокрытие на уровне исходных текстов и на уровне машинных кодовВозможности MVSTE по построению покрытия кодаИнтеграционное тестированиеЗадачи и цели интеграционного тестированияОрганизация интеграционного тестирования 20.2.1. Структурная классификация методов интеграционного тестированияВременная классификация методов интеграционного тестированияПланирование интеграционного тестированияПовторяемость тестирования, зависимости тестовых примеровТестПовторяемость тестирования 21.2.1. Теоретическое вступление Задачи и цели обеспечения повторяемости тестирования при промышленной разработке программного обеспеченияПредусловия для выполнения теста, настройка тестового окружения, оптимизация последовательностей тестовых примеровЗависимость между тестовыми примерами, настройки по умолчанию для тестовых примеров и их группУпорядоченные тесты (ordered tests) в MVSTEСистемное тестированиеЗадачи и цели системного тестированияВиды системного тестированияСистемное тестирование, приемо-сдаточные и сертификационные испытания при разработке сертифицируемого программного обеспеченияИнтеграционное тестированиеПроверка домашнего заданияИнтеграционное тестирование 23.2.1. Задачи и цели интеграционного тестированияЗадачи и цели интеграционного тестированияСтруктурная классификация методов интеграционного тестированияВременная классификация методов интеграционного тестированияНа примере "Калькулятора"Тестирование пользовательского интерфейсаЗадачи и цели тестирования пользовательского интерфейсаФункциональное тестирование пользовательских интерфейсовПроверка требований к пользовательскому интерфейсуТипы требований к пользовательскому интерфейсуТестопригодность требований к пользовательскому интерфейсуПолнота покрытия пользовательского интерфейсаМетоды проведения тестирования пользовательского интерфейса, повторяемость тестирования пользовательского интерфейсаРучное тестированиеСценарии на формальных языкахТестирование удобства использования пользовательских интерфейсовМетоды разработки устойчивого кодаКлассификация проблем, возникающих при работе программных системСбоиОтказы и аварииМетоды разработки устойчивого кодаКритические точки и допущения (assertions)Обработка исключенийСбор и обработка информации о сбоях и отказахПоддержка процесса тестирования при промышленной разработке программного обеспеченияУправление качеством Задачи и цели управления качествомСистема менеджмента качества по ISO 9000Аудит процессов разработки и верификацииКорректирующие действия и коррекция процессовКонфигурационное управлениеЗадачи процесса конфигурационного управленияПроцедуры процесса конфигурационного управленияИдентификация конфигурацийБазовые конфигурации и прослеживаемостьУправление изменениямиВычисление статуса конфигурацииАрхивирование, аудиты и обзоры конфигурацийУправление инструментальными средствамиУровни управления даннымиУправление качеством и конфигурационное управление при разработке сертифицируемого программного обеспечения.Тестирование в Microsoft Solutions FrameworkТестПроверка домашнего заданияРоль тестировщика в команде разработчиков ПО 27.3.1. ВведениеMicrosoft Solutions FrameworkТестировщик в MSF for Agile Software Development MSF for Agile Software DevelopmentО роляхО роли тестировщикаПроверка сценарияТестирование требований к качествуСтрессовое тестированиеЗакрытие ошибокСписок литературы
