Программа сложной структуры с использованием меню
о.
Общим недостатком двух рассмотренных выше методов функционального
тестирования является то, что при их примененине исследуются исследуются
возможные комбинации входных условий. Следует, правда, заметить, что из-за
весьма большого числа таких комбинаций, их анализ вызывает существенные
затруднения. Но существует метод (метод функциональных диаграмм),
позволяющий в этом случае систематическим образом выбрать высоко
эффективные тесты. Полезным побочным эффектом этого метода является
обнаружение неполноты и противоречивости во внешних спецификациях.
Функциональная диаграмма - это текст на некотором формальном языке,
на который транслируется спецификация, составленная на естественном или
полуформальном языках. Далее будет называться причиной отдельное входное
условие и следствием - выходное условие или преобразование системы (т.е.
остаточное действие программы, вызванное определенным входным условием или
их комбинацией). Например, для программы обновления файла изменение в нем
является преобразованием системы, а подтверждающее это изменение сообщение
- выходным условием.
Метод функциональных диаграмм состоит из шести основных этапов. На
первом из них (необязательном) внешняя спецификация большого размера
разбивается на отдельные участки (например, спецификация компилятора языка
программирования разбивается на участки, определяющие синтаксический
контроль отдельных операторов языка).
На втором этапе в спецификации выделяются причины и следствия, а на
третьем - анализируется семантическое содержание спецификации и она
преобразуется в булевский граф, связывающий причины и следствия и
называющийся функциональной диаграммой. На рис.3 приведены базовые символы
для записи функциональных диаграмм (каждый узел функциональной диаграммы
может находиться в состоянии 1 - “существует” - или 0 - “не существует”).
а) Тождество : (а(1(>b(1) & (а(0(>b(0)
а b
б) Отрицание : (а(1(>b(0) & (a(0(>b(1)
~
a b
в) Дизъюнкция : (a(1(b(1(>c(1) & (a(0&b(>0 >c(0)
a
( c
b
г) Конъюнкция : (a(1&b(1(>c(1) & (a(0(b(0(>c(0)
a
& c
b
рис.3
На четвертом этапе функциональная диаграмма снабжается комментариями,
которые задают ограничения на комбинации причин и следствий. На рис.4
приведены знаки комментариев, задающих эти ограничения.
а) Исключение одной из причин :
a
E ((a(1(b(1)^~(a(1&b(1)) ( (a(0&b(0)
b
б) Включение хотя бы одной причины :
a
I (a(1(b(1)&~(a(0&b(0)
b
в) Существуетодна и только одна причина :
a
O (a(1(b(1)&~(a(1&b(1)&~(a(0&b(0)
b
г) Одна причина влечет за собой лругую :
a
R ~(a(1&b(0)
b
д) Одно следствие скрывает в себе другое :
a
M (a(1&b(0)&(a(1&b(1)
b
рис.4
Пятый этап - функциональная диаграмма преобразуется в таблицу решений
:
выбирается следствие, которое устанавливается в 1 ;
находятся все комбинации причин (с учетом ограничений),
которые устанавливают выбранное следствие в 1
| |  скачать работу |
Программа сложной структуры с использованием меню |
