Тема 9.Метод Варнье

Должны

Знать:

- Основные правила логического конструирования программ.

- Описание структуры выходных данных, входных данных и программы.

- Повторные и альтернативные структуры данных и программы.

- Использование таблиц решений.

- Совместная обработка нескольких файлов.

Уметь:

- Обрабатывать несколько файлов совместно

Тема 10.Метод Джексона

Должны

Знать:

- Основные понятия и обозначения.

- Разрешение структурных противоречий.

Уметь:

- Пользоваться методом Джексона при программировании

Тема 11.Методы тестирования и отладки по

- Доказательство свойств программы и их экспериментальная проверка.

- Тестирование и отладка.

- Неразрешимость проблемы тестирования.

- Критерии тестирования модулей ПО.

- Инструментальные средства, поддерживающие тестирование и отладку модульных систем.

- Макетирование ПО.

- Моделирование окружения.

- Интегральные средства отладки, тестирования, модификации программного продукта в сборочной технологии программирования.

- Сравнительный анализ существующих инструментальных средств поддержки тестирования и отладки.

Уметь:

- Тестировать и отлаживать программы

Тема 12.Сопровождение по

Должны

Знать:

- Сопровождение или продолжающаяся разработка ПО: проблемы и перспективы.

- Программные и аппаратные средства САПР ПО, поддерживающие этап сопровождения.

- Адаптация технологических средств к квалификационным особенностям пользователей и технологическим средствам, используемым на этапе сопровождения.

- Стиль программирования, ориентированный на эффективную поддержку этапа сопровождения.

Уметь:

- выполнять сопроводительные работы

Тема 13.Сравнительный анализ сапр по

Должны

Знать:

- Классификация САПР ПО по сфере применения поддерживаемых

ТП: конторские ТП, ТП управляющих применений и реального времени, ТП распределенных систем и сетей ЭВМ, ТП специальных применений.

- Классификация САПР ПО по возможностям и техническим средствам рабочего места программиста: кросс, резидентные и комбинированные комплексы и технологические стенды.

- Требования к различным классам САПР ПО, сравнительный анализ современных САПР ПО на базе языков Ада, Си, Форт, Паскаль, Фортран, Ассемблер.

- САПР ПО графического стиля разработки ПО.

- САПР ПО на базе концептуальной ТП и языка Нут.

- ТП открытых систем.

Уметь:

- Классифицировать САПР ПО

Тема 14.Сборочная тп

Должны

Знать:

- Особенности жизненного цикла сборочной ТП.

- Требования к модулям и интерфейсам.

- Средства поддержки сборочной ТП и САПР ПО на базе языков Ада и Модула-2.

- Результаты исследований эффективности сборочной ТП.

Уметь:

- Пользоваться сборочной ТП

Тема 15.Особености тп управляющих систем

Должны

Знать:

- Сложность проектирования программных систем с ресурсными ограничениями.

- Особенности ТП управляющих систем.

- Целевая компиляция, сборка автономных систем, натурные испытания и сопровождение на объекте.

- Классификация инструментальных систем разработки ПО управляющих систем.

- Обзор существующих ТП для разработки ПО встроенных систем.

Уметь:

- Проектировать управляющие системы

Тема 16.ТП отказоустойчивых систем

Должны

Знать:

- Особенности ТП ПО отказоустойчивых систем.

- ТП отказоустойчивых распределенных систем.

- Методы нейтрализации ошибок, адаптации структуры, восстановления состояния. - Сравнительный анализ инструментальных систем программирования отказоустойчивых систем на базе многомашинных ассоциаций и локальных сетей.

Уметь:

- Проектировать отказоустойчивые системы

Тема 17.Заключение

Должны

Знать:

- Перспективные направления в развитии ТП.

- Доказательное программирование и визуальное программирование.

- Сравнительный анализ современных отечественных технологий.

Уметь:

- применять доказательное и визуальное программирование.