Методы тестирования программных средств

Слайд 2

ПРИМЕР: Построим тест (найдем совокупность тест-наборов с эталонными значениями) для вычисления

ПРИМЕР: Построим тест (найдем совокупность тест-наборов с эталонными значениями) для вычисления

y =| х2 ¦ -2<=х<=0, (Начальное значение вводится) | х3  ¦  0<х <2 с шагом х=0.2 х=0, х=1

Начало

Ввод Х

Допуст. Х

Ошибка
ввода

X<=0

Y=X2

Y=X3

х=х+0,2

Вывод x,y

конец

Нет

да

да

нет

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

Х<2

1

2

9

3

4

5

6

7

8

Слайд 3

Спецификации, исходные данные Таблица покрытий Спецификации, исходные данные вершины и пути

Спецификации, исходные данные

Таблица покрытий

Спецификации, исходные данные

вершины и пути

TH\

недоп.

допуст.

x2

x3

x<-2

X>=2

X<=0

X>0

ц
е
л

в
е
щ

1-2

2-
9

2-
3

4-
5

5-
7

4-
6

6-
7

7-
8

8-
3

8k

1) x=-3

2) x= 3

3)

x=-1

6) x=-0.5

4) x= 1

5) x=1.5

- -

- -

+ -

- -

+

+

+

+

+

+

+

+

+

+

+

+

+

+

+

+

+

+

+

+

+

+

+

-

-

-

+

-

+

+

+

-

-

+

+

+

-

+

+

+

+

+

+

-

+

+

-

-

Функции

Для покрытия таблицы в первую очередь выбираются столбцы, содержащие по одной единице и соответствующие строки включаются в тест (5,1,2). Далее, строка с наибольшим Числом «+»
Контролирующий тест: 5, 1, 2, 3

+

+

+

+

+

+

+

+

Слайд 4

Диагностическая таблица + + Путь 4-5,5-7 - + Функ-ция х3 (-)

Диагностическая таблица

+

+

Путь 4-5,5-7

-

+

Функ-ция х3

(-)

-

+

+

+

Путь 4-6,6-7

+

+

+

+

-

+

+

+

-

+

6

5

4

3

2

1

№ тестов. набора

Невер-ный Ин-тервал

+

-

+

Для достоверного контроля важна

полнота спецификаций и полнота теста
Слайд 5

Внешние спецификации Майерс Г. Надежность ПО.-М.:Мир,1980. -360 с. Спецификации для каждой

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

Майерс Г. Надежность ПО.-М.:Мир,1980. -360 с.
Спецификации для каждой функции

должны включать
1) описание входных данных
2) описание выходных данных
3) преобразования, выполняемые программной системой (с точки зрения пользователя)
4) характеристики надежности (описания воздействия всех возможных отказов функций на саму систему, файлы и пользователя)
5) эффективность
Спецификации Описания или результаты
____________________________________________________
Тип данных Целые и вещественные
Допустимые входные данные -2<=x<0 и 2> x>=0
Недопустимые данные x<-2 x>=2
Допустимые выходные данные
Преобразования Квадрат и куб
Язык программирования
или его класс (Процедурное или ООП)
Время разработки и выполнения программы
Характеристики Наличие элементов самодиагностики
надежности (Ограничения по количеству циклов, входным и выходным данным и т.п.)
___________________________________________________________
Слайд 6

Методы тестирования программных средств состоящих из нескольких модулей Восходящее тестирование Нисходящее

Методы тестирования программных средств состоящих из нескольких модулей

Восходящее тестирование
Нисходящее тестирование
Метод большого

скачка
Метод Сандвича