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

     Причинами являются: 1 – символ «А» в колонке 1; 2 – символ «В» в
колонке 1; 3 – цифра в колонке 2; а следствиями: 70 – файл обновляется;
71 – выдается сообщение Х12; 72 – выдается сообщение Х13.
     Функциональная диаграмма показана на рис. 8. Отметим, что здесь
создан промежуточный узел 11. Следует убедиться в том, что диаграмма
действительно отображает данную спецификацию, задавая причинам все
возможные значения и проверяя, принимают ли при этом следствия пра-
вильные значения. Рядом показана эквивалентная логическая схема.
     Хотя диаграмма, показанная на рис. 8, отображает спецификацию,
она содержит невозможную комбинацию причин – причины 1 и 2 не мо-
гут быть установлены в 1 одновременно. В большинстве программ опре-
деленные комбинации причин невозможны из-за синтаксических или
внешних ограничений (например, символ не может принимать значения
«А» и «В» одновременно).
                                                           1
          1                                      71                           71
                                                           2
                ∨            11
          2
                                     ∧           70                           70
                                                           3

          3                                      72                           72

       Рис. 8. Пример функциональной диаграммы и эквивалентной логической схемы
     В этом случае используются дополнительные логические ограниче-
ния, изображенные на рис. 9.
                            исключает                      включает
                                         a                                a

                    E                                  1                  b

                                         b                                c



                            одно и только                      требует
                                одно
                                             a                        a

                        0                                      R

                                             b                        b

                                    Рис. 9. Символы ограничений


                                                  60