12

Синтезиране на програми

на подмножество на езика C++

12.1 Необходимост от синтезиране на програми

Нека като част от алголоподобна програма се налага да се намерят частното y1 и остатъкът y2 от целочисленото деление на неотрицателното цяло число x1 на положителното цяло число x2. За решение нека сме написали следния програмен фрагмент:

y1=0; y2=x1;

while (y2>x2)

{y1++;

y2=y2-x2;

}

Трябва да проверим дали той наистина решава задачата. За целта най-често се извършва тестване, при което за допустими входни данни се проверява дали се получава правилен резултат. От условието се вижда, че за входни стойности трябва да се изберат такива, които удовлетворяват: x10 x2>0, където x1 и x2 са цели числа, а означава конюнкция. Когато изпълнението на програмния фрагмент завърши, трябва да е в сила: x1=y1.x2+y2 0y2