Сборники тезисов • Информационные и интеллектуальные системы и технологии • Технологии программирования, искусственный интеллект, биоинформатика
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2016.
Применение правил редукции для верификации замены условного оператора полиморфизмом в языке программирования Featherweight Java
УДК: 004.415.52
Аннотация:
В настоящее время рефакторинг является неотъемлемой частью процесса разработки программного обеспечения. При этом не существует инструментов, позволяющих верифицировать проводимые рефакторинги, что приводит к возникновению ошибок. В докладе предложен способ верификации одного из методов рефакторинга, замены условного оператора полиморфизмом, на основе правил редукции в языке программирования Featherweight Java, и доказана корректность предложенного способа.