Применение шаблонов требований для формальной спецификации и верификации автоматных программ презентация
Содержание
- 2. План Введение Шаблоны требований (ШТ) Применимость к автоматному программированию (АП) Запись
- 3. Проблема К АП хорошо применима верификация на модели Однако работать с
- 4. Пример проблемы «Between the time an elevator is called at a
- 5. Существующее решение Графические нотации Облегчают восприятие, но не помогают при спецификации
- 6. Существующее решение (АП) Контракты: + Проще и понятней, чем темпоральные формулы
- 7. Предлагаемое решение Записывать верифицируемые требования на подмножестве естественного языка
- 8. Детали Требования выводятся из грамматики Нет необходимости в обработке естественного языка
- 9. Актуальность ШТ в контексте АП Васильева К.А., Кузьмин Е.В. Верификация автоматных
- 10. План Введение Шаблоны требований Применимость к АП Запись требований Заключение
- 11. Шаблоны требований ШТ – обобщенное описание (на формальном и естественном языках)
- 12. Шаблоны требований Требование = ШТ + Ограничение
- 13. Шаблоны требований Ограничение – та часть пути исполнения, на которой должно
- 14. Шаблоны требований
- 15. Шаблоны требований
- 16. Шаблон «Отсутствие»
- 17. План Введение Шаблоны требований Применимость ШТ к АП Запись требований Заключение
- 18. Анализ применимости Шаблоны были получены из требований к обычным программам Стоит
- 19. Пример организации результатов
- 20. Анализ применимости 118 требований к 15+ программам из ~20 источников 85%
- 21. Оставшиеся 15% Ограниченность системы шаблонов Проблема в самой модели Особенности алгоритма
- 22. Оставшиеся 15% (Пример 1) Проблема в самой модели? ШТ «Отсутствие»:[](Q
- 23. Оставшиеся 15% (Пример 2) Особенности алгоритма преобразования? ШТ «Ответ» (на
- 24. Адаптация шаблонов к АП
- 25. План Введение Шаблоны требований Применимость к АП Запись требований Заключение
- 26. Грамматика (фрагмент)
- 27. Методика вывода Неформальный алгоритм: Выделить свойство (требование) Выбрать шаблон и ограничение
- 28. Пример вывода (Оригинальное требование) «Система управления кофеваркой никогда не попадет
- 29. Пример вывода (Шаг №1) «Система управления кофеваркой никогда не попадет в
- 30. Пример вывода (Шаг №2) Наречие «никогда» подсказывает, что должен быть использован
- 31. Пример вывода (Шаг №3) <требование> → <ограничение> <шаблон> → Для любого
- 32. Пример вывода (Шаг №4) Для любого состояния верно, что никогда
- 33. План Введение Шаблоны требований Применимость к АП Запись требований Заключение
- 34. Результаты Исследован вопрос применимости ШТ к спецификации АП Проведена адаптация шаблонов
- 35. Дальнейшие исследования Теоретическая сторона: Анализ требований, которые не удалось выразить (нет
- 36. Конференции VII Межвузовская Конференция Молодых Ученых, СПбГУ ИТМО, 20-23.04.2010 Диплом за
- 37. Спасибо! Вопросы? Клебанов Андрей, 6538
- 38. Скачать презентацию
Слайды и текст этой презентации
Скачать презентацию на тему Применение шаблонов требований для формальной спецификации и верификации автоматных программ можно ниже: