Стили и методы программирования

Упражнение 1:

Номер 1

Каким требованиям должны удовлетворять условия, сопоставленные различным дугам, выходящим из одного и того же состояния?

Ответ:

(1) конъюнкция всех этих условий должна быть противоречива

(2) дизъюнкция этих условий должна быть истинна

(3) конъюнкция каждых двух условий должна быть противоречива

(4) дизъюнкция каждых двух условий должна быть истинна

(5) дизъюнкция любого собственного подмножества условий не должна быть истинна

(6) проверка каждого условия должна быть локальна и ничего не изменять в состоянии системы

Номер 2

Каким дополнительным требованиям должны удовлетворять условия, сопоставленные различным дугам, выходящим из одного и того же состояния, если мы стремимся сделать программу детерминированной?

Ответ:

(1) конъюнкция всех этих условий должна быть противоречива

(2) дизъюнкция этих условий должна быть истинна

(3) конъюнкция каждых двух условий должна быть противоречива

(4) дизъюнкция каждых двух условий должна быть истинна

(5) дизъюнкция любого собственного подмножества условий не должна быть истинна

(6) проверка каждого условия должна быть локальна и ничего не изменять в состоянии системы

Номер 3

Каково требование на действия, сопоставленные различным переходам, при программировании на переходах?

Ответ:

(1) действия на разных дугах должны быть различны

(2) действия не должны ничего изменять в состоянии системы, они могут лишь подготавливать проверку условий

(3) действия должны глобально изменять состояние системы, а затем проверять условия

(4) действия должны глобально изменять состояние системы

(5) действия не должны глобально изменять состояния системы, они могут работать лишь локально

Упражнение 2:

Номер 1

Каково требование на действия, сопоставленные различным состояниям, при программировании на переходах?

Ответ:

(1) действия в разных состояниях должны быть различны

(2) действия не должны ничего изменять в состоянии системы, они могут лишь подготавливать проверку условий

(3) действия должны глобально изменять состояние системы, а затем проверять условия

(4) действия должны глобально изменять состояние системы

(5) действия не должны глобально изменять состояния системы, они могут работать лишь локально

Номер 2

Каково требование на действия, сопоставленные различным состояниям, для применимости варианта стиля в состояниях?

Ответ:

(1) действия в разных состояниях должны быть различны

(2) действия не должны ничего изменять в состоянии системы, они могут лишь подготавливать проверку условий

(3) действия должны глобально изменять состояние системы, а затем проверять условия

(4) действия не должны глобально изменять состояния системы, они могут работать лишь локально

Номер 3

Каково требование на условия, сопоставленные различным переходам между состояниями, для применимости стиля автоматного программирования?

Ответ:

(1) конъюнкция всех этих условий должна быть противоречива

(2) конъюнкция каждых двух условий должна быть противоречива

(3) дизъюнкция каждых двух условий должна быть истинна

(4) дизъюнкция любого собственного подмножества условий не должна быть истинна

(5) проверка каждого условия должна быть локальна и ничего не должна изменять в состоянии системы

Упражнение 3:

Номер 2

Какой может быть программная реализация таблиц состояний и переходов?

Ответ:

(1) применяются операторы goto для указания переходов, а действия в состояниях описываются как процедуры

(2) применяются присваивания объектам для реализации переходов, а сами состояния описываются как объекты

(3) записывается state transition diagram в системе Rational Rose и автоматически генерируется программа

(4) состояние обозначается как значение переменной, а переход происходит при помощи оператора case, проверяющего эту переменную

(5) может быть применен любой из перечисленных выше вариантов, а также многие другие

Номер 3

Какой может быть программная реализация таблиц состояний и переходов при методе действий на переходах?

Ответ:

(1) применяются операторы goto для указания переходов, а действия в состояниях описываются как процедуры

(2) применяются присваивания объектам для реализации переходов, а сами состояния описываются как объекты

(3) записывается state transition diagram в системе Rational Rose и автоматически генерируется программа

(4) состояние обозначается как значение переменной, а переход происходит при помощи оператора case, проверяющего эту переменную

(5) может быть применен любой из перечисленных выше вариантов, поскольку все они хорошо поддерживают данный метод

(6) все эти методы поддерживают другие варианты автоматного программирования. Нужно писать по-другому

Стили и методы программирования - тест 9