Целью данной работы является повышение качества разработки программного обеспечения путём реализации контроля его корректности.
Методы, направленные на верификацию ПО, можно разделить на эмпирические (использующие экспертизу), формальные (использующие математический аппарат) и динамические (непосредственный запуск программной реализации) [2]. Проверить корректность ПО возможно используя методологию контрактного программирования, которая предполагает проектирование модели взаимодействия элементов программы на основе взаимных обязательств и преимуществ.
Главные задачи исследования:
1. Создание математической модели корректности программного обеспечения, базирующейся на принципах контрактного программирования.
2. Разработка подсистемы контроля корректности программного обеспечения с использованием контрактного программирования.
3. Оценка эффективности подсистемы контроля корректности программного обеспечения, основанная на контрактном программировании.
В качестве практического результата работы предполагается разработка программы, проводящей верификацию корректности программного обеспечения.
СПИСОК ЛИТЕРАТУРЫ
1. Кулямин, В.В. Методы верификации программного обеспечения [Электронный ресурс] : статья / Кулямин В.В. // Институт системного прог-раммирования РАН / Режим доступа : http://www.ict.edu.ru/ft/005645/62322e1-st09.pdf.
2. Гурин, Р.Е. Методы верификации программного обеспечения / Гурин Р.Е., Рудаков И.В., Ребриков А.В. // Наука и образование: научное издание МГТУ им. Н.Э. Баумана. - 2015. - № 10. - С. 235-251.