ВУЗ:
Рубрика:
- 5 -
8.2. Пошаговая детализация. Псевдокод .......................................................... 39
8.3. Методы контроля ПМ.................................................................................. 41
9. Подтверждение правильности программ........................................................... 42
9.1. Свойства пустого оператора и оператора присваивания......................... 43
9.2. Свойства базовых конструкций:
следования, разветвления и повторения........................................................... 44
10. Тестирование и отладка – важнейшие этапы разработки ПС..................... 47
10.1. Стратегии разработки тестов и виды отладки ПС.................................. 48
10.2. Автономная отладка ПС............................................................................ 50
10.3. Комплексная отладка ПС .......................................................................... 53
