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

UptoLike

ВУЗ: 

КТИ ВолгГТУ | Камышин

Составители: 

Рубрика: 

61
Ограничение Е устанавливает, что Е должно быть истинным, если
хотя бы одна из величин – а или b – принимает значение 1 (а и b не могут
принимать значение 1 одновременно). Ограничение I устанавливает, что,
по крайней мере, одна из величин а, b или с всегда должна быть равной 1
(а, b и с не
могут принимать значение 0 одновременно). Ограничение 0
устанавливает, что одна и только одна из величин а или b должна быть
равна 1. Ограничение R устанавливает, что если а принимает значение 1,
то и b должна принимать значение 1 (т. е. невозможно, чтобы а была рав-
на 1, а b – 0).
Часто возникает необходимость в ограничениях для следствий.
Ог-
раничение М на рис. 10 устанавливает, что если следствие а имеет зна-
чение 1, то следствие b должно принять значение 0.
a
b
M скрывает
Рис. 10. Символ для «скрытого» ограничения
Как видно из рассмотренного выше примера, физически невозмож-
но, чтобы причины 1 и 2 присутствовали одновременно, но возможно,
чтобы присутствовала одна из них. Следовательно, они связаны ограни-
чением Е (рис. 11).
3
1
2
11
71
70
∨
∧
72
Е
Рис. 11. Пример функциональной диаграммы с ограничением «исключает»
3.2.3.1. Замечания
Применение функциональных диаграмм – систематический метод
генерации тестов, представляющих комбинации условий. Альтернативой
является специальный выбор комбинаций, но при этом существует веро-
ятность пропуска многих «интересных» тестов, определенных с помо-
щью функциональной диаграммы.
При использовании функциональных диаграмм требуется трансля-
ция спецификации в булевскую логическую сеть. Следовательно, этот 
     Ограничение Е устанавливает, что Е должно быть истинным, если
хотя бы одна из величин – а или b – принимает значение 1 (а и b не могут
принимать значение 1 одновременно). Ограничение I устанавливает, что,
по крайней мере, одна из величин а, b или с всегда должна быть равной 1
(а, b и с не могут принимать значение 0 одновременно). Ограничение 0
устанавливает, что одна и только одна из величин а или b должна быть
равна 1. Ограничение R устанавливает, что если а принимает значение 1,
то и b должна принимать значение 1 (т. е. невозможно, чтобы а была рав-
на 1, а b – 0).
     Часто возникает необходимость в ограничениях для следствий. Ог-
раничение М на рис. 10 устанавливает, что если следствие а имеет зна-
чение 1, то следствие b должно принять значение 0.

                                  a

                                          M скрывает

                                  b

                     Рис. 10. Символ для «скрытого» ограничения
     Как видно из рассмотренного выше примера, физически невозмож-
но, чтобы причины 1 и 2 присутствовали одновременно, но возможно,
чтобы присутствовала одна из них. Следовательно, они связаны ограни-
чением Е (рис. 11).
                              1                              71
                 Е                    ∨        11
                              2
                                                       ∧     70


                              3                              72
      Рис. 11. Пример функциональной диаграммы с ограничением «исключает»

    3.2.3.1. Замечания
    Применение функциональных диаграмм – систематический метод
генерации тестов, представляющих комбинации условий. Альтернативой
является специальный выбор комбинаций, но при этом существует веро-
ятность пропуска многих «интересных» тестов, определенных с помо-
щью функциональной диаграммы.
    При использовании функциональных диаграмм требуется трансля-
ция спецификации в булевскую логическую сеть. Следовательно, этот

                                          61

Страницы