Методы контроля программ

Лекция №17 » Программирование без ошибок

1. Источники ошибок
2. Способы борьбы с ошибками
3. Формальные модели
4. Виды формальных моделей
5. Логические модели
6. Операционные модели
7. Конечные автоматы, проверки с помощью конечных автоматов
8. Как бороться с большим числом состояний
9. Расширенный конечный автомат
10. Трассовые модели
11. Временные логики
12. Способы измерения полноты тестов
13. Как проверить правильность понимания задачи