2. Конструкція «Цикл».

   1. Цикл «Поки», умова b – проста.

Мнемоопис:

Поки B цикл

S

кц;

Умови тестування:

Один тест: - до початку циклу В – істинне - T, - в циклі В перетворюється в хибне - F.

Приклад:

Поки a - b >e цикл a:=a+(b-a)/3; b:=b-(b-a)/3; кц;

Тест

Вхідні дані	Результат
a=1, b=2, e=4/9	a=4/3, b=5/3

2. Цикл «Доти», умова b – проста.

Мнемоопис:

Цикл

S

Доти В

кц

Умови тестування:

Один тест: - S виконується до початку циклу перевірки В, - цикл закінчується в циклі В перетворюється на істинне - T.

Приклад:

Цикл

a:=a+(b-a)/3; b:=b-(b-a)/3; Доти a - b < e

кц

Тест

Вхідні дані	Результат
a=1, b=2, e=4/9	a=4/3, b=5/3

3. Цикл «Для» - параметричний, з лічильником.

Мнемоопис:

Для i от 1 до n цикл S кц;

Умови тестування:

Один тест, що забезпечує потрібну кількість повторень.

Приклад:

c :=0 ; Для k від 1 до 10 крок 1 цикл c:=c+a[k]; кц;

Вхідні дані	Результат
a=(1,2,3,4,5,6,7,8,9,10)	c=55

4. Цикл «Поки», умова В= A&C.

Мнемоопис:

Поки A&C цикл

S

кц;

Умови тестування:

Можливі 4 комбінації значень А і С. Проведемо аналіз на їх реальність по завершенню циклу тобто повертання «хибне» для A&C.

№	A	C	A&C	Пояснення
1	false	false	false	Може й не буде
2	false	true	false	Одна з них обов'язково буде
3	true	false	false
4	true	true	true	Не може бути

№ 1 – залежить від конкретного змісту підумов; може й не виникнути.

№ 4 – не забезпечує завершення циклу; не відповідає критерію тестування циклу.

Приклад

Необхідно перевірити впорядкування за спаданням масиву а із p елементів.

Нехай ord = true – якщо масив впорядкований,

false – у протилежному випадку.

ord:= true; k:=1;

поки (k<p) & ord цикл якщо a[k]<=a[k+1] то

ord:= false;

кякщо;

k:=k+1; кц;

№	A	C	A&C	Зміст тесту	Вхідні дані	Результат
1	false	false	false	a[p-1]>a[p] : остання пара не впорядкована	p=5; a=(5,4,3,2,3)	ord = false
2	false	true	false	Масив впорядкований	p=5; a=(5,4,3,2,1)	ord = true
3	true	false	false	Зустрілася невпорядкована пара елементів	p=5; a=(5,4,6,2,1)	ord = false