Сергей Вилкомир - Sergiy Vilkomir

Сергей Александрович Вилкомир
Сергей Вилкомир.jpg
Сергей Вилкомир в 2001 году
Родился
Сергій Адольфович Вілкомір

(1956-11-19)19 ноября 1956 г.
Краматорск, Сталинская область, Украинская ССР
Умер9 февраля 2020 г.(2020-02-09) (63 года)
Северная Каролина, Соединенные Штаты
Национальностьукраинец
ГражданствоСоединенные Штаты
Альма-матерХарьковский государственный университет, Харьковский политехнический институт
ИзвестенТестирование программного обеспечения, формальные методы, RC / DC
Научная карьера
ПоляИнформатика
УчрежденияЛондонский университет Южного берега, Университет Вуллонгонга, Лимерикский университет, Университет Теннесси, Университет Восточной Каролины
ВлиянияДжонатан Боуэн, Давид Парнас, Роберт Хиеронс

Сергей Александрович Вилкомир (19 ноября 1956 г. - 9 февраля 2020 г.) украинец -родившийся специалист в области информатики.[1]

Сергей Вилкомир родился в 1956 году в настоящее время. Украина. Окончил математический колледж в Московский Государственный Университет Национальный математический пансион № 18[2] (Заведующий-академик А. Колмогоров, 1972–74), изученных на Степень магистра в области математики и математического образования в Харьковский государственный университет (1974–79), а для Степень доктора философии в Харьковский политехнический институт (1985–90).[1] В Харьков, Украина, затем работал в Украинском политехническом институте (1979–82), Центральном институте комплексной автоматизации (1985–91), Институте безопасности и надежности технологических систем (1992–93), Украинском государственном научно-техническом институте. Центр ядерной и радиационной безопасности (часть Управления по регулированию ядерной безопасности Украины, 1993–2000 гг.). В его обязанности входило лицензирование и аудит компьютерных систем безопасности на предприятии. атомная энергия растения.

В 2000 году Вилкомир перешел в Центр прикладных формальных методов при г. Лондонский университет Южного берега, став там научным сотрудником. Затем он присоединился к Университет Вуллонгонга в Австралия, также как научный сотрудник.[3] Впоследствии он работал с Давид Парнас на Лимерикский университет в Ирландия, прежде чем перейти к Соединенные Штаты, первоначально как доцент-исследователь и Университет Теннесси в 2007–2008 годах, затем доцент положение в Университет Восточной Каролины, к которому он присоединился в 2008 году. Там он достиг академическое пребывание в 2012 г. возглавлял исследовательскую группу по тестированию программного обеспечения (STRG).[4]

Основной вклад Вилкомира в исследования заключался в формализации тестирование программного обеспечения.[5] В частности, он предложил усиленное покрытие условий / решений (RC / DC), более сильная версия модифицированное покрытие условий / решений (MC / DC) критерий покрытия для тестирования программного обеспечения в критические системы безопасности.[6][7]

Вилкомир был награжден Google Премия факультета за исследования в 2010–2011 гг., Премия для ученых и преподавателей Университета Восточной Каролины в 2015 г. и UNC Премия Заслуженного профессора преподавания Совета управляющих в 2017 году.[1] Он был старшим членом как Ассоциация вычислительной техники (ACM, с 2013 г.)[8] и IEEE.[7]

Сергей Вилкомир скончался 9 февраля 2020 года.[9][10] Был женат на Татьяне Вилкомир.

