- •Ю.М. Бородянский
- •Содержание
- •1. Верификация информационных систем
- •1.1. Концепция тестирования
- •1.2. Основная терминология
- •1.3. Организация тестирования
- •1.3.1. Три фазы тестирования
- •1.4. Требования к идеальному критерию тестирования
- •1.5. Классы критериев
- •1.5.1. Структурные критерии (класс I).
- •1.5.2. Функциональные критерии (класс II)
- •1.5.3. Стохастические критерии (класс III)
- •1.5.4. Мутационный критерий (класс IV)
- •1.6. Оценка Покрытия Программы и Проекта
- •1.7. Типы процессов тестирования и верификации и их место в различных моделях жизненного цикла
- •1.7.1. Модульное тестирование
- •1.7.2. Интеграционное тестирование
- •1.7.3. Системное тестирование
- •1.7.4. Нагрузочное тестирование
- •1.7.5. Формальные инспекции
- •1.8. Системное тестирование
- •1.8.1. Задачи и цели системного тестирования
- •1.8.2. Виды системного тестирования
- •1.8.3. Системное тестирование, приемо-сдаточные и сертификационные испытания при разработке сертифицируемого программного обеспечения
- •1.9. Задачи и цели процесса верификации
- •1.10. Тестирование, верификация и валидация – различия в понятиях
- •1.11. Документация, создаваемая на различных этапах жизненного цикла
- •1.12. Документация, сопровождающая процесс верификации и тестирования
- •1.12.1. Технологические процессы верификации и роли в проекте, документация, создаваемая в ходе жизненного цикла проекта, ее назначение
- •1.12.3. Стратегия и планы верификации
- •1.13. Тест-требования
- •1.13.1. Технологические цепочки и роли участников проекта, использующих тест-требования. Связь тест-требований с другими типами проектной документации.
- •1.13.2. Свойства тест-требований
- •1.13.3. Тест-планы
- •1.13.3.1 Технологические цепочки и роли участников проекта, использующих тест-планы. Связь тест-планов с другими типами проектной документации.
- •1.13.4. Возможные формы подготовки тест-планов
- •1.13.5. Сценарии
- •1.14. Формальные инспекции
- •1.14.1. Задачи и цели проведения формальных инспекций
- •1.14.2. Этапы формальной инспекции и роли ее участников
- •1.14.2.1. Инициализация
- •1.14.2.2. Планирование
- •1.14.2.3. Подготовка
- •1.14.2.4. Обсуждение
- •1.14.2.5. Завершение
- •1.14.3. Документирование процесса формальной инспекции
- •1.14.3.1. Бланк инспекции
- •1.14.3.2. Титульный лист
- •1.14.3.3. Список контрольных вопросов
- •1.14.3.4. Список несоответствий
- •1.14.3.5. Колонтитул
- •1.14.4. Жизненный цикл инспектируемого документа
- •1.14.5. Формальные инспекции программного кода
- •1.14.5.1.. Особенности этапа просмотра инспектируемого кода
- •1.14.5.2. Особенности этапа проведения собрания
- •1.14.5.3. Особенности этапа завершения и повторной инспекции
- •1.14.6. Формальные инспекции проектной документации
- •1.14.6.1. Особенности этапа просмотра документации
- •1.14.6.2.. Особенности этапа завершения
- •2. Сопровождение информационных систем
- •2.1. Введение
- •2.2. Организация процесса сопровождения
- •2.3. Методы сопровождения
- •2.3.1. Анализ влияния факторов
- •2.3.2. Обратное проектирование
- •2.3.3. Реинжиниринг
- •2.3.4. Рефакторинг
- •2.3.5. Унаследованные приложения
- •2.3.6. Обновление документации
- •2.4. Стандарт ieee 1219-1992
- •5. Системное тестирование
- •2.5. Управление сопровождением
- •2.6. Качество сопровождения
- •2.6.1. Метрики сопровождения
- •2.6.2. Применение метрик сопровождения
- •2.6.3. Удобство сопровождения
- •2.7. Подведение итогов
5. Системное тестирование
5.1.-5.6. Входные данные, Процесс, Контроль, Выходные данные, Факторы качества, Метрики
6. Приемосдаточное тестирование
6.1.-6.1. Входные данные, Процесс, Контроль, Выходные данные, Факторы качества, Метрики
7. Поставка
7.1.-7.6. Входные данные, Процесс, Контроль, Выходные данные, Факторы качества, Метрики
Рис. 2.7. Атрибуты стадий сопровождения
Стадия процесса обработки запросов на сопровождение, на которой происходит определение задачи, описана в табл. 2.1.
Таблица 2.1. Определение задачи запроса на сопровождение
IEEE 1219-1992 Стадия сопровождения 1: определение задачи |
|
а. Входные данные |
Запрос на сопровождение |
б. Процесс |
Присвоить изменению номер |
|
Охарактеризовать по типу и степени серьезности |
|
Принять или отклонить изменение |
|
Выполнить предварительную оценку затрат |
|
Установить приоритет |
в. Контроль |
Присвоить запросу уникальный идентификатор |
|
Ввести запрос в хранилище |
г. Выходные данные |
Утвержденный запрос |
д. Выбранные факторы качества |
Ясность запроса |
|
Корректность запроса (например, тип) |
е. Выбранные метрики |
Количество упущений в запросе |
|
Количество поданных запросов к определенной дате |
|
Количество дублирующихся запросов |
|
Оценка времени на подтверждение проблемы |
Стадия анализа задачи в процессе обработки запросов на сопровождение описана в табл. 2.2.
Таблица 2.2. Анализ запроса на сопровождение
IEEE 1219-1992 Стадия сопровождения 2: анализ задачи |
|
а. Входные данные |
Исходная проектная документация |
|
Утвержденный запрос со стадии определения |
б. Процесс |
Изучить выполнимость запроса |
|
Исследовать влияние выполнения запроса |
|
Выполнить подробный анализ требуемых работ |
|
Уточнить содержание запроса |
в. Контроль |
Провести техническую проверку |
|
Проверить соответствие стратегии тестирования |
|
Проверить обновление документации |
|
Выявить вопросы, связанные с безопасностью и защитой |
г. Выходные данные |
Отчет о выполнимости |
|
Подробный отчет об анализе, в том числе о влиянии |
|
изменений |
|
Обновленные требования |
|
Предварительный список изменений |
|
План реализации |
|
Стратегия тестирования |
д. Выбранные факторы качества |
Понятность анализа |
е. Выбранные метрики |
Количество требований, подлежащих изменению |
|
Трудозатраты (на анализ запроса) |
|
Фактическая продолжительность |
Стадия проектирования запроса на сопровождение описана в табл. 2.3.
Таблица 2.3. Проектирование запроса на сопровождение
IEEE 1219-1992 Стадия сопровождения 3: проектирование |
|
а. Входные данные |
Исходная проектная документация |
|
Анализ, полученный на предыдущей стадии |
б. Процесс |
Создать тестовые варианты |
|
Просмотреть: требования и план реализации |
в. Контроль |
Верифицировать проект |
|
Проинспектировать: проект и тестовые варианты |
г. Выходные данные |
Измененные: список модификаций, детальный анализ |
|
и план реализации |
|
Обновленные: каркас проекта и планы тестирования |
д. Выбранные факторы качества |
Гибкость (проектирования) |
|
Прослеживаемость |
|
Возможность повторного использования |
|
Понятность |
е. Выбранные метрики |
Трудозатраты в человеко-часах |
|
Фактическая продолжительность |
|
Количество изменяемых приложений |
Стадия реализации запросов на сопровождение описывается в табл. 2.4.
Таблица 2.4. Реализация запроса на сопровождение
IEEE 1219-1992 Стадия сопровождения 4: реализация |
|
а. Входные данные |
Первичный исходный код |
|
Первичная проектная документация |
|
Подробный проект с предыдущей стадии |
б. Процесс |
Внести в код необходимые изменения и дополнения |
|
Выполнить модульное тестирование |
|
Проверить готовность к системному тестированию |
в. Контроль |
Проверка кода |
|
Верификация: контроль конфигурации и прослеживаемость нового кода |
г. Выходные данные |
Обновленные: программное обеспечение, отчеты о модульном тестировании, пользовательские документы |
д. Выбранные факторы качества |
Гибкость |
|
Прослеживаемость |
|
Понятность |
|
Удобство сопровждения |
|
Надежность |
е. Выбранные метрики |
Количество строк кода |
|
Процент ошибок |