На сайте 100500 рефератов в 150 категориях	Искать реферат
Рефераты на 5 с плюсом С нашим сайтом написать реферат проще простого

Программа сложной структуры с использованием меню

Категория: Компьютерные науки

версия для печати

Страница: [1] [2] [3] [4] [5] [6] [7] [8]

5) если входные и выходные данные програмы собой упорядоченное множество (последовательный файл, линейный список, таблицу), то при тестировании сосредоточить внимание на первом и последнем элементе множества;

6) попытаться найти и проверить тестами другие граничные условия.

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

Для иллюстрации необходимости анализа граничных условий приведем тривиальный пример. Пусть имеется программа, осуществляющая ввод трех чисел интерпретирующая их как длины сторон треугольника и выводит сообщение о типе треугольника ("разносторонний", "равнобедренный" или "равносторонний"). Допустим также, что в программе содержится ошибка: при проверке условия построения треугольника (сумма длин любых двух сторон должна быть больше третьей) используется операция отношения> = вместо> При проектировании тестов по методу эквивалентного разбиения будут построены тесты для случаев возможности построения треугольника (например, 3, 4, 5) и невозможности его построения (например, 1, 2, 4), т.е. ошибка в программе не будет обнаружена (на входные данные 1, 2, 3 будет выведено сообщение "разносторонний треугольник"). Но подобный тест будет получен при использовании метода анализа граничных условий.

Анализ граничных условий - один из наиболее полезных методов проектирования тестов. Но он часто оказывается неэффективным из-за того, что граничные условия иногда едва уловимые, а их выявление весьма трудно.

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

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

Метод функциональных диаграмм состоит из шести основных этапов. На первом из них (необязательном) внешняя спецификация большого размера разбивается на отдельные участки (наприпорядок, спецификация компилятора языка программирования разбивается на участки, определяющие синтаксический контроль отдельных операторов языка).

На втором этапе в спецификации выделяются причины и следствия, а на третьем - анализируется семантическое содержание спецификации и она превращается в булевский граф, связывающий причины и следствия и называющийся функциональной диаграммой. На рис. 3 приведены базовые символы для записи функциональных диаграмм (каждый узел функциональной диаграммы может находиться в состоянии 1 - "существует" - или 0 - "не существует").

а) Тождество: а (1 (> b (1) & (а (0 (> b (0 ))))))

а b

б) Отрицание: а (1 (> b (0) & (a (0 (> b (1 ))))))

~

а b

в) Дизъюнкция: (a (1 (b (1 (> с (1) & (a (0 & b (> 0> с (0 ))))))))

а

(С

b

г) Конъюнкция: (a (1 & b (1 (> с (1) & (a (0 (b (0 (> с (0 )))))))))

а

& С

b

рис. 3

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

а) Исключение одной из причин:

а

Е (a (1 (b (1) ^ ~ (a (1 & b (1)) ((a (0 & b (0 ))))))))

b

Страница: [1] [2] [3] [4] [5] [6] [7] [8]

версия для печати