Избранные публикации

  • Вилкомир, С.А .; Боуэн, Дж. (2001). «Формализация критериев тестирования программного обеспечения с использованием Z-нотации». 25-я ежегодная международная конференция по компьютерному программному обеспечению и приложениям. IEEE: 351–356. Дои:10.1109 / CMPSAC.2001.960638. ISBN  0-7695-1372-7. S2CID  1224201.
  • Вилкомир, С.А .; Боуэн, Дж. (2002). «Усиленное покрытие условий / решений (RC / DC): новый критерий для тестирования программного обеспечения». Международная конференция пользователей B и Z. Конспект лекций по информатике. Springer-Verlag. 2272: 291–308. Дои:10.1007/3-540-45648-1_15. ISBN  978-3-540-43166-4.
  • Вилкомир, С.А .; Капур, К .; Боуэн, Дж. (2003). «Толерантность критериев проверки потока управления». Труды 27-й ежегодной Международной конференции по компьютерному программному обеспечению и приложениям (КОМПАК 2003). IEEE: 182–187. Дои:10.1109 / CMPSAC.2003.1245339. ISBN  0-7695-2020-0. S2CID  178608.
  • Baber, R.L .; Парнас, Д.; Вилкомир, С.А .; Harrison, P .; О'Коннор, Т. (2005). «Дисциплинированные методы спецификации программного обеспечения: пример из практики». Международная конференция по информационным технологиям: кодирование и вычисления (ITCC'05). IEEE. II: 428-437 т. 2. Дои:10.1109 / ITCC.2005.132. ISBN  0-7695-2315-3. S2CID  17982307.
  • Вилкомир, С.А .; Боуэн, Дж. (2006). «От MC / DC к RC / DC: формализация и анализ критериев тестирования потока управления». Формальные аспекты вычислений. Springer Nature. 18 (1): 42–62. Дои:10.1007 / s00165-005-0084-7. S2CID  10467796.
  • Hierons, R.M .; Богданов, К .; Боуэн, Дж.; Cleaveland, R .; Деррик, Дж .; Дик, Дж .; Георге, М .; Харман, М.; Капур, К .; Krause, P .; Lüttgen, G .; Саймонс, A.J.H .; Вилкомир, С.А .; Woodward, M.R .; Зедан, Х. (2009). «Использование формальных спецификаций для поддержки тестирования». Опросы ACM Computing (CSUR). Ассоциация вычислительной техники. 41 (2): 1–76. Дои:10.1145/1459352.1459354. S2CID  10686134.

Рекомендации

  1. ^ а б c «Доктор Сергей Вилкомир - Опыт». Университет Восточной Каролины. Получено 12 февраля, 2020.
  2. ^ "История". АНЦ МГУ - Колмогоровская школа-интернат. Россия: Московский Государственный Университет. Получено 15 февраля, 2020.
  3. ^ "Доктор Сергей Вилкомир". Archive.org. Австралия: Университет Вуллонгонга. 2003. Архивировано с оригинал в 2003-07-19. Получено 12 февраля, 2020.
  4. ^ «Наши участники». Исследовательская группа по тестированию программного обеспечения (STRG). Департамент компьютерных наук, Университет Восточной Каролины. Получено 12 февраля, 2020.
  5. ^ Hierons, R.M .; и другие. (2009). «Использование формальных спецификаций для поддержки тестирования». Опросы ACM Computing (CSUR). 41 (2): 1–76. Дои:10.1145/1459352.1459354. S2CID  10686134.
  6. ^ Вилкомир, С.А .; Боуэн, Дж. (2006). «От MC / DC к RC / DC: формализация и анализ критериев тестирования потока управления». Формальные аспекты вычислений. 18 (1): 42–62. Дои:10.1007 / s00165-005-0084-7. S2CID  10467796.
  7. ^ а б «Аффилированные члены». Центр перспективных исследований по тестированию программного обеспечения и обеспечению качества (STQA). Техасский университет в Далласе. Получено 12 февраля, 2020.
  8. ^ «Сергей Вилкомир, старший член ACM (2013)». Ассоциация вычислительной техники. 2013. Получено 12 февраля, 2020.
  9. ^ Эшелман, Бонни (11 февраля 2020 г.), «Соболезнования семье доктора Сергея Вилкомира», Колледж инженерии и технологий, Северная Каролина, США: Университет Восточной Каролины
  10. ^ Боуэн, Джонатан П. (Июнь 2020 г.). "In Memoriam: дань уважения пяти коллегам по формальным методам" (PDF). FACS ФАКТЫ. BCS-FACS. 2020 (1): 13–29. Дои:10.13140 / RG.2.2.13481.62560.

внешняя ссылка