andrey

Путь к Файлу: /Таганрогский радиотехнический университет / Программирование Теория / PRAKT3.DOC

Ознакомиться или скачать весь учебный материал данного пользователя
Скачиваний:   0
Пользователь:   andrey
Добавлен:   24.01.2015
Размер:   133.5 КБ
СКАЧАТЬ

Тестирование компонентов:

метод обнаруживающих подобластей

 

Пусть Х - область программы Р. Подобласть Х1 области Х называется обнаруживающей подобластью, если в случае неправильного выхода программы в одной точке Х1 выход программы будет неправильным и в любой другой точке подобласти. При этом одна ошибка может маскировать другую.

При выделении обнаруживающих подобластей используется любая имеющаяся информация: функциональная спецификация программы, ее структура, а также выдвигается гипотеза о наиболее вероятных ошибках.

PRAKT3

1 Шаг

Найти все возможные пути.

2 Шаг

Найти все предикаты для каждого пути.

3 Шаг

Найти проблемные разбиения.

4 Шаг

Найти ненулевые конъюнкции предикатов путей и проблемных разбиений, затем обнаружение подобластей.

5 Шаг

Выбрать любую точку в каждой подобласти и составить таблицу.

Подобласть

Тестовый пример(точка)

Правило выхода

Действительный выход

 

 

 

 

 

Задача:

Классификация треугольника по его сторонам.

Вход: 3 положительных числа A³B³C>0.

Выход: определить тип треугольника:

1) A, B, C,  не могут быть сторонами треугольника;

2) Равносторонний треугольник;

3) Равнобедренный треугольник;

4) Прямоугольный треугольник;

5) Тупоугольный треугольник;

5) Остроугольный треугольник;

 

1 шаг

Пути можно обозначить перечислением дуг, исходящих из начальных (ПУСК) и предикатных (УСЛОВИЯ) вершин:

1) ab, 2) acde, 3) acdfg, 4) acdfh, 5) acik, 6) acij.

 

2 шаг

PRAKT3

PRAKT3

PRAKT3

Т.о. берем  объединение всех условий, встречающихся на пути. (Путь обязательно идет от точки (ПУСК) до точки (ОСТАНОВ)).

 

3 шаг

По спецификации A³B³C>0, однако это условие может быть не выполнимо, следовательно

а) разделим все множество положительных троек на запрещенные тройки и допустимые:

PRAKT3

б) разобьем допустимые тройки на ряд подмножеств:

PRAKT3 - в этом случае явно не выполняется неравенство треугольника.

 

A³B³C и A<B+C - являются допустимыми. Разобъем их на 6 подклассов:

PRAKT3Классы определяющие тип треугольника

4 шаг

Некоторые конъюнкции Р1 - Р6 и m1 - m8 неравные  0:

 

PRAKT3

PRAKT3

Т.о. разбиение на основании областей путей (Рi) делит область программы на классы, все точки из которых одинаковым образом обрабатываются программой, а проблемное разбиение делит область на классы, все точки в которых должны обрабатываться одинаковым образом. Пересечение этих классов должно обладать и тем и другим свойством.

 

5 шаг

 

Таблица 8.2  Возможный набор тестовых примеров

Подобласть

Тестовый пример

Правильный выход

Действительный выход

X1

1,  -2, -3

Запрещенная тройка

Запрещенная тройка

X2

14, 6, 4

Не треугольник

Тупоугольный

X3

2, 1, 1

Не треугольник

Равнобедренный

X4

1, 1, 1

Равносторонний

Равносторонний

X5

2, 2, 1

Равнобедренный

Равнобедренный

X6

3, 2, 2

Равнобедренный

Равнобедренный

X7

5, 4, 3

Прямоугольный

Прямоугольный

X8

6, 5, 4

Остроугольный

Остроугольный

X9

4, 3, 2

Тупоугольный

Тупоугольный

 

Выбираем одну любую точку из каждой обнаруженной области Xi (X1 - X9). Из таблицы видно, что программа дает неправильный результат для подобластей X2 и X3. Т.е. программа ошибочно классифицирует тройку не являющуюся длинами сторон треугольника.  Т.о., подобласти X2 и X3 являются обнаруживающими для этой ошибки.

 

 

Б Боэм:

“ С учетом ошибок в техническом задании и ошибок в доказательстве даже доказательство корректности может быть использовано только для того, чтобы показать наличие ошибок, но никогда не может служить доказательством их отсутствия”.

Ошибки могут быть в : функциональной спецификации, в алгоритме, в тексте программы, в выборе индуктивных утверждений, в самой автоматической верификации и т.д.

Т.о., доказательство правильности и тестирование являются взаимодополняющими методами повышения важнейшего показателя качества программ - надежности.

 

Наверх страницы

Внимание! Не забудьте ознакомиться с остальными документами данного пользователя!

Соседние файлы в текущем каталоге:

На сайте уже 21970 файлов общим размером 9.9 ГБ.

Наш сайт представляет собой Сервис, где студенты самых различных специальностей могут делиться своей учебой. Для удобства организован онлайн просмотр содержимого самых разных форматов файлов с возможностью их скачивания. У нас можно найти курсовые и лабораторные работы, дипломные работы и диссертации, лекции и шпаргалки, учебники, чертежи, инструкции, пособия и методички - можно найти любые учебные материалы. Наш полезный сервис предназначен прежде всего для помощи студентам в учёбе, ведь разобраться с любым предметом всегда быстрее когда можно посмотреть примеры, ознакомится более углубленно по той или иной теме. Все материалы на сайте представлены для ознакомления и загружены самими пользователями. Учитесь с нами, учитесь на пятерки и становитесь самыми грамотными специалистами своей профессии.

Не нашли нужный документ? Воспользуйтесь поиском по содержимому всех файлов сайта:



Каждый день, проснувшись по утру, заходи на obmendoc.ru

Товарищ, не ленись - делись файлами и новому учись!

Яндекс.Метрика