Надежность программного обеспечения

Введение

Введение

Ошибка – это неспособность системы действовать в соответствии с перечнем требований,

Введение

Тестирование – это процесс выполнения программы с целью обнаружения ошибок
Доказательство –

Связь процесса тестирования и процесса проектирования

Потребности

Архитектура системы

Внешние спецификации

Реализация модулей

Приемо-сдаточные испытания (Acceptance Testing)

Системное

Связь процесса тестирования и процесса проектирования

Defect correction cost profile for the

Уровни тестирования

Тестирование модуля. Выявление ошибок в минимальных элементах программной системы. Выполняется

Виды тестирования

Тестирование функциональности (functionality testing)
Функциональные тесты (function test). Выявляют ошибки в

Стратегии тестирования

Тестирование по спецификациям
Тестирование «черного ящика»
Формальное тестирование

Тестирование по тексту программ
Тестирование «белого

Стратегии тестирования

2

1

3

4

4 теста

10 раз

10 раз

N = (23)10 ⋅ 2 ⋅ (23)10

Цикломатическая сложность процедуры – количество независимых путей

V(G)=1

V(G)=2

V(G)=P+1 P – количество ветвлений

…

Классы эквивалентности

Тестирование модуля

1. Тестирование модуля, как черного ящика

Матрица тестирования классов эквивалентности и

Тестирование модуля

2. Тестирование базового пути (каждая ветвь хотя бы один раз)

Матрица

Тестирование модуля

3. Тестирование циклов (в т.ч. вложенных)

Ранее подготовленные тесты

Дополнительные тесты

Матрица учета циклов

4.

Тестирование интеграции (интегрированное тестирование)

Цель – обнаружение ошибок взаимодействия модулей
Последовательность тестирования определяется

Тестирование интеграции

Восходящее тестирование (снизу - вверх)

Д

Д

Д

1

2

- Автономно тестируются только модули нижнего

Тестирование интеграции

Нисходящее тестирование (сверху - вниз)

Проблемы:
- Обращение к модулю, который

Тестирование интеграции

Метод «большого скачка» (монолитное тестирование)

Достоинства:
- Распараллеливание работ по проектированию

Тестирование интеграции

Модифицированный нисходящий

В нисходящем методе

Модификация

Каждый модуль проходит автономное тестирование перед

Тестирование интеграции

Метод сэндвича

Д

Д

Д

1

2

З

З

З

2

1

Прикладной уровень

Уровень элементарных операций

Стыковка

Одновременно начинается нисходящая и восходящая интеграция и

Тестирование интеграции

Модифицированный метод сэндвича

Д

Д

Д

1

2

З

З

З

2

1

Прикладной уровень

Уровень элементарных операций

Стыковка

З

Д

З

Д

З

Д

То же самое, что метод сэндвича,

Тестирование интеграции

Сравнительный анализ

Системное тестирование (разработка функциональных тестов)

Метод диаграмм причин-следствий (cause-effect):
Выявляются причины (значения из

Метод диаграмм причин-следствий

c

e

c

e

c1

c2

e

∨

c1

c2

e

∧

с1

с2

E

с1

с3

I

с2

Функция «тождество»

Функция «не»

c = {0,1} e = {0,1}

Функция «или»

Функция

Метод диаграмм причин-следствий

Пример. Тестировать исполнение команды операционной системы
rename name1 [name2]
Описание тестируемой

Метод диаграмм причин-следствий

Причины:
(с1) Длина name1 от 1 до 8 символов
(с2) Длина