Опис управляючої дії чергування у програмних специфікаціях
Мета– дослідити та набути практичних навичок з використання при складанні програмних специфікацій управляючої дії чергування у вигляді альтернативної форми вибору дій
Приклад складення специфікацій
Задача 1.2.Задані два нерівних значення А і В . Знайти максимальне значення
Рішення
Програмні специфікації запишемо у псевдокоді (рис.1.3) та графічній формі (рис.1.4)
Крок 1. Визначимо основні дії (рис.1.3,а і рис.1.4,а)
Крок 2. Деталізуємо дію знаходження максимального значення з використанням альтернативної форми вибору (рис.1.3,б і рис.1.4,б)
початок
пошук максимального значення
кінець
початок
якщоА > B
то
max := A
інакше
max := B
все якщо
кінець
а) крок 1 б) крок 2
Рис.1.3. Програмна специфікація розв’язання задачі 1.2 у псевдокоді
а) крок 1 б) крок 2
Рис.1.4. Програмна специфікація розв’язання задачі 1.2 у графічній формі
Задачі для самостійного розв’язання
1) Задані два значення А і В. Визначити, чи А дорівнює В.
2) Задані два нерівних значення А і В. Знайти мінімальне значення.