Sergiy Vilkomir - Sergiy Vilkomir

Sergiy A. Vilkomir
Sergiy Vilkomir.jpg
Sergiy Vilkomir v roce 2001
narozený
Сергій Адольфович Вілкомір

(1956-11-19)19. listopadu 1956
Kramatorsk, Stalinská oblast, Ukrajinská SSR
Zemřel9. února 2020(2020-02-09) (ve věku 63)
Severní Karolina, Spojené státy
Národnostukrajinština
Státní občanstvíSpojené státy
Alma materCharkovská státní univerzita, Charkov Polytechnic Institute
Známý jakoTestování softwaru, formální metody, RC / DC
Vědecká kariéra
PolePočítačová věda
InstituceLondon South Bank University, University of Wollongong, University of Limerick, University of Tennessee, University of East Carolina
VlivyJonathan Bowen, David Parnas, Robert Hierons

Sergiy A. Vilkomir (19. listopadu 1956 - 9. února 2020) byl a ukrajinština -narozený počítačový vědec.[1]

Sergiy Vilkomir se narodil v roce 1956 v současnosti Ukrajina. Matematickou školu dokončil na Moskevská státní univerzita National Mathematical Boarding High School č. 18[2] (Vedoucí akademik A. Kolmogorov, 1972–74), studoval na Titul MSc v oboru matematika a výuka matematiky na Charkovská státní univerzita (1974–1979) a pro a Titul Ph.D na Charkov Polytechnic Institute (1985–90).[1] v Charkov, Ukrajina, poté pracoval na Ukrajinském polytechnickém institutu (1979–82), Ústředním ústavu komplexní automatizace (1985–1991), Ústavu bezpečnosti a spolehlivosti technologických systémů (1992–1993), Ukrajinském státním vědeckotechnickém institutu Středisko pro jadernou a radiační bezpečnost (součást Úřadu pro regulaci jaderné bezpečnosti na Ukrajině, 1993–2000). Jeho role zahrnovala udělování licencí a audity počítačových bezpečnostních systémů v jaderná energie rostliny.

V roce 2000 se Vilkomir přestěhoval do Centra pro aplikované formální metody v London South Bank University, kde se stal výzkumným pracovníkem. Poté se připojil k University of Wollongong v Austrálie, také jako vědecký pracovník.[3] Následně pracoval s David Parnas na University of Limerick v Irsko, než se přesunete do Spojené státy, původně jako docent výzkumu a University of Tennessee v letech 2007–8, poté vzroste na Docent pozice v University of East Carolina, do kterého nastoupil v roce 2008. Tam dosáhl akademické působení v roce 2012 a byl vedoucím výzkumné skupiny pro testování softwaru (STRG).[4]

Hlavní výzkumné příspěvky Vilkomiru byly při formování testování softwaru.[5] Zejména navrhl posílený stav / pokrytí rozhodnutí (RC / DC), silnější verze upravené podmínky / pokrytí rozhodnutí (MC / DC) kritérium pokrytí pro testování softwaru v bezpečnostní kritické systémy.[6][7]

Vilkomir byl oceněn Google Cena fakulty za výzkum na období 2010–2011, Cena učitele East Carolina University v roce 2015 a cena UNC Cena Nejvyšší rady pro význačný profesor výuky v roce 2017.[1] Byl vyšším členem obou Sdružení pro výpočetní techniku (ACM, od roku 2013)[8] a IEEE.[7]

Sergiy Vilkomir zemřel 9. února 2020.[9][10] Byl ženatý s Tetyanou Vilkomirovou.

