ИССЛЕДОВАНИЕ МЕТОДОВ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ КОРРЕКТНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ КОНТРАКТНОГО ПРОГРАММИРОВАНИЯ - Студенческий научный форум

IX Международная студенческая научная конференция Студенческий научный форум - 2017

Личный портфель

ИССЛЕДОВАНИЕ МЕТОДОВ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ КОРРЕКТНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ КОНТРАКТНОГО ПРОГРАММИРОВАНИЯ

Демидов А.А. 1, Лясин Д.Н. 1
1Волжский политехнический институт (филиал) ВолгГТУ
 Комментарии
Текст работы размещён без изображений и формул.
Полная версия работы доступна во вкладке "Файлы работы" в формате PDF
Современные информационные системы включают в себя аппаратное и программное обеспечение (ПО). Стабильность работы любой информационной среды в большинстве своём зависит именно от программного обеспечения. Повышение сложности ПО приводит к увеличению вероятности появления в нём ошибок, а одновременный рост количества и важности выполняемых функций влечёт увеличение ущерба от этих ошибок [1]. В связи с этим на сегодняшний день остро стоит проблема верификации корректности разрабатываемого ПО.

Целью данной работы является повышение качества разработки программного обеспечения путём реализации контроля его корректности.

Методы, направленные на верификацию ПО, можно разделить на эмпирические (использующие экспертизу), формальные (использующие математический аппарат) и динамические (непосредственный запуск программной реализации) [2]. Проверить корректность ПО возможно используя методологию контрактного программирования, которая предполагает проектирование модели взаимодействия элементов программы на основе взаимных обязательств и преимуществ.

Главные задачи исследования:

1. Создание математической модели корректности программного обеспечения, базирующейся на принципах контрактного программирования.

2. Разработка подсистемы контроля корректности программного обеспечения с использованием контрактного программирования.

3. Оценка эффективности подсистемы контроля корректности программного обеспечения, основанная на контрактном программировании.

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

СПИСОК ЛИТЕРАТУРЫ

1. Кулямин, В.В. Методы верификации программного обеспечения [Электронный ресурс] : статья / Кулямин В.В. // Институт системного прог-раммирования РАН / Режим доступа : http://www.ict.edu.ru/ft/005645/62322e1-st09.pdf.

2. Гурин, Р.Е. Методы верификации программного обеспечения / Гурин Р.Е., Рудаков И.В., Ребриков А.В. // Наука и образование: научное издание МГТУ им. Н.Э. Баумана. - 2015. - № 10. - С. 235-251.

Просмотров работы: 292