31.10 «Разработка ПО: Банки», курсы « Продажи софтверных продуктов и услуг», «CMMI» и «Польза от пользователя», 31.10–1.11 «Cкрам-мастер»
SECR 2011 завершил работу. Получить информацию о текущей конференции можно на www.secrus.org.

Автоматизированная трансформация программ при миграции на новые библиотеки


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

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

В докладе будут представлены результаты научного исследования авторов, целью которого является максимальная автоматизация решения задачи реинжиниринга с помощью использования формальных подходов. Будут описаны методы задания семантики исходной и целевой библиотек, язык частичных спецификаций окружений 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-сервисы.


 



Оставить комментарий

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

© CEE-SECR 2011 • Email: contact@secrus.org
Proudly powered by WordPress. • Hosted by Hosting Community