ВШПИ
Высшая школа программной инженерии Институт компьютерных наук и технологий
30 Ноября 2023 г. Четная неделя
Версия для слабовидящих
О высшей школе Персоналии Дробинцев Павел Дмитриевич
Дробинцев Павел Дмитриевич
  • Ученая степень
    кандидат технических наук
  • Ученое звание
    доцент
  • Биография
  • Публикации

Окончил кафедру Информационных и управляющих систем политехнического института по специальности «Автоматизированные системы управления» в 2003 году.

С 2001 года работал интерном в компании Моторола.

С 2003 по 2006 выполнение гранта компании Моторола по созданию технологии разработки качественного программного обеспечения.

В 2006 г. защитил кандидатскую диссертацию на тему «Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования» по специальности 05.13.11. «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».

C 2006 по 2009 работа в компании Моторола на должности главного инженера по инструментам и технологиям.

С 2009 по настоящее время работа на кафедре ИУС в должности доцента.

E-mail: drob@ics2.ecd.spbstu.ru

Области научной работы:
  • Теория и технология разработки программного обеспечения.
  • Методы тестирования и верификации программ.
Читает курсы:
  • Технология программирования
  • Верификация программного обеспечения
Scopus ID

Автор более 80 научных работ. Основными публикациями являются:

  1. Дробинцев П.Д., Баранов С.Н., Летичевский А.А., Котляров В.П. Верификационная технология базовых протоколов для разработки и проектирования программного обеспечения. Программные продукты и системы. № 1(69). 2005.
  2. Дробинцев П.Д., Даишев М.Ш., Песков Д.В., Юсупов Ю.В., Котляров В.П. Применение интегрированной технологии тестирования и верификации к модели телефонной сети. Программные продукты и системы. № 1(69). 2005.
  3. Дробинцев П.Д., Даишев М.Ш., Котляров В.П. Интегрированная среда автоматизации тестирования на основе технологии Eclipse. Изд-во Политехнического ун-та, Научно-технические ведомости СПбГПУ (4(103), 2010)
  4. Дробинцев П.Д., Ким Р.И. Котляров В.П. Автоматизация тестирования с использованием символических трасс. Научно-Технические ведомости СПбГПУ 3(126) 2011, с. 175-180
  5. Дробинцев П.Д., Котляров В.П. Автоматизация проектирования программного продукта под контролем заказчика. Вестник Новосибирского Государственного Университета. Серия: Информационные технологии 2011 Т. 9, выпуск 4.
  6. Дробинцев П.Д., Котляров В.П., Черноруцкий И.Г. Автоматизация тестирования на основе покрытия пользовательских сценариев. Научно-Технические ведомости СПбГПУ 4(152) 2012, с. 123-126.
  7. Дробинцев П.Д., Колчин А.В., Котляров В.П., Дробинцев П.Д. Метод генерации тестовых сценариев в среде инсерционного моделирования. Управляющие системы и машины. –2012. – № 6. – С. 43–48.
  8. Дробинцев П.Д., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Котляров В.П., Летичевский А.А., Летичевский А.А., мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В.Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений. Труды СПИИРАН, Санкт-Петербургский институт информатики и автоматизации РАН Санкт-Петербург. ISSN 2078-9181.
  9. Дробинцев П.Д., Котляров В.П., Летичевский А.А. Автоматизация создания верифицированных тестовых сценариев на основе гидов. Моделирование и анализ информационных систем том 20 №6 2013.
  10. Дробинцев П.Д., А.В. Колчин, В.П. Котляров,  А.А. Летичевский,  В.С. Песчаненко. Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов. Моделирование и анализ информационных систем том 19 №6 2012.
  11. Дробинцев П.Д., И. Никифоров, В. Котляров. Методика проектирования тестов сложных программных комплексов на основе структурированных UCM моделей. Изд-во Политехнического ун-та, Научно-технические ведомости СПбГПУ (3(174), 2013)
  12. Дробинцев П.Д., И. Никифоров, В. Котляров, Интегральные критерии проверки требований к программному обеспечению. Изд-во Политехнического ун-та, Научно-технические ведомости СПбГПУ (3(174), 2013)
  13. Дробинцев П.Д., И. Никифоров, В. Котляров. Ограничения на многопоточные конструкции и временные задержки языка UCM. Изд-во Политехнического ун-та, Научно-технические ведомости СПбГПУ (3(174), 2013)
  14. P. Drobintsev, A. Kolchin, V. Kotlyarov, A. Letichevsky, V. Peschanenko. An approach to Creating a Technology of Test Automation for Industrial Software Projects. Automatic control and Computer Sciencies 2013 Vol 47 No. 7 p 433-442, Allerton Press Inc 2013 ISSN 0146-4116.
  15. P. Drobintsev, I. Nikiforov, V. Kotlyarov. Semantics adjustment of UCM Real Time Constructions for Implementation in Translator of UCM to Basic Protocols. Humanities and Science University Journal. № 5 (2013).
  16. Дробинцев П.Д., Никифоров И.В., Воинов Н.В., Котляров В.П. Подход к тестированиию параллельных систем на основе UCM-спецификаций. Научно-Технические ведомости СПбГПУ 3(198) 2014, с. 85-92.
  17. Дробинцев П.Д., Осенняя Д.И., Закирова И.И. Разработка программного продукта для подбора конфигураций информационных центров. Научно-Технические ведомости СПбГПУ 3(198) 2014, с. 92-98.
  18. P. Drobintsev, V. Kotlyarov, A.Letichevsky. A Formal Approach to Test Scenarios Generation Based on Guides. ISSN 0146 4116, Automatic Control and Computer Sciences, 2014, Vol. 48, No. 7, pp. 415–423. © Allerton Press, Inc., 2014
  19. Дробинцев П.Д., Котляров В.П., Никифоров И.В., Летичевский А.А., Песчаненко В.С., Подход к автоматизации отладки поведенческих сценариев. Моделирование и анализ информационных систем том 21 №6 2014 с. 44-56.
  20. Дробинцев П.Д., Котляров В.П., Летичевский А.А. Инкрементальный подход к технологии создания тестов для индустриальных проектов. Моделирование и анализ информационных систем том 21 №6 2014 с. 143-153.