Что такое алгоритм свойства?

Под правильностью понимают способность алгоритма обеспечить получение именно того результата, который требуется. Неправильность может объясняться неполнотой наших представлений о свойствах объекта или упущением в решении. Доказательство правильности алгоритма – один из самых трудных этапов тестирования.

Исполнитель — это человек, компьютер, автом. устройство и т. д. Исполнитель должен уметь выполнять все команды, составляющие алгоритм. Множество возможных команд конечно и изначально строго задано. Действия, которые выполняет исполнитель по этим командам называются элементарными. Запись алгоритма на формальном языке называется программой.

Разветвляющийся алгоритм – это алгоритм в котором выполняется либо одна, либо другая группа действий в зависимости от истинности или ложности условия. Пример: Если на улице дождь, то останемся дома, а если нет то идем гулять. Циклический алгоритм – действия повторяются до тех пор, пока выполняется заданное условие.

3) Результативность (или конечность) алгоритма означает, что он должен привести к необходимому результату за конкретное конечное число шагов. 4) Массовость – это универсальность применения алгоритма к группе некоторых схожих задач, отличающихся только набором исходных данных.