Скачать презентацию

Очень часто перед разработчиком встает задача портирования разработанного приложения в новое окружение — в новую библиотеку, под новую операционную систему или на новое аппаратное устройство. Обычно такая задача решается вручную путем частичного переписывания программы. Следствием ручного переноса является необходимость полного повторного тестирования, так как при портировании в программу могли быть внесены новые ошибки. Необходимость проведения полного тестирование особенно неприятна тем, что все подобные процедуры проверки качества исходное приложение уже проходило в старом окружении.

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

Дальнейшее развитие рассматриваемых подходов позволит создать технологию, позволяющую проводить портирирование большинства приложений без потери качества.

Авторы:

Владимир Ицыксон

Доцент, кафедра компьютерных систем и программных технологий, Санкт-Петербургский государственный политехнический университет

Кандидат технических наук, доцент кафедры компьютерных систем и программных технологий Санкт-Петербургского государственного политехнического университета. С 2000 года возглавляет лабораторию программно-аппаратных разработок (Digitek Labs — http://www.digiteklabs.ru/).

Научные интересы связаны с программной инженерией, методами обеспечения качества программных систем, формальными преобразованиями программ. Является руководителем большого числа научно-исследовательских проектов в области анализа и автоматизации проектирования программного обеспечения, в том числе совместных с такими компаниями, как Panasonic, Интел и General Motors. Руководитель проекта по созданию системы обнаружения программных дефектов методами статического анализа Aegis (http://www.digiteklabs.ru/aegis).

Читает университетские курсы «Основы программной инженерии», «Технологии разработки программного обеспечения», «Параллельные вычисления» и «Технологии компьютерных сетей».

Автор более 100 публикаций, среди которых несколько учебных пособий, около 30 научных статей.

Web-страница на сайте университета: http://kspt.ftk.spbstu.ru/info/staff/itsykson/

Алексей Зозуля

Руководитель студенческими работами, кафедра компьютерных систем и программных технологий, Санкт-Петербургский государственный политехнический университет

С 2004 года сотрудник кафедры компьютерных систем и программных технологий Санкт-Петербургского государственного политехнического университета. Осуществляет руководство студенческими научно-исследовательскими и выпускными работами.

Области научных интересов связаны с направлениями: технологии разработки программного обеспечения, программная инженерия, программометрика, трансформация программ, статический анализ программ.

Области практических интересов: средства управления ИТ-инфраструктурой предприятий, CRM-системы, Cloud Computing, SaaS-сервисы.