Вопросы и задания

1. Перечислите типичный набор возможностей отладчика (например, в Visual Studio). В чем заключаются основная проблема использования отладчика для отладки время-зависимых программ ?

2. Найдите классы в пространстве исходных значений переменных к и j, соответствующие четырем возможным путям во фрагменте программы:

j < 10,

fl_min  k  fl_max

k > 2 ?

нет да

k < j ?

j := j + k

j := k² -32

k := k + 5

k < j ?

нет да

3. Составьте логическую спецификацию программы, которая находит место максимального (по величине) элемента в массиве.

4. Напишите инвариант для цикла нахождения значения максимального элемента в массиве.

6