Методы тестирования программного обеспечения. Степанченко И.В. - 57 стр.

    ся путем последовательного (слово за словом) чтения спецификации.
    При этом выделяются слова или фразы, которые описывают причины
    и следствия. Каждым причине и следствию приписывается отдель-
    ный номер.
3. Анализируется семантическое содержание спецификации, которая
    преобразуется в булевский граф, связывающий причины и следствия.
    Это и есть функциональная диаграмма.
4. Диаграмма снабжается примечаниями, задающими ограничения и опи-
    сывающими комбинации причин и (или) следствий, которые являются
    невозможными из-за синтаксических или внешних ограничений.
5. Путем методического прослеживания состояний условий диаграммы
    она преобразуется в таблицу решений с ограниченными входами.
    Каждый столбец таблицы решений соответствует тесту.
6. Столбцы таблицы решений преобразуются в тесты.
     Базовые символы для записи функциональных диаграмм показаны
на рис. 7. Каждый узел диаграммы может находиться в двух состояниях –
0 или 1; 0 обозначает состояние «отсутствует», а 1 – «присутствует».
Функция тождество устанавливает, что если значение а есть 1, то и зна-
чение b есть 1; в противном случае значение b есть 0. Функция не уста-
навливает, что если а есть 1, то b есть 0; в противном случае b есть 1.
Функция или устанавливает, что если а, или b, или с есть 1, то d есть 1; в
противном случае d есть 0. Функция и устанавливает, что если и а, и b
есть 1, то и с есть 1; в противном случае с есть 0. Последние две функции
разрешают иметь любое число входов.
     Для иллюстрации изложенного рассмотрим диаграмму, отображаю-
щую спецификацию: символ в колонке 1 должен быть буквой «А» или
«В», а в колонке 2 – цифрой. В этом случае файл обновляется. Если пер-
вый символ неправильный, то выдается сообщение X12, а если второй
символ неправильный – сообщение Х13.
                  тождество                           не
              a                b              a                b

                      или                             и
              a                               a

                         ∨                                 ∧    c
              b                d
                                              b
              c

          Рис. 7. Базовые логические отношения функциональных диаграмм

                                      59