Siergiej Wilkomir - Sergiy Vilkomir

Siergiej A. Wilkomir
Sergij Wilkomir.jpg
Sergiy Wilkomir w 2001 roku
Urodzić się
Сергій Адольфови ілкомір

( 1956-11-19 )19 listopada 1956
Kramatorsk , Obwód Stalinowski , Ukraińska SRR
Zmarł 9 lutego 2020 (2020-02-09)(w wieku 63 lat)
Karolina Północna , Stany Zjednoczone
Narodowość ukraiński
Obywatelstwo Stany Zjednoczone
Alma Mater Charkowski Uniwersytet Państwowy , Charkowski Instytut Politechniczny
Znany z Testowanie oprogramowania , metody formalne , RC/DC
Kariera naukowa
Pola Informatyka
Instytucje London South Bank University , University of Wollongong , University of Limerick , University of Tennessee , East Carolina University
Wpływy Jonathan Bowen , David Parnas , Robert Hierons

Sergiy A. Vilkomir (19 listopada 1956 – 9 lutego 2020) był urodzonym na Ukrainie informatykiem .

Sergiy Vilkomir urodził się w 1956 roku na terenie dzisiejszej Ukrainy . Ukończył Kolegium Matematyczne w Państwowej Wyższej Szkole Matematycznej z Internatem na Moskiewskim Uniwersytecie Państwowym. 18 (kierownik A. Kołmogorowa , 1972-74), studiował na Wydziale Matematyki i Edukacji Matematycznej na Uniwersytecie Państwowym w Charkowie (1974-79) i doktorat w Instytucie Politechnicznym w Charkowie (1985-90). W Charkowie na Ukrainie pracował następnie w Ukraińskim Instytucie Politechnicznym (1979-82), Centralnym Instytucie Złożonej Automatyzacji (1985-91), Instytucie Bezpieczeństwa i Niezawodności Systemów Technologicznych (1992-93), Państwowym Ukraińskim Instytucie Naukowym Centrum Techniczne Bezpieczeństwa Jądrowego i Radiacyjnego (część Urzędu Regulacji Bezpieczeństwa Jądrowego Ukrainy, 1993-2000). Jego rola obejmowała licencjonowanie i audyty komputerowych systemów bezpieczeństwa w elektrowniach jądrowych .

W 2000 roku Vilkomir przeniósł się do Centrum Stosowanych Metod Formalnych na London South Bank University , gdzie został Research Fellow. Następnie dołączył do University of Wollongong w Australii , również jako pracownik naukowy. Następnie pracował z Davidem Parnasem na University of Limerick w Irlandii , po czym przeniósł się do Stanów Zjednoczonych , początkowo jako Research Associate Professor i University of Tennessee w latach 2007–2008, a następnie awansując na stanowisko profesora nadzwyczajnego na East Carolina University , które dołączył w 2008 roku. W 2012 roku uzyskał staż akademicki i był szefem Software Testing Research Group (STRG).

Główny wkład badawczy Vilkomira dotyczył formalizacji testowania oprogramowania . W szczególności zaproponował wzmocnione pokrycie stan/decyzja (RC/DC), silniejszą wersję zmodyfikowanego kryterium pokrycia stan/decyzja (MC/DC) do testowania oprogramowania w systemach o krytycznym znaczeniu dla bezpieczeństwa .

Vilkomir został nagrodzony nagrodą Google Faculty Research Award za lata 2010–11, East Carolina University Scholar-Teacher Award w 2015 oraz UNC Board of Governors Distinguished Professor of Teaching Award w 2017. Był starszym członkiem obu Association for Computing Machinery (ACM, od 2013) oraz IEEE .

Sergiy Vilkomir zmarł 9 lutego 2020 r. Był żonaty z Tetianą Vilkomir.

Wybrane publikacje

  • Wilkomir SA; Bowen, JP (2001). „Formalizacja kryteriów testowania oprogramowania za pomocą notacji Z”. 25. Doroczna Międzynarodowa Konferencja Oprogramowania i Aplikacji Komputerowych . IEEE : 351–356. doi : 10.1109/CMPSAC.2001.960638 . Numer ISBN 0-7695-1372-7. S2CID  1224201 .
  • Wilkomir SA; Bowen, JP (2002). „Wzmocnione pokrycie stanu/decyzji (RC/DC): nowe kryterium testowania oprogramowania”. Międzynarodowa Konferencja B i Z. użytkowników . Notatki z wykładów z informatyki . Springer-Verlag . 2272 : 291-308. doi : 10.1007/3-540-45648-1_15 . Numer ISBN 978-3-540-43166-4.
  • Wilkomir SA; Kapoor, K.; Bowen, JP (2003). „Tolerancja kryteriów testowania przepływu sterowania” . Materiały 27. Doroczna Międzynarodowa Konferencja Oprogramowania i Aplikacji Komputerowych (COMPAC 2003) . IEEE : 182–187. doi : 10.1109/CMPSAC.2003.1245339 . Numer ISBN 0-7695-2020-0. S2CID  178608 .
  • Baber, RL; Parnas, DL ; Wilkomir SA; Harrison, P.; O'Connor, T. (2005). „Zdyscyplinowane metody specyfikacji oprogramowania: studium przypadku”. Międzynarodowa konferencja nt. technologii informacyjnych: kodowanie i przetwarzanie (ITCC'05) . IEEE . II : 428-437 t. 2. doi : 10.1109/ITCC.2005.132 . Numer ISBN 0-7695-2315-3. S2CID  17982307 .
  • Wilkomir SA; Bowen, JP (2006). „Od MC/DC do RC/DC: formalizacja i analiza kryteriów testowania przepływu sterowania”. Formalne aspekty informatyki . Springer Natura . 18 (1): 42–62. doi : 10.1007/s00165-005-0084-7 . S2CID  10467796 .
  • Hierons, RM; Bogdanow K.; Bowen, JP ; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.; Harman, M .; Kapoor, K.; Krause, P.; Lüttgen, G.; Simons, AJH; Wilkomir SA; Woodward, MR; Zedan, H. (2009). „Wykorzystywanie formalnych specyfikacji do wspierania testowania” . Ankiety obliczeniowe ACM (CSUR) . Stowarzyszenie Maszyn Komputerowych . 41 (2): 1-76. doi : 10.1145/1459352.1459354 . S2CID  10686134 .

Bibliografia

Zewnętrzne linki