Меню
Главная
Авторизация/Регистрация
 
Главная arrow Информатика arrow Верификация программного обеспечения

Верификация программного обеспечения

Общая информация о курсеПредисловие Место верификации среди процессов разработки программного обеспечения Понятие верификации Жизненный цикл разработки программного обеспечения Модели жизненного цикла Каскадный жизненный цикл V-образный жизненный цикл Спиральный жизненный цикл Экстремальное программирование Сравнение различных типов жизненного цикла и вспомогательные процессы Современные технологии разработки программного обеспечения 1.4.1. Microsoft Solutions Framework Rational Unified Process extreme 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 О ролях О роли тестировщика Проверка сценария Тестирование требований к качеству Стрессовое тестирование Закрытие ошибокСписок литературы
 
РЕЗЮМЕ Следующая >
 

Популярные страницы