Vybrané publikace

  • Vilkomir, S.A .; Bowen, J.P. (2001). Msgstr "Formalizace kritérií testování softwaru pomocí notace Z". 25. výroční mezinárodní konference o počítačovém softwaru a aplikacích. IEEE: 351–356. doi:10.1109 / CMPSAC.2001.960638. ISBN  0-7695-1372-7. S2CID  1224201.
  • Vilkomir, S.A .; Bowen, J.P. (2002). „Zesílené pokrytí podmínek / rozhodnutí (RC / DC): Nové kritérium pro testování softwaru“. Mezinárodní konference uživatelů B a Z. Přednášky z informatiky. Springer-Verlag. 2272: 291–308. doi:10.1007/3-540-45648-1_15. ISBN  978-3-540-43166-4.
  • Vilkomir, S.A .; Kapoor, K .; Bowen, J.P. (2003). "Tolerance kritérií testování regulačního toku". Sborník 27. výroční mezinárodní konference o počítačovém softwaru a aplikacích (COMPAC 2003). IEEE: 182–187. doi:10.1109 / CMPSAC.2003.1245339. ISBN  0-7695-2020-0. S2CID  178608.
  • Baber, R.L .; Parnas, D.L.; Vilkomir, S.A .; Harrison, P .; O'Connor, T. (2005). "Disciplinované metody specifikace softwaru: případová studie". Mezinárodní konference o informačních technologiích: kódování a výpočetní technika (ITCC'05). IEEE. II: 428-437 sv. 2. doi:10.1109 / ITCC.2005.132. ISBN  0-7695-2315-3. S2CID  17982307.
  • Vilkomir, S.A .; Bowen, J.P. (2006). "Od MC / DC k RC / DC: formalizace a analýza kritérií testování kontrolního toku". Formální aspekty práce na počítači. Springer Nature. 18 (1): 42–62. doi:10.1007 / s00165-005-0084-7. S2CID  10467796.
  • Hierons, R.M .; Bogdanov, K .; Bowen, J.P.; Cleaveland, R .; Derrick, J .; Dick, J .; Gheorghe, M .; Harman, M.; Kapoor, K .; Krause, P .; Lüttgen, G .; Simons, A.J.H .; Vilkomir, S.A .; Woodward, M.R .; Zedan, H. (2009). „Používání formálních specifikací k podpoře testování“. ACM Computing Surveys (CSUR). Sdružení pro výpočetní techniku. 41 (2): 1–76. doi:10.1145/1459352.1459354. S2CID  10686134.

Reference

  1. ^ A b C "Dr. Sergiy Vilkomir - Zkušenosti". University of East Carolina. Citováno 12. února 2020.
  2. ^ "Dějiny". AESC MSU - internátní škola Kolmogorov. Rusko: Moskevská státní univerzita. Citováno 15. února 2020.
  3. ^ "Dr. Sergiy Vilkomir". Archive.org. Austrálie: University of Wollongong. 2003. Archivovány od originál dne 19. 7. 2003. Citováno 12. února 2020.
  4. ^ „Naši členové“. Výzkumná skupina pro testování softwaru (STRG). Ústav výpočetní techniky, University of East Carolina. Citováno 12. února 2020.
  5. ^ Hierons, R.M .; et al. (2009). „Používání formálních specifikací k podpoře testování“. ACM Computing Surveys (CSUR). 41 (2): 1–76. doi:10.1145/1459352.1459354. S2CID  10686134.
  6. ^ Vilkomir, S.A .; Bowen, J.P. (2006). „Od MC / DC k RC / DC: formalizace a analýza kritérií testování řídicího toku“. Formální aspekty práce na počítači. 18 (1): 42–62. doi:10.1007 / s00165-005-0084-7. S2CID  10467796.
  7. ^ A b „Přidružení členové“. Advanced Research Center for Testing Software and Quality Assurance (STQA). University of Texas v Dallasu. Citováno 12. února 2020.
  8. ^ „Sergiy Vilkomir, vedoucí člen ACM (2013)“. Sdružení pro výpočetní techniku. 2013. Citováno 12. února 2020.
  9. ^ Eshelman, Bonnie (11. února 2020), „Condolences to family of Dr. Sergiy Vilkomir“, Vysoká škola inženýrství a technologie, Severní Karolína, USA: University of East Carolina
  10. ^ Bowen, Jonathan P. (Červen 2020). „In Memoriam: Pocta pěti kolegům z formálních metod“ (PDF). FAKTA FAKTA. BCS-FACS. 2020 (1): 13–29. doi:10,13140 / RG.2.2.13481.62560.

externí odkazy