Составители:
Рубрика:
60
Причинами являются: 1 – символ «А» в колонке 1; 2 – символ «В» в
колонке 1; 3 – цифра в колонке 2; а следствиями: 70 – файл обновляется;
71 – выдается сообщение Х12; 72 – выдается сообщение Х13.
Функциональная диаграмма показана на рис. 8. Отметим, что здесь
создан промежуточный узел 11. Следует убедиться в том, что диаграмма
действительно отображает данную спецификацию, задавая причинам все
возможные значения
и проверяя, принимают ли при этом следствия пра-
вильные значения. Рядом показана эквивалентная логическая схема.
Хотя диаграмма, показанная на рис. 8, отображает спецификацию,
она содержит невозможную комбинацию причин – причины 1 и 2 не мо-
гут быть установлены в 1 одновременно. В большинстве программ опре-
деленные комбинации причин невозможны из-за синтаксических или
внешних ограничений (
например, символ не может принимать значения
«А» и «В» одновременно).
3
1
2
11
71
70
∨
∧
72
71
70
72
3
1
2
Рис. 8. Пример функциональной диаграммы и эквивалентной логической схемы
В этом случае используются дополнительные логические ограниче-
ния, изображенные на рис. 9.
a
b
c
включает
1
a
b
исключает
E
a
b
одно и только
одно
0
a
b
R
требует
Рис. 9. Символы ограничений
Причинами являются: 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
Страницы
- « первая
- ‹ предыдущая
- …
- 56
- 57
- 58
- 59
- 60
- …
- следующая ›
- последняя »