Презентация Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду Юсупо онлайн

Содержание слайда: Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду Юсупов Юрий Вадимович

Содержание слайда: Особенности промышленной разработки программного обеспечения

Содержание слайда: Цели и задачи исследования

Содержание слайда: Область исследования

Содержание слайда: Инструментарий возвратного проектирования

Содержание слайда: Сравнительный анализ формальных нотаций

Содержание слайда:

Содержание слайда: Аппарат описания модели поведения программной системы Атрибутная транзиционная система < S, A, T, L, l > – S – множество состояний; – А – множество действий; – T – множество размеченных переходов и неразмеченных (скрытых) переходов – L – множество атрибутных разметок; – – частично определенная функция разметки состояний.

Содержание слайда: Динамические аспекты модели поведения

Содержание слайда: Методика 1: сохранение потока управления программы

Содержание слайда: Методика 2: формализация вызовов функции (1)

Содержание слайда:

Содержание слайда: Методика 4: структурирование базовых протоколов – функция_Det – базовые протоколы, описывающие поведение функции на детальном уровне – функция_Comp – базовые протоколы, описывающие поведение функции на некотором уровне абстракции – !Connectors – протоколы-коннекторы для моделирования вызовов функций – EP_ функция – расширенные протоколы, описывающие поведение вызываемых функций

Содержание слайда: Программная поддержка В рамках работы для решения поставленных задач и реализации разработанных методик создан следующий инструментарий:

Содержание слайда: Метрика оценки объема модели k – количество функций в проекте; BP – количество базовых протоколов, кодирующих детальное поведение функции; EP – количество расширенных протоколов, кодирующих поведение вызываемых функций; CP – количество протоколов-коннекторов, необходимых для моделирования вызовов функций. LOC – количество строк кода функции, каждая из которых содержит хотя бы один оператор; i, e, f, s, w, F – количество операторов if, else, for, switch, while и вызовов функций в коде функции соответственно.

Содержание слайда: Общая схема применения методики

Содержание слайда: Проекты пилотирования и применения методики Пилотирование и применение разработанного комплекса методик и программных средств проведено в следующих 4 проектах: Учебный проект. Применение методики к исходному коду приложения с целью проверки всех разработанных методик и программных средств (40 BPs). Проект автомобильного радио (CarRadio). Применение методики структурирования базовых протоколов для получения проекта, структура которого позволяет работать с моделью покомпонентно и на разных уровнях абстракции (70 BPs). Проект анализатора A-деревьев. Применение методики к исходному коду реализованного обработчика с целью проверки корректности его реализации (8000 BPs). Приложение для тестирования мобильного телефона. Применение методики к исходному коду приложения для мобильного телефона с целью верификации реализованного приложения (70000 BPs).

Содержание слайда: Анализ результатов применения Зависимость трудозатрат от размеров модели (аппроксимация на основе пилотирования)

Содержание слайда: Анализ результатов применения Зависимость размеров моделей от уровня абстракции (аппроксимация на основе пилотирования)

Содержание слайда: Заключение

Содержание слайда: На защиту выносятся модель поведения приложений, реализованных на языке C, представляемая структурированным множеством базовых протоколов. Модель является пригодной для статического и визуального анализа ее поведенческих и структурных свойств в среде инсерционного программирования; методика структуризации представления модели, позволяющая проводить ее докомпозицию на структурные элементы и их независимый анализ, что обеспечивает возможность работы с крупными моделями промышленных систем; методика использования расширенных протоколов для формализации отдельных фрагментов исходного кода, обеспечивающая сокращение размеров модели и предоставляющая возможность достижения различной степени ее детализации; программные средства, обеспечивающие автоматизацию построения формальных моделей C-приложений по их исходному коду; проверка работоспособности предложенных методик и инструментальных средств в ряде учебных и промышленных проектов.

Содержание слайда: СПАСИБО ЗА ВНИМАНИЕ