Контроль програмного модуля.

Застосовуються наступні методи контролю програмного модуля:

• статична перевірка тексту модуля;

• крізне дослідження;

• доказ властивостей програмного модуля.

9. Сучасний погляд на алгоритмізацію

У теоретичних підходах до побудови строгого визначення поняття алгоритму історично виділилися три основні напрями.

Перший напрям пов'язаний з розглядом алгоритмів, що дозволяють обчислити значення числових функцій, залежних від цілочисельних значень аргументів, - такі функції отримали назву обчислюваних.

Другий напрям пов'язаний з машинною математикою. Третій напрям пов'язаний з поняттям нормальних алгоритмів, введеним і розробленим російським математиком А.А.Марковим на початку 50-х рр. XX в.

Контрольні питання:

1. Дати визначення алгоритма.

2. Форми представлення алгоритмів.

3. Які існують способи запису алгоритмів.

4. Цілі структурного програмування.

5. В чому полягає тестування алгоритму.

6. Контроль програмного модуля.

Література:

1. Ахи А., Хопкрофт Д., Ульман Д. Структуры данных и алгоритмы.: Пер. с англ. М.: Издат. дом «Вильямс», 2000.  С. 183–225

2. Кормен Т., Лейзерсон Ч., Ривест Р.., Алгоритмы: построение и анализ: Пер. с англ., М.: МЦНМО, 2001. С. 88–91, 435–523

3. Седжвик Р. Фундаментальные алгоритмы на С. Анализ/Структуры данных/Сортировка/Поиск/Алгоритмы на графах: Пер. с англ. СПб.: «ДиаСофтЮП», 2003. С. 673–1000

9