Тема 6. Сквозной пример для единого каркаса разработки приложений

Задача. Используя литературу и практический опыт известных производителей ПО, разработать сквозной пример разработки приложения средствами единого каркаса, иллюстрирующие его применение на практике.

Квалификационные требования. Знание основных этапов и моделей жизненного цикла разработки ПО, умение выявлять и анализировать неформальные требования к программному продукту, знание основных подходов к созданию и анализу программных документов, средств для их представления. Знание средств XML, подхода Twiki. Владение средствами представления результатов анализа и принятия решений.

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

Трудоемкость. 6 человеко-месяцев.

Примечание. Для выполнения проекта должен быть составлен план, выбраны метрики отслеживания хода проекта, вестись еженедельная отчетность по исполнению текущих задач и ежемесячная отчетность в виде операционного обзора. В процессе работы должны быть рассмотрены, как минимум, 3 варианта, удовлетворяющие поставленным требованиям, и проведено обоснование их выбора.

50. Темы, связанные применением формальных методов перечень тем

Тема 1. Сравнительный анализ систем верификации

Тема 2. Формализация протоколов связи краткое описание каждой темы

Тема 1. Сравнительный анализ систем верификации

Задача. Провести сравнительный анализ нескольких представительных систем верификации формальных моделей программных систем.

Квалификационные требования. Знание основных этапов и моделей жизненного цикла разработки ПО, умение выявлять и анализировать неформальные требования к программному продукту, знание средств для представления формальных моделей и систем формализации требований. Владение средствами представления результатов анализа и принятия решений. Наличие доступа к заявленным системам верификации.

Ожидаемый результат. Документ «Сравнительный анализ систем верификации формальных моделей ПО», содержащий результаты испытаний различных систем на одном и том же или близких примерах и обоснование критериев сравнения. Значения релевантных метрик по трудозатратам на реализацию и исследование разработанных примеров, их обоснование, выводы и рекомендации по применению испытанных систем.

Трудоемкость. 6 человеко-месяцев.

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

Тема 2. Формализация протоколов связи

Задача. Выполнить формализацию известных протоколов связи и проверить их свойства.

Квалификационные требования. Знание основных этапов и моделей жизненного цикла разработки ПО, умение выявлять и анализировать неформальные требования к программному продукту, знание средств для представления формальных моделей и систем формализации требований. Владение средствами представления результатов анализа и принятия решений. Наличие доступа к заявленным системам верификации.

Ожидаемый результат. Документ «Верификация протоколов связи», содержащий описание формальной модели протокола связи в выбранном формализме, результаты его верификации каким-либо известным методом. Значения релевантных метрик по трудозатратам на реализацию и исследование разработанной формализации, их обоснование, выводы и рекомендации по применению данных протоколов.

Трудоемкость. 6 человеко-месяцев.

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